Submissions from buttondown.com/hillelwayne

		Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne)
		3 points by BerislavLopac 9 months ago \| past \| 1 comment
		Raku: A Language for Gremlins (buttondown.com/hillelwayne)
		8 points by uticus 9 months ago \| past
		You can cheat a test suite with a big enough polynomial (buttondown.com/hillelwayne)
		2 points by bundie 10 months ago \| past
		Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne)
		135 points by azhenley 10 months ago \| past \| 47 comments
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		3 points by mpweiher 10 months ago \| past
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		1 point by todsacerdoti 10 months ago \| past
		What does “Undecidable” mean, anyway (buttondown.com/hillelwayne)
		156 points by BerislavLopac 11 months ago \| past \| 183 comments
		Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com/hillelwayne)
		57 points by Tomte 11 months ago \| past \| 89 comments
		Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne)
		2 points by todsacerdoti 11 months ago \| past
		Write the most clever code you possibly can (buttondown.com/hillelwayne)
		1 point by rbanffy 11 months ago \| past
		Write the most clever code you possibly can (buttondown.com/hillelwayne)
		1 point by rbanffy 11 months ago \| past
		Modeling Awkward Social Situations with TLA+ (buttondown.com/hillelwayne)
		3 points by BerislavLopac 11 months ago \| past
		Write the most clever code you can (buttondown.com/hillelwayne)
		17 points by todsacerdoti 11 months ago \| past \| 6 comments
		Edge Case Poisoning (2020) (buttondown.com/hillelwayne)
		2 points by NooneAtAll3 12 months ago \| past \| 1 comment
		Requirements change until they don't (buttondown.com/hillelwayne)
		74 points by azhenley 12 months ago \| past \| 22 comments
		Requirements change until they don't (buttondown.com/hillelwayne)
		4 points by azhenley 12 months ago \| past
		Requirements change until they don't (buttondown.com/hillelwayne)
		2 points by BerislavLopac 12 months ago \| past
		Why do we call it "boilerplate code?" (2022) (buttondown.com/hillelwayne)
		3 points by fanf2 on April 18, 2025 \| past \| 1 comment
		The Halting Problem is a terrible example of NP-Harder (buttondown.com/hillelwayne)
		108 points by BerislavLopac on April 17, 2025 \| past \| 114 comments
		Solving a “Layton Puzzle” with Prolog (buttondown.com/hillelwayne)
		110 points by Tomte on April 8, 2025 \| past \| 28 comments
		Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne)
		1 point by BerislavLopac on March 27, 2025 \| past
		Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne)
		1 point by Kerrick on March 26, 2025 \| past
		Verification-First Development (buttondown.com/hillelwayne)
		65 points by vinipolicena on March 18, 2025 \| past \| 24 comments
		Five Kinds of Nondeterminism (buttondown.com/hillelwayne)
		135 points by BerislavLopac on Feb 19, 2025 \| past \| 32 comments
		Are efficiency and horizontal scalability at odds? (buttondown.com/hillelwayne)
		49 points by todsacerdoti on Feb 12, 2025 \| past \| 37 comments
		What hard thing does your tech make easy? (buttondown.com/hillelwayne)
		2 points by BerislavLopac on Jan 30, 2025 \| past
		The Juggler's Curse (buttondown.com/hillelwayne)
		2 points by todsacerdoti on Jan 22, 2025 \| past \| 1 comment
		Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com/hillelwayne)
		79 points by srijan4 on Jan 21, 2025 \| past \| 45 comments
		Stroustrup's Rule (buttondown.com/hillelwayne)
		2 points by signa11 on Dec 23, 2024 \| past
		Stroustrup's Rule (buttondown.com/hillelwayne)
		1 point by signa11 on Dec 21, 2024 \| past
		More

HN For You