Hacker Monthly #19
Netizens Media
Hacker Monthly (19)
Measuring Progress
SLAA Fellowship-Wide Services
Domain Modeling Made Functional
Scott Wlaschin
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Dance Dance Convolution
Chris Donahue, Zachary C. Lipton, Julian McAuley