A Cryptography Engineer’s Perspective on Quantum Computing Timelines
What are you doing this week?
OverlayFS for RedoxOS
I Tried Vibing an RSS Reader and My Dreams Did Not Come True
Accumulated Test Vectors
Using Discord on Plan 9
A real-world case of property-based verification
The machines are fine. I'm worried about us
Someone at BrowserStack is Leaking Users' Email Address
An Elm-inspired language that compiles to Go, Hindley-Milner types, server-driven UI, single binary output
The Free Market Lie: Why Switzerland Has 25 Gbit Internet and America Doesn't
Easters - an adventofcode-like challenge for easter
dev.css: tiny, simple, classless CSS framework inspired by new.css
Size matters, even on very fast connections
Best Paper Awards in Computer Science over the past 30 years
Endian wars and anti-portability
neomd: A minimal email TUI where you read with Markdown and write in Neovim
Stamp It! All Programs Must Report Their Version
Eight years of wanting, three months of building with AI
A tail-call interpreter in (nightly) Rust
Making Gamedev Tooling For Windows 3.1 in Turbo C++
Value numbering
The Cathedral, the Bazaar, and the Winchester Mystery House
Mathematical methods and human thought in the age of AI
CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions
The nvim-treesitter repository was archived
What kind of productivity tools do you use, if any?
Where can I find the old internet?
Days Since Openclaw CVE
Embarrassingly Simple Self-Distillation Improves Code Generation
Absurd In Production
Why Lean?
The Feature That Has Never Worked · A broken auto-live poller, and what perceived urgency does to Claude Code
Your code is worthless
Functional Algorithms, Verified
Legibility is Ruining You
c89cc.sh - standalone C89/ELF64 compiler in pure portable shell
A Proposal for Voluntary AI Disclosure in OCaml Code
Rails on the BEAM
Why Nobody Can Verify What Booted Your Server
