Submissions from hillelwayne.com

		/ 0 = 0 (hillelwayne.com)
		8 points by Aaronmacaron 11 days ago \| past \| 8 comments
		Constructive vs. Predicative Data (hillelwayne.com)
		3 points by wumeow 40 days ago \| past
		Toolbox Languages (hillelwayne.com)
		1 point by goranmoomin 4 months ago \| past
		Toolbox Languages (hillelwayne.com)
		4 points by librasteve 4 months ago \| past \| 1 comment
		Toolbox Languages (hillelwayne.com)
		3 points by surprisetalk 4 months ago \| past
		Toolbox Languages (hillelwayne.com)
		1 point by JNRowe 4 months ago \| past
		Toolbox Languages (hillelwayne.com)
		14 points by todsacerdoti 4 months ago \| past \| 1 comment
		Composing TLA+ Specifications with State Machines (hillelwayne.com)
		3 points by todsacerdoti 5 months ago \| past
		Software Friction (hillelwayne.com)
		141 points by saikatsg 5 months ago \| past \| 79 comments
		Software Friction (hillelwayne.com)
		2 points by nalgeon 7 months ago \| past
		Software Friction (hillelwayne.com)
		7 points by todsacerdoti 7 months ago \| past \| 1 comment
		What is the best answer to divide by 0 (hillelwayne.com)
		2 points by systems 7 months ago \| past \| 3 comments
		Why Don't People Use Formal Methods? (hillelwayne.com)
		4 points by rramadass 7 months ago \| past
		Don't let Alloy facts make your specs a fiction (hillelwayne.com)
		1 point by todsacerdoti 7 months ago \| past
		The Tale of Daniel (hillelwayne.com)
		192 points by hwayne 8 months ago \| past \| 60 comments
		Metamorphic Testing (hillelwayne.com)
		1 point by gHeadphone 8 months ago \| past
		The hunt for the missing data type (hillelwayne.com)
		690 points by todsacerdoti 8 months ago \| past \| 254 comments
		Planner programming blows my mind (hillelwayne.com)
		412 points by todsacerdoti 9 months ago \| past \| 72 comments
		An RNG that runs in your brain (hillelwayne.com)
		259 points by nalgeon 10 months ago \| past \| 63 comments
		The World and the Machine (hillelwayne.com)
		1 point by todsacerdoti 10 months ago \| past
		Decision Table Patterns (2020) (hillelwayne.com)
		73 points by rramadass 11 months ago \| past \| 11 comments
		What We Know We Don't Know: Empirical Software Engineering (hillelwayne.com)
		3 points by sebg 11 months ago \| past
		Indiana Almost Made π 3.2 (hillelwayne.com)
		2 points by weird_user on Nov 21, 2023 \| past
		Why Do Interviewers Ask Linked List Questions? (hillelwayne.com)
		1 point by weird_user on Nov 14, 2023 \| past \| 1 comment
		A better explanation of the Liskov Substitution Principle (hillelwayne.com)
		4 points by chriskrycho on Nov 10, 2023 \| past
		A better explanation of the Liskov Substitution Principle (hillelwayne.com)
		6 points by todsacerdoti on Nov 7, 2023 \| past \| 1 comment
		Is Software Engineering Real Engineering? (hillelwayne.com)
		59 points by signa11 on Oct 5, 2023 \| past \| 102 comments
		Is Software Engineering Real Engineering? (hillelwayne.com)
		1 point by todsacerdoti on Oct 4, 2023 \| past
		Weird things you can buy online (hillelwayne.com)
		127 points by marvinborner on Sept 29, 2023 \| past \| 51 comments
		Are We Really Engineers? (2021) (hillelwayne.com)
		4 points by lolinder on Sept 17, 2023 \| past
		More