Submissions from buttondown.com/hillelwayne

		Stroustrup's Rule (buttondown.com/hillelwayne)
		2 points by signa11 5 days ago \| past \| discuss
		Stroustrup's Rule (buttondown.com/hillelwayne)
		1 point by signa11 7 days ago \| past \| discuss
		Formally Modeling Dreidel, the Sequel (buttondown.com/hillelwayne)
		100 points by todsacerdoti 10 days ago \| past \| 26 comments
		Stroustrup's Rule (buttondown.com/hillelwayne)
		4 points by BerislavLopac 16 days ago \| past
		Stroustrop's Rule (buttondown.com/hillelwayne)
		3 points by azhenley 17 days ago \| past
		There was no formal methods winter (2021) (buttondown.com/hillelwayne)
		4 points by fanf2 24 days ago \| past \| 1 comment
		What Makes Concurrency So Hard? (buttondown.com/hillelwayne)
		2 points by fagnerbrack 24 days ago \| past
		Why do we call it "boilerplate code?" (buttondown.com/hillelwayne)
		4 points by handfuloflight 27 days ago \| past
		Write Code That Delivers Value to Clients (2021) (buttondown.com/hillelwayne)
		3 points by bruh2 30 days ago \| past
		Write Code That Delivers Value to Clients (2021) (buttondown.com/hillelwayne)
		3 points by BerislavLopac 31 days ago \| past
		The Opposite of Documentation is Superstition (2020) (buttondown.com/hillelwayne)
		154 points by BerislavLopac 31 days ago \| past \| 84 comments
		Hyperproperties (buttondown.com/hillelwayne)
		2 points by BerislavLopac 38 days ago \| past
		What makes concurrency so hard? (buttondown.com/hillelwayne)
		1 point by thunderbong 43 days ago \| past
		Unusual Raku Features (buttondown.com/hillelwayne)
		274 points by leontrolski 45 days ago \| past \| 157 comments
		Turing kicked us out of Heaven (2023) (buttondown.com/hillelwayne)
		34 points by todsacerdoti 52 days ago \| past \| 42 comments
		Ternary Operators (buttondown.com/hillelwayne)
		68 points by azhenley 53 days ago \| past \| 74 comments
		TLA from First Principles (buttondown.com/hillelwayne)
		103 points by ingve 66 days ago \| past \| 23 comments
		TLA from First Principles (buttondown.com/hillelwayne)
		4 points by mad44 67 days ago \| past
		"Naming things" is a poor name for naming things (2021) (buttondown.com/hillelwayne)
		1 point by fanf2 68 days ago \| past
		How to argue for something without any scientific evidence (buttondown.com/hillelwayne)
		3 points by vinipolicena 72 days ago \| past
		It's not enough for a program to work – it has to work for the right reasons (buttondown.com/hillelwayne)
		125 points by BerislavLopac 73 days ago \| past \| 65 comments
		Goodhart's Law in Software Engineering (buttondown.com/hillelwayne)
		2 points by kakakiki 73 days ago \| past
		How to convince engineers that formal methods is cool (buttondown.com/hillelwayne)
		2 points by BerislavLopac 80 days ago \| past
		Refactoring Invariants (buttondown.com/hillelwayne)
		2 points by BerislavLopac 3 months ago \| past
		What makes concurrency so hard? (buttondown.com/hillelwayne)
		4 points by kiyanwang 3 months ago \| past
		Goodhart's Law in Software Engineering (buttondown.com/hillelwayne)
		3 points by thunderbong 3 months ago \| past
		Goodhart's Law in Software Engineering (buttondown.com/hillelwayne)
		2 points by BerislavLopac 3 months ago \| past
		Why Not Comments (buttondown.com/hillelwayne)
		261 points by ghewgill 3 months ago \| past \| 277 comments
		State and time are the same thing (buttondown.com/hillelwayne)
		63 points by BerislavLopac 4 months ago \| past \| 44 comments
		State and time are the same thing (buttondown.com/hillelwayne)
		3 points by todsacerdoti 4 months ago \| past \| 1 comment
		More