-
The wonder of MSBuild
-
Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates
-
sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM
-
We asked four AI coding agents to rebuild Minesweeper—the results were explosive
-
An uncomfortable but necessary discussion about the Debian bug tracker
-
Schrödinger’s test: The /dev/mem case
-
LAVD: Meta’s New Default Scheduler
-
NPM Package With 56K Downloads Caught Stealing WhatsApp Messages
-
Mostly Automated Proof Repair for Verified Libraries
-
What's "new" in Miri (and also, there's a Miri paper!)
-
Attention From First Principles
-
I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants
-
Old English Computer Glossary
-
FreeBSD Closes the Laptop Gap: Year One Project Update
-
Sampling random binary trees with a size-limited critical Boltzmann sampler
-
Introducing Open Forms
-
Email Simplicity vs Decentralized Chat
-
Why Quantum Cryptanalysis is Bollocks
-
polyglot-image: A disk image that boots on multiple architectures
-
Web engine CI on a shoestring budget
-
Proposed Rust kernel extensions in place of eBPF
-
From Zero to QED: An informal introduction to formality in Lean 4
-
Nature Programming Language
-
Feature discussion: replying to multiple comments in story
-
Thirteen years of Rust and the birth of Rue
More