| | Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne) |
| 2 points by goranmoomin 9 months ago | past |
|
| | Maybe writing speed is a bottleneck for programming (buttondown.com/hillelwayne) |
| 3 points by BerislavLopac 9 months ago | past | 1 comment |
|
| | Raku: A Language for Gremlins (buttondown.com/hillelwayne) |
| 8 points by uticus 10 months ago | past |
|
| | You can cheat a test suite with a big enough polynomial (buttondown.com/hillelwayne) |
| 2 points by bundie 10 months ago | past |
|
| | Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne) |
| 135 points by azhenley 10 months ago | past | 47 comments |
|
| | AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne) |
| 3 points by mpweiher 10 months ago | past |
|
| | AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne) |
| 1 point by todsacerdoti 10 months ago | past |
|
| | What does “Undecidable” mean, anyway (buttondown.com/hillelwayne) |
| 156 points by BerislavLopac 11 months ago | past | 183 comments |
|
| | Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com/hillelwayne) |
| 57 points by Tomte 11 months ago | past | 89 comments |
|
| | Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne) |
| 2 points by todsacerdoti 11 months ago | past |
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
| 1 point by rbanffy 11 months ago | past |
|
| | Write the most clever code you possibly can (buttondown.com/hillelwayne) |
| 1 point by rbanffy 11 months ago | past |
|
| | Modeling Awkward Social Situations with TLA+ (buttondown.com/hillelwayne) |
| 3 points by BerislavLopac 11 months ago | past |
|
| | Write the most clever code you can (buttondown.com/hillelwayne) |
| 17 points by todsacerdoti 11 months ago | past | 6 comments |
|
| | Edge Case Poisoning (2020) (buttondown.com/hillelwayne) |
| 2 points by NooneAtAll3 on April 28, 2025 | past | 1 comment |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 74 points by azhenley on April 28, 2025 | past | 22 comments |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 4 points by azhenley on April 24, 2025 | past |
|
| | Requirements change until they don't (buttondown.com/hillelwayne) |
| 2 points by BerislavLopac on April 24, 2025 | past |
|
| | Why do we call it "boilerplate code?" (2022) (buttondown.com/hillelwayne) |
| 3 points by fanf2 on April 18, 2025 | past | 1 comment |
|
| | The Halting Problem is a terrible example of NP-Harder (buttondown.com/hillelwayne) |
| 108 points by BerislavLopac on April 17, 2025 | past | 114 comments |
|
| | Solving a “Layton Puzzle” with Prolog (buttondown.com/hillelwayne) |
| 110 points by Tomte on April 8, 2025 | past | 28 comments |
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
| 1 point by BerislavLopac on March 27, 2025 | past |
|
| | Betteridge's Law of Software Engineering Specialness (buttondown.com/hillelwayne) |
| 1 point by Kerrick on March 26, 2025 | past |
|
| | Verification-First Development (buttondown.com/hillelwayne) |
| 65 points by vinipolicena on March 18, 2025 | past | 24 comments |
|
| | Five Kinds of Nondeterminism (buttondown.com/hillelwayne) |
| 135 points by BerislavLopac on Feb 19, 2025 | past | 32 comments |
|
| | Are efficiency and horizontal scalability at odds? (buttondown.com/hillelwayne) |
| 49 points by todsacerdoti on Feb 12, 2025 | past | 37 comments |
|
| | What hard thing does your tech make easy? (buttondown.com/hillelwayne) |
| 2 points by BerislavLopac on Jan 30, 2025 | past |
|
| | The Juggler's Curse (buttondown.com/hillelwayne) |
| 2 points by todsacerdoti on Jan 22, 2025 | past | 1 comment |
|
| | Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com/hillelwayne) |
| 79 points by srijan4 on Jan 21, 2025 | past | 45 comments |
|
| | Stroustrup's Rule (buttondown.com/hillelwayne) |
| 2 points by signa11 on Dec 23, 2024 | past |
|
|
| More |
