signal to noise
neil gaiman dave mckean-standard definition-1349799897
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Chokepoint Capitalism: How to Beat Big Tech, Tame Big Content, ...
Cory Doctorow & Rebecca Giblin
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
The Gender Games
Juno Dawson