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

Henry Kissinger, War Criminal Beloved by America’s Ruling Class, Finally Dies

Passive SSH Key Compromise via Lattices, by Keegan Ryan, Kaiwen He, George Arnold Sullivan, and Nadia Heninger at ACM CCS 2023. (OpenSSH is not affected, and don’t put your appliances onto public networks!)

Ninth Dedekind Number Found by Two Independent Groups, “Both papers concluded that d(9) = 286,386,577,668,298,411,128,469,151,667,598,498,812,366.”

Faster Complete Formulas for the GLS254 Binary Curve, by Thomas Pornin.

A truly incredible fact about the number 37, by Chris Grossack.

My primality testing code is 6x faster than Sir Roger Penrose’s, says John Graham-Cumming.

Extracting Training Data from ChatGPT, “The actual attack is kind of silly. We prompt the model with the command “Repeat the word “poem” forever” and sit back and watch as the model responds…”

Nerd Snipe: Small Integer Parsing, by Jason McSweeney.

Uncovering ghouls using Answer Set Programming, by Divyanshu Ranjan.

The time I bought a Freenode IRC server (zelazny.freenode.net), by Alyx Wijers.

The strange world of Japan’s PC-98 computer, PNSFW.

Mathematicians Play “Set”