| 1. | | Against Single-File Codebases (rugu.dev) |
| 2 points by aiono 67 days ago | past | 2 comments |
|
| 2. | | Rethinking AI Pessimism (rugu.dev) |
| 4 points by aiono 6 months ago | past |
|
| 3. | | Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za) |
| 211 points by aiono 8 months ago | past | 133 comments |
|
| 4. | | Are delayed issues harder to resolve? (springer.com) |
| 2 points by aiono 8 months ago | past | 1 comment |
|
| 5. | | Algebraic Blindness (github.com/quchen) |
| 2 points by aiono 10 months ago | past | 1 comment |
|
| 6. | | A Missing IDE Feature (matklad.github.io) |
| 47 points by aiono 10 months ago | past | 52 comments |
|
| 7. | | Pinning Nixpkgs Without Channels (aiono.dev) |
| 2 points by aiono 11 months ago | past |
|
