| | What does “Undecidable” mean, anyway (buttondown.com/hillelwayne) |
| 156 points by BerislavLopac 7 months ago | past | 183 comments |
|
| | Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com/hillelwayne) |
| 57 points by Tomte 7 months ago | past | 89 comments |
|
| | Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne) |
| 2 points by todsacerdoti 8 months ago | past |
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
| 1 point by rbanffy 8 months ago | past |
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
| 1 point by rbanffy 8 months ago | past |
|
| | Modeling Awkward Social Situations with TLA+ (buttondown.com/hillelwayne) |
| 3 points by BerislavLopac 8 months ago | past |
|
| | Write the most clever code you can (buttondown.com/hillelwayne) |
| 17 points by todsacerdoti 8 months ago | past | 6 comments |
|
| | Edge Case Poisoning (2020) (buttondown.com/hillelwayne) |
| 2 points by NooneAtAll3 8 months ago | past | 1 comment |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 74 points by azhenley 8 months ago | past | 22 comments |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 4 points by azhenley 8 months ago | past |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 2 points by BerislavLopac 8 months ago | past |
|
| | Why do we call it "boilerplate code?" (2022) (buttondown.com/hillelwayne) |
| 3 points by fanf2 9 months ago | past | 1 comment |
|
| | The Halting Problem is a terrible example of NP-Harder (buttondown.com/hillelwayne) |
| 108 points by BerislavLopac 9 months ago | past | 114 comments |
|
| | Solving a “Layton Puzzle” with Prolog (buttondown.com/hillelwayne) |
| 110 points by Tomte 9 months ago | past | 28 comments |
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
| 1 point by BerislavLopac 9 months ago | past |
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
| 1 point by Kerrick 9 months ago | past |
|
| | Verification-First Development (buttondown.com/hillelwayne) |
| 65 points by vinipolicena 10 months ago | past | 24 comments |
|
| | Five Kinds of Nondeterminism (buttondown.com/hillelwayne) |
| 135 points by BerislavLopac 11 months ago | past | 32 comments |
|
| | Are efficiency and horizontal scalability at odds? (buttondown.com/hillelwayne) |
| 49 points by todsacerdoti 11 months ago | past | 37 comments |
|
| | What hard thing does your tech make easy? (buttondown.com/hillelwayne) |
| 2 points by BerislavLopac 11 months ago | past |
|
| | The Juggler's Curse (buttondown.com/hillelwayne) |
| 2 points by todsacerdoti 11 months ago | past | 1 comment |
|
| | Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com/hillelwayne) |
| 79 points by srijan4 11 months ago | 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 |
|
| | Formally Modeling Dreidel, the Sequel (buttondown.com/hillelwayne) |
| 100 points by todsacerdoti on Dec 18, 2024 | past | 26 comments |
|
| | Stroustrup's Rule (buttondown.com/hillelwayne) |
| 4 points by BerislavLopac on Dec 12, 2024 | past |
|
| | Stroustrop's Rule (buttondown.com/hillelwayne) |
| 3 points by azhenley on Dec 11, 2024 | past |
|
| | There was no formal methods winter (2021) (buttondown.com/hillelwayne) |
| 4 points by fanf2 on Dec 4, 2024 | past | 1 comment |
|
| | What Makes Concurrency So Hard? (buttondown.com/hillelwayne) |
| 2 points by fagnerbrack on Dec 4, 2024 | past |
|
| | Why do we call it "boilerplate code?" (buttondown.com/hillelwayne) |
| 4 points by handfuloflight on Dec 1, 2024 | past |
|
|
| More |
