| | Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne) |
|
135 points by azhenley 7 days ago | past | 42 comments
|
|
| | AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne) |
|
3 points by mpweiher 13 days ago | past | discuss
|
|
| | AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne) |
|
1 point by todsacerdoti 14 days ago | past
|
|
| | What does “Undecidable” mean, anyway (buttondown.com/hillelwayne) |
|
156 points by BerislavLopac 22 days ago | past | 183 comments
|
|
| | Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com/hillelwayne) |
|
57 points by Tomte 29 days ago | past | 89 comments
|
|
| | Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne) |
|
2 points by todsacerdoti 30 days ago | past
|
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
|
1 point by rbanffy 34 days ago | past
|
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
|
1 point by rbanffy 35 days ago | past
|
|
| | Modeling Awkward Social Situations with TLA+ (buttondown.com/hillelwayne) |
|
3 points by BerislavLopac 36 days ago | past
|
|
| | Write the most clever code you can (buttondown.com/hillelwayne) |
|
17 points by todsacerdoti 41 days ago | past | 6 comments
|
|
| | Edge Case Poisoning (2020) (buttondown.com/hillelwayne) |
|
2 points by NooneAtAll3 52 days ago | past | 1 comment
|
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
|
74 points by azhenley 52 days ago | past | 22 comments
|
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
|
4 points by azhenley 56 days ago | past
|
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
|
2 points by BerislavLopac 56 days ago | past
|
|
| | Why do we call it "boilerplate code?" (2022) (buttondown.com/hillelwayne) |
|
3 points by fanf2 62 days ago | past | 1 comment
|
|
| | The Halting Problem is a terrible example of NP-Harder (buttondown.com/hillelwayne) |
|
108 points by BerislavLopac 63 days ago | past | 114 comments
|
|
| | Solving a “Layton Puzzle” with Prolog (buttondown.com/hillelwayne) |
|
110 points by Tomte 72 days ago | past | 28 comments
|
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
|
1 point by BerislavLopac 84 days ago | past
|
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
|
1 point by Kerrick 85 days ago | past
|
|
| | Verification-First Development (buttondown.com/hillelwayne) |
|
65 points by vinipolicena 3 months ago | past | 24 comments
|
|
| | Five Kinds of Nondeterminism (buttondown.com/hillelwayne) |
|
135 points by BerislavLopac 4 months ago | past | 32 comments
|
|
| | Are efficiency and horizontal scalability at odds? (buttondown.com/hillelwayne) |
|
49 points by todsacerdoti 4 months ago | past | 37 comments
|
|
| | What hard thing does your tech make easy? (buttondown.com/hillelwayne) |
|
2 points by BerislavLopac 4 months ago | past
|
|
| | The Juggler's Curse (buttondown.com/hillelwayne) |
|
2 points by todsacerdoti 4 months ago | past | 1 comment
|
|
| | Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com/hillelwayne) |
|
79 points by srijan4 4 months ago | past | 45 comments
|
|
| | Stroustrup's Rule (buttondown.com/hillelwayne) |
|
2 points by signa11 5 months ago | past
|
|
| | Stroustrup's Rule (buttondown.com/hillelwayne) |
|
1 point by signa11 6 months ago | past
|
|
| | Formally Modeling Dreidel, the Sequel (buttondown.com/hillelwayne) |
|
100 points by todsacerdoti 6 months ago | past | 26 comments
|
|
| | Stroustrup's Rule (buttondown.com/hillelwayne) |
|
4 points by BerislavLopac 6 months ago | past
|
|
| | Stroustrop's Rule (buttondown.com/hillelwayne) |
|
3 points by azhenley 6 months ago | past
|
|
|
|
More |
