Submissions from buttondown.com/hillelwayne

		Nontrailing separators do not spark joy (buttondown.com/hillelwayne)
		10 points by birdculture 2 days ago \| past \| 1 comment
		Points are a weird and inconsistent unit of measure (buttondown.com/hillelwayne)
		85 points by danborn26 30 days ago \| past \| 101 comments
		Points are an inconsistent unit of measurement (buttondown.com/hillelwayne)
		5 points by MillironX 30 days ago \| past \| 1 comment
		Illegal vs. Unwanted States (buttondown.com/hillelwayne)
		2 points by PaulHoule 32 days ago \| past
		New Logic for Programmers (and the future of this newsletter) (buttondown.com/hillelwayne)
		2 points by akshayshah 37 days ago \| past
		Illegal vs. Unwanted States (buttondown.com/hillelwayne)
		2 points by azhenley 43 days ago \| past
		Illegal vs. Unwanted States (buttondown.com/hillelwayne)
		2 points by azhenley 45 days ago \| past \| 1 comment
		A sufficiently comprehensive spec is not (necessarily) code (buttondown.com/hillelwayne)
		6 points by BerislavLopac 58 days ago \| past \| 3 comments
		Choose Boring Technology and Innovative Practices (buttondown.com/hillelwayne)
		3 points by aamederen 80 days ago \| past
		Choose Boring Technology and Innovative Practices (buttondown.com/hillelwayne)
		1 point by azhenley 80 days ago \| past \| 1 comment
		LLMs are bad at vibing specifications (buttondown.com/hillelwayne)
		4 points by todsacerdoti 3 months ago \| past
		Edge Case Poisoning (buttondown.com/hillelwayne)
		2 points by azhenley 3 months ago \| past
		Refinement Without Specification (buttondown.com/hillelwayne)
		29 points by BerislavLopac 4 months ago \| past \| 1 comment
		My Gripes with Prolog (buttondown.com/hillelwayne)
		155 points by azhenley 4 months ago \| past \| 102 comments
		My Gripes with Prolog (buttondown.com/hillelwayne)
		3 points by RebelPotato 4 months ago \| past
		My Gripes with Prolog (buttondown.com/hillelwayne)
		3 points by zdw 4 months ago \| past
		The Liskov Substitution Principle does more than you think (buttondown.com/hillelwayne)
		29 points by ulrischa 5 months ago \| past \| 3 comments
		Microfeatures I'd like to see in more languages (buttondown.com/hillelwayne)
		7 points by goranmoomin 6 months ago \| past
		When would you ever want bubblesort? (2023) (buttondown.com/hillelwayne)
		108 points by atan2 6 months ago \| past \| 86 comments
		[flagged] I hate science (2021) (buttondown.com/hillelwayne)
		40 points by todsacerdoti 7 months ago \| past \| 43 comments
		Modal editing is a weird historical contingency through sheer happenstance (buttondown.com/hillelwayne)
		5 points by Lanedo 7 months ago \| past \| 2 comments
		Modal editing is a weird historical contingency we have through sheer happensta (buttondown.com/hillelwayne)
		1 point by todsacerdoti 7 months ago \| past \| 2 comments
		The Phase Change (buttondown.com/hillelwayne)
		3 points by BerislavLopac 7 months ago \| past
		Syntax highlighting is a waste of an information channel (2020) (buttondown.com/hillelwayne)
		346 points by swyx 8 months ago \| past \| 171 comments
		Three ways formally verified code can go wrong in practice (buttondown.com/hillelwayne)
		184 points by todsacerdoti 8 months ago \| past \| 113 comments
		The Capability-Tractability Tradeoff (2023) (buttondown.com/hillelwayne)
		2 points by SoKamil 9 months ago \| past
		Many hard LeetCode problems are easy constraint problems (buttondown.com/hillelwayne)
		679 points by mpweiher 9 months ago \| past \| 533 comments
		Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com/hillelwayne)
		6 points by tannhaeuser 9 months ago \| past \| 3 comments
		Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com/hillelwayne)
		4 points by BerislavLopac 9 months ago \| past \| 1 comment
		The Angels and Demons of Nondeterminism (buttondown.com/hillelwayne)
		3 points by BerislavLopac 9 months ago \| past \| 1 comment
		More

HN For You