Hillel Wayne
https://hillelwayne.com/about/
Big
formal methods
guy, esp Alloy and TLA+
Notes that link to this note
Make Illegal States Unrepresentable
Rage Against the God Machine
Human-Computer Interaction
Machine Learning