A coherent European/non-US cloud strategy: building railroads for the cloud economy (berthub.eu)
Pathfinding (juhrjuhr.itch.io)
Refactoring Clojure (www.orsolabs.com)
Unravelling t-strings (snarky.ca)
Teal: a statically-typed dialect of Lua (teal-language.org)
There''s More To That Nugget of Wisdom (2023) (www.stackstaves.net)
Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language models (falcon-lm.github.io)
sunbeam: command-line launcher (github.com)
I don’t like NumPy (dynomight.net)
A Garbage Collection Strategy (irreal.org)
Computational Public Space (www.youtube.com)
Stack overflow is almost dead (blog.pragmaticengineer.com)
Understanding task types in the Gemini Embedding API (technicalwriting.dev)
A leap year check in three instructions (hueffner.de)
10 Years of Stable Rust: An Infrastructure Story (rustfoundation.org)
Initialization in C is bonkers (2017) (blog.tartanllama.xyz)
Rust 1.0, ten years later (steveklabnik.com)
Skills Rot At Machine Speed? AI Is Changing How Developers Learn And Think (www.forbes.com)
Sleeping soundly with the help of TLA (2022) (blogs.oracle.com)
Diagnosing a Double-Free Concurrency Bug in Rust''s Unbounded Channels (materialize.com)
The current state of TLA development (ahelwer.ca)
Declaring a friendship to self (www.sandordargo.com)
Announcing Rust 1.87.0 and ten years of Rust (blog.rust-lang.org)
Introducing lazy trees in Determinate Nix 3.5 (determinate.systems)
Please Please Please (we.phorge.it)
Asahi Linux Progress Report: Linux 6.15 (asahilinux.org)
Training Solo: New Set Of Serious Security Vulnerabilities Exposed For Intel & Arm CPUs (www.phoronix.com)
Lua for Elixir (davelucia.com)
Internet Artifacts (neal.fun)
Rethinking Modern Asynchronous Paradigms (blog.dogac.dev)
My 2025 high-end Linux PC (michael.stapelberg.ch)
Forget IPs: using cryptography to verify bot and agent traffic (blog.cloudflare.com)
autogenlib - Python lib for "vibe importing", generates the code based on its call site (github.com)
Lord of the Sord (www.leadedsolder.com)
ALTCHA - Next-Gen Captcha and Spam Protection (altcha.org)
Temporal Super Resolution via Multisampling (filmicworlds.com)
Data is code (blog.information-superhighway.net)
Warteschlangensimulator (a-herzog.github.io)
RULECOMPILE - Undocumented Ghidra decompiler rule language (msm.lt)
Stop using REST for state synchronization (www.mbid.me)
Breaking out of restricted mode: XSS to RCE in Visual Studio Code (starlabs.sg)
Zache: A Simple Ruby In-Memory Cache (www.yegor256.com)
Multi-SWE-bench (multi-swe-bench.github.io)
Doom on the oldest digital computer in America (www.youtube.com)
MicroPython v1.25.0 (github.com)
The cryptography behind passkeys (blog.trailofbits.com)
CSS attr() gets an upgrade (developer.chrome.com)
Scalar Select Anti-Pattern (matklad.github.io)
High Available Mosquitto MQTT on Kubernetes (raymii.org)
Why we need lisp machines (fultonsramblings.substack.com)
Good enough ten-second sum types for Postgres (duckrabbit.tech)
Why I wrote the fx web server (huijzer.xyz)
Smalltalk-78 Xerox NoteTaker in-browser emulator (smalltalkzoo.thechm.org)
Introducing oniux: Kernel-level Tor isolation for any Linux app (blog.torproject.org)
Keeping time on a stream (s2.dev)
Why I use WebAssembly (nasso.dev)
Crowdsourcing Broken QR Codes (www.humanqr.com)
The Server That Wasn''t Meant to Exist (it-notes.dragas.net)
Using AI to build a tactical shooter (www.youtube.com)
SMS 2FA is not just insecure, it''s also hostile to mountain people (blog.stillgreenmoss.net)
MinorMiner: we turn your kid''s maths homework into Bitcoin (robertheaton.com)
Datavizta: environmental impacts of digital technology (datavizta.boavizta.org)
ZJIT has been merged into Ruby (railsatscale.com)
Running modified containers with podman (www.die-welt.net)
FlowG - Distributed Systems without Raft (part 2) (david-delassus.medium.com)
If AI is so good at coding … where are the open source contributions? (pivot-to-ai.com)
The Database Row That Did and Didn''t Exist (mistys-internet.website)
Building, launching, and scaling ChatGPT Images (newsletter.pragmaticengineer.com)
Avian Physics 0.3 (joonaa.dev)
AI Is Like a Crappy Consultant (lukekanies.com)
20K Bounty Offered for Optimizing Rust Code in rav1d AV1 Decoder (www.memorysafety.org)
Minus 100 points (learn.microsoft.com)
My DjangoCon Europe 2025 (www.paulox.net)
Makepad 1.0 : Rust UI Framework (makepad.nl)
Analyzing API design via algebraic laws (reasonablypolymorphic.com)
Misadventures in DTrace: how to debug the macOS kernel (jade.fyi)
Real-time vision language model demo (github.com)
Computers That Can Run Backwards (2017) (www.americanscientist.org)
Cracking The Dave & Buster’s Anomaly (rambo.codes)
The penultimate conditional syntax (dotat.at)
Training Solo: On the Limitations of Domain Isolation Against Spectre-v2 Attacks (www.vusec.net)
The first year of free-threaded Python (labs.quansight.org)
Branch Privilege Injection: Exploiting Branch Predictor Race Conditions (comsec.ethz.ch)
LZEXE - executable file compression on MSDOS (cosmodoc.org)
Writing that changed how I think about PL (bernsteinbear.com)
Task estimation: Conquering Hofstadter''s Law (thesearesystems.substack.com)
Apple unveils powerful accessibility features coming later this year (www.apple.com)
A Thank You, Where It’s Due (fireborn.mataroa.blog)
LibreWolf Browser (librewolf.net)
Scalable, Resilient Data Orchestration: The Power of Intelligent Systems (dzone.com)
RIP Usenix ATC (bcantrill.dtrace.org)
Policy of transience (www.chiark.greenend.org.uk)
Firefox moves to GitHub (github.com)
A case for intransitive operator precedence (2019) (blog.adamant-lang.org)
Experiment on your code freely with Git worktree (opensource.com)
Preventing outages with pkill''s new --require-handler flag (chrisdown.name)
Animating iOS widgets (www.youtube.com)
An accessibility update – GTK Development Blog (blog.gtk.org)
How is Stack memory allocated when using ''push'' or ''sub'' x86 instructions? (stackoverflow.com)
A programming language made for me (zylinski.se)
Base Models Beat Aligned Models at Randomness and Creativity (arxiv.org)
Lock-Free Rust: How to Build a Rollercoaster While It’s on Fire (yeet.cx)
Fx v36 - JSON terminal viewer (github.com)
FastVLM: Efficient Vision Encoding for Vision Language Models (github.com)
A modern microframework for web development in C (github.com)
Why do Saturation and Luminance go all the way to 240, but Hue goes only to 239? And why 239 anyway? (devblogs.microsoft.com)
YS — YAML Done Wisely (yamlscript.org)
Modular verification of MongoDB Transactions using TLA (muratbuffalo.blogspot.com)
Understanding LucasArts'' iMUSE System (github.com)
wtfis: passive hostname, domain and IP lookup tool for non-robots (github.com)
Multiple Security Issues in Screen (security.opensuse.org)
China Just Made the World''s Fastest Transistor and It Is Not Made of Silicon (www.zmescience.com)
Buckaroo - a Table UI to expedite data analysis for notebook environments (github.com)
Can You Really Trust That Permission Pop-Up On macOS? (CVE-2025-31250) (wts.dev)
The last of YaST? (lwn.net)
Two months in Servo: CSS nesting, Shadow DOM, Clipboard API, and more (servo.org)
Spall: a code profiler that runs in your browser (gravitymoth.com)
Why Bell Labs Worked (1517.substack.com)
Hyper-Typing (pscanf.com)
Demonstrably Secure Software Supply Chains with Nix (nixcademy.com)
Why Vibe When you Can Fly! Machtiani is now Open Source (github.com)
Avoid #each_with_object (generally) (clayshentrup.medium.com)
The Audio Stack Is a Crime Scene (fireborn.mataroa.blog)
Build and Run Your Own FreeBSD-native Containers with Buildah, Containerfiles and Podman (honeyguide.eu)
Rust project goals 2024: Stabilizing Rust in the Linux Kernel (www.youtube.com)
curl''s CI job for spotting domain squatting (mastodon.social)
Patela: A basement full of amnesic servers (osservatorionessuno.org)
Stop Saying "Responsible Disclosure" (www.da.vidbuchanan.co.uk)
Flakes Have Failed (kilo.bytesize.xyz)
How I ruined my vacation by reverse engineering WSC (blog.es3n1n.eu)
Communicating Chorrectly with a Choreography (decomposition.al)
Migrating to Codeberg (guix.gnu.org)
Windows Todo application built with pure C and the Win32 API (github.com)
Build iOS apps on Linux and Windows (WSL) (forums.swift.org)
proposal: net/http: add CrossOriginForgeryHandler (github.com)
FocusedValues in SwiftUI (shadowfacts.net)
Plain Vanilla Web (plainvanillaweb.com)
Flattening Rust''s Learning Curve corrode Rust Consulting (corrode.dev)
The Amoeba Microkernel (citeseerx.ist.psu.edu)
Software License Management with Polar.sh (www.skatkov.com)
Impressions on the new 13 inch Framework laptop (marius.federated.id)
Super 8086 Box, PC XT emulator with Adlib, MPU-401, joystick and NE2000 support (www.toughdev.com)
A review of documentation in the Rust ecosystem (www.harudagondi.space)
The effect of ChatGPT on students’ learning performance (www.nature.com)
How Cursor Indexes Codebases Fast (read.engineerscodex.com)
One-click RCE in ASUS’s preinstalled driver software (mrbruh.com)
The caching behind Elm''s Html.Lazy (jfmengels.net)
Private Internet (2024) (kevincox.ca)
XKCD''s "Is It Worth the Time?" Considered Harmful (will-keleher.com)
Mipmap selection in too much detail (pema.dev)
Sierpiński triangle? In my bitwise AND? (lcamtuf.substack.com)
fan service (flak.tedunangst.com)
eBPF agent that captures pre-encrypted network traffic (github.com)
Open-source Cursor alternative (github.com)
Dotless Domains (lab.avl.la)
Spyder Tutorials (www.youtube.com)
Ian Lance Taylor of the Go team leaves Google (www.airs.com)
NetBSD 10.x kernel MATH_EMULATION (mezzantrop.wordpress.com)
Organize your Go middleware without dependencies - Alex Edwards (www.alexedwards.net)
louise: Polynomial-time Meta-Interpretive Learning for logic programming (github.com)
Naked objects (en.wikipedia.org)
STEPS 2012 Progress and Final NSF Report (tinlizzie.org)
DCJ11 Single Board Computer (PDP-11) (www.5volts.ch)
Exploiting Copilot AI for SharePoint (www.pentestpartners.com)
Announcing Lix 2.93 “Bici Bici” (lix.systems)
I Want to Love Linux. It Doesn’t Love Me Back (fireborn.mataroa.blog)
Reverse engineering the 386 processor''s prefetch queue circuitry (www.righto.com)
Are We Serious About Using TLA For Statistical Properties? (emptysqua.re)
Secure by Design: Google’s Perspective on Memory Safety (2024) (storage.googleapis.com)
Changelog Slack is dead. Long live Zulip (changelog.com)
Lume 3 was released (lume.land)
TrueNAS CORE is Dead – Long Live zVault (vermaden.wordpress.com)
HACKSAT25: The first multi-tenant satellite unikernel security challenge (hacksat.dev)
Introduction to Universal Scene Description (2021) (openusd.org)
A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
A Performance Investigation Challenge — (www.mgaudet.ca)
bold linker v0.2.0 release - bold just got faster (github.com)
Slow Software for a Burning World (bonfirenetworks.org)
In praise of grobi for auto-configuring X11 monitors (michael.stapelberg.ch)
Tuscolo Static Certificate Transparency Log (bsky.app)
Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape (www.microsoft.com)
Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)
Spatial Data-Management (1979) (www.media.mit.edu)
Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)
A Formal Analysis of Apple’s iMessage PQ3 Protocol (www.usenix.org)
16-bit Intel 8088 Chip by Charles Bukowski (kottke.org)
Joys and sorrows of designing a language (www.youtube.com)
branchless development (flak.tedunangst.com)
Ada in China (1994) (dl.acm.org)
Composition: the feature I''ve wanted in Flox since I joined the company (tinkering.xyz)
Can It Run Doom? An Archive of All Known Ports (canitrundoom.org)
Write the most clever code you possibly can (buttondown.com)
Microservices Are a Tax Your Startup Probably Can’t Afford (nexo.sh)
Static as a Server (overreacted.io)
Wasm 2.0 Completed (webassembly.org)
Rusty Nu POSIX (mort.io)
eBPF mystery: When is IPv4 not IPv4? When it''s pretending to be IPv6 (blog.gripdev.xyz)
Constexpr optional and trivial relocation (quuxplusone.github.io)
Building your own Atomic (bootc) Desktop (fedoramagazine.org)
200 and change (pdubroy.github.io)
New Edition of FreePascal From Square One (www.contrapositivediary.com)
Easy parsing with reasonable error messages in OCaml''s Angstrom (dev.to)
Stability by Design (potetm.com)
So we finished decompiling LEGO Island (youtube.com)
Beating the fastest lexer generator in Rust (2023) (alic.dev)
Wikipedia legally challenges ''flawed'' online safety rules (www.bbc.co.uk)
Which AI "arena" is the one we can actually trust? (lobste.rs)
Web Browser telemetry (sizeof.cat)
Implementing State Machines in PostgreSQL (2017) (felixge.de)
Reservoir Sampling (samwho.dev)
PairDrop: peer-to-peer file sharing in your browser (github.com)
Rust Dependencies scare Me (vincents.dev)
Announcing Ivar: Ruby’s Missing Instance Variable Typo Warnings (avdi.codes)
2.5D rendering on PlayDate (www.ligeiagames.com)
Another look into PostgreSQL CTE materialization and non-idempotent subqueries (www.shayon.dev)
"AI", and the trouble with inaccessible SaaS (localghost.dev)
Build your own ResponseWriter: safer HTTP in Go (anto.pt)
PostgreSQL 18 Beta 1 Released (www.postgresql.org)
You can use C-Reduce for any language (bernsteinbear.com)
I ported THOUSANDS of apps to Windows 95 (www.youtube.com)
Yes, the Apple II MouseCard IRQ is synced to the VBL (www.colino.net)
Announcing Spritely Oaken (spritely.institute)
The Path to Memory Safety is Inevitable (hardenedlinux.org)
Memory Safety Features in Zig (gencmurat.com)
SQLite Extension Hub (sqlpkg.org)
Waiting for Postgres 18: Accelerating Disk Reads with Asynchronous I/O (pganalyze.com)
ANEMLL: Large Language Models for Apple Neural Engine (www.anemll.com)
Writing a preloadable malloc in Rust, using MMTk (www.humprog.org)
How to build small and secure Docker images for Rust (FROM scratch) (kerkour.com)
ty: An extremely fast Python type checker and language server, written in Rust (github.com)
How to Average in Prolog (2017) (storytotell.org)
The magic of software; or, what makes a good engineer also makes a good engineering organization (moxie.org)
Implement your language twice (futhark-lang.org)
A Rust API Inspired by Python, Powered by Serde (ohadravid.github.io)
Writing Arabic in English: My journey in creating a phonetic Arabic keyboard (sherifelmetwally.com)
Are ''CSS Carousels'' accessible? (www.sarasoueidan.com)
Newtyped Indices are Proofs (eikopf.bearblog.dev)
Removal of Deepin Desktop from openSUSE due to packaging policy violation (security.opensuse.org)
CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)
Finale - How Music Software Dies (www.youtube.com)
Zed Editor adds full AI capabilities (zed.dev)
Warpspeed: Building a record/replay debugger for macOS (nickgregory.me)
A Critical Look at MCP (raz.sh)
Optimizing Common Lisp (www.fosskers.ca)
Performance Profile Visualization Challenge (matklad.github.io)
Argo CD v3.0.0 (github.com)
Recreating an iOS Animation with GLSL (interactive tutorial) (nmattia.com)
Critical Architecture/Software Theory (tomasp.net)
"Vibe Coding" by Emergent Garden (www.youtube.com)
Glossary Web Component (dbushell.com)
The state of SSL stacks (www.haproxy.com)
Reverse-engineering Fujitsu M7MU RELC hardware compression (op-co.de)
Lazarus release 4.0 (forum.lazarus.freepascal.org)
OCaml cross-compilation: an experiment (www.chrisarmstrong.dev)
Towards React Server Components in Clojure, Part 1 (romanliutikov.com)
bash/POSIX-compatible shell implemented in Rust (github.com)
Wikimedia Cloud VPS: IPv6 support (techblog.wikimedia.org)
How to build a fleet of networked offsite backups using Linux, WireGuard and rsync (ounapuu.ee)
Performance Improvements in JDK 24 (inside.java)
Data Safety Levels Framework: The foundation of how we look at data in Block (code.cash.app)
nnd: A TUI alternative to gdb (github.com)
The Curse of Knowing How, or; Fixing Everything (notashelf.dev)
The Bitter Lesson (2019) (www.incompleteideas.net)
GenAI-accelerated TLA challenge (foundation.tlapl.us)
Rust in QEMU update (lore.kernel.org)
Framebuffer user interface (github.com)
VectorVFS: Filesystem as a Vector Database (vectorvfs.readthedocs.io)
An Interactive Debugger for Rust Trait Errors (cel.cs.brown.edu)
Understanding Memory Management, Part 5: Fighting with Rust (educatedguesswork.org)
Critical CSS Generator (critical-css-extractor.kigo.studio)
Memory-safe sudo to become the default in Ubuntu - Trifecta Tech Foundation (trifectatech.org)
An appeal to Apple from Anukari regarding GPU frequency scaling (anukari.com)
What is my fuzzer doing? (tweedegolf.nl)
curl now requires disclosing whether AI was used on bug reports (www.linkedin.com)
Barycentric Coordinates (2020) (observablehq.com)
Stop Uncapped Cloud Billing (stopuncappedbilling.com)
Interviewing Software Developers: From Junior to Architect in a Single Programming Task (old.reddit.com)
Podfox: World''s First Container-Aware Browser (val.packett.cool)
Summer of Math Exposition 4 (some.3b1b.co)
How Cohesion and Coupling Correlate by Tomas Tulka (blog.ttulka.com)
The Data Surrender Trap: How Enterprises Are Losing Control in the AI Gold Rush—and the Simple Fix (www.softinio.com)
How prime factorizations govern the Collatz conjecture (perette.barella.org)
Implementing a Struct of Arrays (brevzin.github.io)
Benchmarking Crimes Meet Formal Verification (microkerneldude.org)
How To Understand That Jepsen Report (buttondown.com)
Bridging the Gap Between Keyword and Semantic Search with SPLADE - Arcturus Labs (arcturus-labs.com)
Overengineering PR create with jj (crespo.business)
The future of web development is AI. Get on or get left behind (alex.party)
Smaller, faster serialization for Ruby apps and beyond (oldmoe.blog)
V8 JavaScript engine gets eager compilation hints, but will devs use sparingly as advised? (devclass.com)
Odin, A Pragmatic C Alternative with a Go Flavour (bitshifter-1.github.io)
Augmentation / Replacement (olano.dev)
Stop Fighting Your ROS 2 Environment: Build Faster, Reproducibly, Anywhere (index.0x77.dev)
Fuzzing with Grammars (www.fuzzingbook.org)
modern-latex: A short guide to LaTeX that avoids legacy cruft (github.com)
iBeacons (computer.rip)
Tech Companies Apparently Do Not Understand Why We Dislike AI (soatok.blog)
Distributed training of LLMs on consumer GPUs (github.com)
Helmdar: 3D Scanning Brooklyn on Rollerblades (owentrueblood.com)