Submissions from buttondown.com/hillelwayne

		The Angels and Demons of Nondeterminism (buttondown.com/hillelwayne)
		3 points by BerislavLopac 2 days ago \| past \| 1 comment
		Sapir-Whorf does not apply to programming languages (buttondown.com/hillelwayne)
		1 point by fanf2 10 days ago \| past \| discuss
		Sapir-Whorf does not apply to Programming Languages (buttondown.com/hillelwayne)
		3 points by BerislavLopac 15 days ago \| past
		I Prefer RST to Markdown (2024) (buttondown.com/hillelwayne)
		114 points by shlomo_z 19 days ago \| past \| 113 comments
		Software books I wish I could read (buttondown.com/hillelwayne)
		2 points by Jtsummers 31 days ago \| past
		Words about Arrays and Tables (buttondown.com/hillelwayne)
		62 points by todsacerdoti 38 days ago \| past \| 27 comments
		Programming Language Escape Hatches (buttondown.com/hillelwayne)
		4 points by azhenley 44 days ago \| past \| 1 comment
		Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne)
		2 points by goranmoomin 50 days ago \| past
		Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne)
		3 points by BerislavLopac 50 days ago \| past \| 1 comment
		Raku: A Language for Gremlins (buttondown.com/hillelwayne)
		8 points by uticus 65 days ago \| past
		You can cheat a test suite with a big enough polynomial (buttondown.com/hillelwayne)
		2 points by bundie 73 days ago \| past
		Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne)
		135 points by azhenley 86 days ago \| past \| 47 comments
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		3 points by mpweiher 3 months ago \| past
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		1 point by todsacerdoti 3 months ago \| past
		What does “Undecidable” mean, anyway (buttondown.com/hillelwayne)
		156 points by BerislavLopac 3 months ago \| past \| 183 comments
		Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com/hillelwayne)
		57 points by Tomte 3 months ago \| past \| 89 comments
		Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne)
		2 points by todsacerdoti 3 months ago \| past
		Write the most clever code you possibly can (buttondown.com/hillelwayne)
		1 point by rbanffy 3 months ago \| past
		Write the most clever code you possibly can (buttondown.com/hillelwayne)
		1 point by rbanffy 3 months ago \| past
		Modeling Awkward Social Situations with TLA+ (buttondown.com/hillelwayne)
		3 points by BerislavLopac 3 months ago \| past
		Write the most clever code you can (buttondown.com/hillelwayne)
		17 points by todsacerdoti 4 months ago \| past \| 6 comments
		Edge Case Poisoning (2020) (buttondown.com/hillelwayne)
		2 points by NooneAtAll3 4 months ago \| past \| 1 comment
		Requirements change until they don't (buttondown.com/hillelwayne)
		74 points by azhenley 4 months ago \| past \| 22 comments
		Requirements change until they don't (buttondown.com/hillelwayne)
		4 points by azhenley 4 months ago \| past
		Requirements change until they don't (buttondown.com/hillelwayne)
		2 points by BerislavLopac 4 months ago \| past
		Why do we call it "boilerplate code?" (2022) (buttondown.com/hillelwayne)
		3 points by fanf2 4 months ago \| past \| 1 comment
		The Halting Problem is a terrible example of NP-Harder (buttondown.com/hillelwayne)
		108 points by BerislavLopac 4 months ago \| past \| 114 comments
		Solving a “Layton Puzzle” with Prolog (buttondown.com/hillelwayne)
		110 points by Tomte 5 months ago \| past \| 28 comments
		Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne)
		1 point by BerislavLopac 5 months ago \| past
		Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne)
		1 point by Kerrick 5 months ago \| past
		More