Celebrating the first NES Tetris game crash
Reptar, by Tavis Ormandy. “We found a way to cause some processors to enter a glitch state where the normal rules don’t apply, but what does that mean…?”
Formalizing the proof of PFR in Lean4 using Blueprint: a short tour and A slightly longer Lean 4 proof tour, by Terence Tao.
I Hacked Magic the Gathering: Arena for a 100% Winrate, says Daniel Mayer.
rscss: Styling CSS without losing your sanity, by Rico Sta. Cruz. Probably the only thing I read about CSS organization the last decade that seems reasonable to me.
TIPC, Transparent Inter Process Communication. “Have you ever wished you had the convenience of Unix Domain Sockets even when transmitting data between cluster nodes?”
Quint is a modern specification language that is a particularly good fit for distributed systems.
Boychesser, a very small C# chess engine.