Submissions from hillelwayne.com

		Why don't people use formal methods? (2019) (hillelwayne.com)
		128 points by Thom2503 4 days ago \| past \| 117 comments
		Logic for Programmers Is Now Available (hillelwayne.com)
		6 points by mdup 5 days ago \| past \| discuss
		We Are Not Special (2021) (hillelwayne.com)
		6 points by birdculture 8 days ago \| past \| discuss
		The Frink is good, the unit is evil (2020) (hillelwayne.com)
		1 point by pramodbiligiri 16 days ago \| past
		What We Know We Don't Know: Empirical Software Engineering (hillelwayne.com)
		3 points by andsoitis 21 days ago \| past
		Composing TLA+ Specifications with State Machines (hillelwayne.com)
		12 points by Jimmc414 26 days ago \| past
		Chicago vs. New York Pizza Is the Wrong Argument (hillelwayne.com)
		2 points by ethanhawksley 75 days ago \| past \| 1 comment
		Are We Engineers? (hillelwayne.com)
		1 point by alpaylan 5 months ago \| past
		Some silly Z3 scripts I wrote (hillelwayne.com)
		46 points by azhenley 5 months ago \| past \| 9 comments
		Gamer Games for Non-Gamers (hillelwayne.com)
		4 points by bschne 6 months ago \| past
		Maybe comments should explain 'what' (2017) (hillelwayne.com)
		205 points by zahrevsky 7 months ago \| past \| 202 comments
		Formally Specifying a Package Manager (hillelwayne.com)
		1 point by ryangibb 8 months ago \| past
		What engineering can teach (and learn from) us (2021) (hillelwayne.com)
		2 points by smj-edison 8 months ago \| past
		This is How Science Happens (2020) (hillelwayne.com)
		1 point by heijmans 9 months ago \| past
		Handwriting Programs in J (2017) (hillelwayne.com)
		27 points by Bogdanp 9 months ago \| past \| 9 comments
		Two workers are quadratically better than one: modelling a queue with PRISM (hillelwayne.com)
		2 points by fanf2 9 months ago \| past \| 1 comment
		A Early History of Algebraic Data Types (hillelwayne.com)
		72 points by surprisetalk 9 months ago \| past \| 14 comments
		A Early History of Algebraic Data Types (hillelwayne.com)
		4 points by yehoshuapw 10 months ago \| past \| 1 comment
		A Early History of Algebraic Data Types (hillelwayne.com)
		2 points by matt_d 10 months ago \| past \| 1 comment
		A early history of algebraic data types (hillelwayne.com)
		2 points by fanf2 10 months ago \| past \| 2 comments
		A Very Early History of Algebraic Data Types (hillelwayne.com)
		6 points by signa11 10 months ago \| past \| 2 comments
		A Early History of Algebraic Data Types (hillelwayne.com)
		4 points by todsacerdoti 10 months ago \| past \| 1 comment
		Crimes with Python's Pattern Matching (2022) (hillelwayne.com)
		255 points by agluszak 11 months ago \| past \| 113 comments
		Are We Engineers? (2021) (hillelwayne.com)
		2 points by walterbell 11 months ago \| past \| 1 comment
		Mostly dead influential programming languages (2020) (hillelwayne.com)
		243 points by azhenley on July 12, 2025 \| past \| 162 comments
		Gamer Games for Non-Gamers (hillelwayne.com)
		1 point by azhenley on June 25, 2025 \| past
		Gamer Games for Non-Gamers (hillelwayne.com)
		3 points by MaXtreeM on May 29, 2025 \| past
		Alloy 6: it's about Time (2021) (hillelwayne.com)
		1 point by Tomte on May 23, 2025 \| past
		Weak and Strong Fairness (2020) (hillelwayne.com)
		1 point by Tomte on May 15, 2025 \| past
		Alan Kay did not invent objects (2019) (hillelwayne.com)
		24 points by iamwil on May 7, 2025 \| past \| 29 comments
		More