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.
How Big is YouTube?
IBM 1403 Chain Printer Music: La Marseillaise