| 1. | | Specifiability Is the Leverage (alperenkeles.com) |
| 2 points by alpaylan 12 hours ago | past | discuss |
|
| 2. | | The mechanics of autonomous software translation (alperenkeles.com) |
| 1 point by alpaylan 3 days ago | past | discuss |
|
| 3. | | Some Simple Economics of AGI (arxiv.org) |
| 4 points by alpaylan 4 days ago | past | discuss |
|
| 4. | | LLMs could be, but shouldn't be compilers (alperenkeles.com) |
| 133 points by alpaylan 23 days ago | past | 151 comments |
|
| 5. | | Test, don't just verify (alperenkeles.com) |
| 200 points by alpaylan 68 days ago | past | 140 comments |
|
| 6. | | Does your code match your spec? (kiro.dev) |
| 2 points by alpaylan 3 months ago | past |
|
| 7. | | A Claude Code Command for Hypothesis (hypothesis.works) |
| 2 points by alpaylan 3 months ago | past |
|
| 8. | | Breaking Verifiable Abstractions (alperenkeles.com) |
| 2 points by alpaylan 6 months ago | past |
|
| 9. | | A Better Vocabulary for Testing (alperenkeles.com) |
| 3 points by alpaylan 6 months ago | past |
|
| 10. | | Dotlr – An Educational LR Parser Generator and Visualizer (github.com/umut-sahin) |
| 1 point by alpaylan on Aug 7, 2024 | past |
|
| 11. | | Show HN: Tail – Structured Document Editor (tail.rocks) |
| 5 points by alpaylan on July 28, 2024 | past | 2 comments |
|
| 12. | | A Cryptic Visual Language as a Puzzle (alperenkeles.com) |
| 1 point by alpaylan on March 17, 2024 | past | 1 comment |
|
| 13. | | CVDL: CV(Curriculum Vitae) Description Language (github.com/alpaylan) |
| 3 points by alpaylan on July 24, 2023 | past | 3 comments |
|
| 14. | | Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals (alpkeles99.medium.com) |
| 3 points by alpaylan on July 13, 2023 | past |
|
| 15. | | Extracting Signals: Playing the Inverse Waldo Game (alpkeles99.medium.com) |
| 3 points by alpaylan on July 12, 2023 | past |
|
| 16. | | The Technical Pie (Yet-Another-Tech-Debt-Analogy) (alpkeles99.medium.com) |
| 1 point by alpaylan on June 18, 2023 | past |
|
