A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Fucking Trans Women
Mira Bellwether
Inc Magic
Robert A. Heinlein
Hacker Monthly #38
Netizens Media
Hacker Monthly (38)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Working Effectively With Legacy Code
Michael Feathers
Higher-Order Perl: A Guide to Program Transformation
Mark Jason Dominus