Submissions from buttondown.com/hillelwayne

		My Gripes with Prolog (buttondown.com/hillelwayne)
		38 points by azhenley 3 hours ago \| past \| 22 comments
		My Gripes with Prolog (buttondown.com/hillelwayne)
		3 points by RebelPotato 18 hours ago \| past \| discuss
		My Gripes with Prolog (buttondown.com/hillelwayne)
		3 points by zdw 1 day ago \| past \| discuss
		The Liskov Substitution Principle does more than you think (buttondown.com/hillelwayne)
		29 points by ulrischa 9 days ago \| past \| 3 comments
		Microfeatures I'd like to see in more languages (buttondown.com/hillelwayne)
		7 points by goranmoomin 35 days ago \| past
		When would you ever want bubblesort? (2023) (buttondown.com/hillelwayne)
		108 points by atan2 36 days ago \| past \| 86 comments
		[flagged] I hate science (2021) (buttondown.com/hillelwayne)
		40 points by todsacerdoti 74 days ago \| past \| 43 comments
		Modal editing is a weird historical contingency through sheer happenstance (buttondown.com/hillelwayne)
		5 points by Lanedo 80 days ago \| past \| 2 comments
		Modal editing is a weird historical contingency we have through sheer happensta (buttondown.com/hillelwayne)
		1 point by todsacerdoti 86 days ago \| past \| 2 comments
		The Phase Change (buttondown.com/hillelwayne)
		3 points by BerislavLopac 3 months ago \| past
		Syntax highlighting is a waste of an information channel (2020) (buttondown.com/hillelwayne)
		346 points by swyx 3 months ago \| past \| 171 comments
		Three ways formally verified code can go wrong in practice (buttondown.com/hillelwayne)
		184 points by todsacerdoti 3 months ago \| past \| 113 comments
		The Capability-Tractability Tradeoff (2023) (buttondown.com/hillelwayne)
		2 points by SoKamil 4 months ago \| past
		Many hard LeetCode problems are easy constraint problems (buttondown.com/hillelwayne)
		679 points by mpweiher 4 months ago \| past \| 533 comments
		Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com/hillelwayne)
		6 points by tannhaeuser 4 months ago \| past \| 3 comments
		Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com/hillelwayne)
		4 points by BerislavLopac 4 months ago \| past \| 1 comment
		The Angels and Demons of Nondeterminism (buttondown.com/hillelwayne)
		3 points by BerislavLopac 4 months ago \| past \| 1 comment
		Sapir-Whorf does not apply to programming languages (buttondown.com/hillelwayne)
		1 point by fanf2 4 months ago \| past
		Sapir-Whorf does not apply to Programming Languages (buttondown.com/hillelwayne)
		3 points by BerislavLopac 4 months ago \| past
		I Prefer RST to Markdown (2024) (buttondown.com/hillelwayne)
		114 points by shlomo_z 5 months ago \| past \| 113 comments
		Software books I wish I could read (buttondown.com/hillelwayne)
		2 points by Jtsummers 5 months ago \| past
		Words about Arrays and Tables (buttondown.com/hillelwayne)
		62 points by todsacerdoti 5 months ago \| past \| 27 comments
		Programming Language Escape Hatches (buttondown.com/hillelwayne)
		4 points by azhenley 5 months ago \| past \| 1 comment
		Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne)
		2 points by goranmoomin 6 months ago \| past
		Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne)
		3 points by BerislavLopac 6 months ago \| past \| 1 comment
		Raku: A Language for Gremlins (buttondown.com/hillelwayne)
		8 points by uticus 6 months ago \| past
		You can cheat a test suite with a big enough polynomial (buttondown.com/hillelwayne)
		2 points by bundie 6 months ago \| past
		Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne)
		135 points by azhenley 7 months ago \| past \| 47 comments
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		3 points by mpweiher 7 months ago \| past
		AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
		1 point by todsacerdoti 7 months ago \| past
		More