The Server Called Paranoia: Defend Autistici/Inventati Before September 25, “For twenty-five years, an Italian hacker collective has built communications infrastructure designed to survive censorship, surveillance and police raids. On August 26, the United States designated it a terrorist organization.”

Stalking the Wily Hacker: 40 years later, talk by Cliff Stoll at DefCon 34. See the perspective of the other side (in German): Vom Hacker zum Spion – die Geschichte des KGB-Hacks der 1980 Jahre.

A SAT Attack on Tarski’s High School Algebra Problem, by Bernardo Subercaseaux, Benjamin Przybocki. “Using SAT, we prove that the smallest countermodels are of size 12, as conjectured by Burris and Yeats. Moreover, we show that there are exactly 8,957,952 countermodels on 12 elements up to isomorphism and provide a simple classification of them.”

Executable Emoji, by GloriousCow.

Assembly Hall of Shame, “searching for the absolute floor of single-instruction performance.” By Christopher Domas.

How I Hacked and Turned My CASIO F-91W Into a Contactless Payment Device

Daisy Kutter: The Last Train, comic by Kazu Kibuishi. Recommended!

One-handed clock, on a hyperbolic plane.