| 1. | | The Simplicity of Humanness (alperenkeles.com) |
| 1 point by alpaylan 1 day ago | past | discuss |
|
| 2. | | The Mismanaged Geniuses Hypothesis (alexzhang13.github.io) |
| 1 point by alpaylan 4 days ago | past | discuss |
|
| 3. | | The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software) |
| 2 points by alpaylan 7 days ago | past | discuss |
|
| 4. | | What is a property? (alperenkeles.com) |
| 89 points by alpaylan 7 days ago | past | 26 comments |
|
| 5. | | A Drop in for `anyhow:Context` that reports the failure location (gist.github.com) |
| 1 point by alpaylan 8 days ago | past | discuss |
|
| 6. | | Tracing Goroutines in Realtime with eBPF (sazak.io) |
| 1 point by alpaylan 14 days ago | past |
|
| 7. | | Hypothesis, Antithesis, synthesis (antithesis.com) |
| 285 points by alpaylan 21 days ago | past | 104 comments |
|
| 8. | | Seeing Types Where Others Don't (theconsensus.dev) |
| 3 points by alpaylan 32 days ago | past |
|
| 9. | | Code Quality in the Age of Coding Agents (michaeltimbs.me) |
| 2 points by alpaylan 33 days ago | past |
|
| 10. | | Lf-lean: The frontier of verified software engineering (theorem.dev) |
| 47 points by alpaylan 33 days ago | past | 9 comments |
|
| 11. | | The mechanics of autonomous software translation (alperenkeles.com) |
| 24 points by alpaylan 34 days ago | past | 3 comments |
|
| 12. | | Formalizing Data Structures and Algorithms with Agents (risemsr.github.io) |
| 3 points by alpaylan 36 days ago | past |
|
| 13. | | Closing the verification loop: Observability-driven harnesses for agents (datadoghq.com) |
| 4 points by alpaylan 36 days ago | past |
|
| 14. | | Are We Engineers? (hillelwayne.com) |
| 1 point by alpaylan 42 days ago | past |
|
| 15. | | Specifiability Is the Leverage (alperenkeles.com) |
| 2 points by alpaylan 44 days ago | past |
|
| 16. | | Some Simple Economics of AGI (arxiv.org) |
| 5 points by alpaylan 48 days ago | past |
|
| 17. | | LLMs could be, but shouldn't be compilers (alperenkeles.com) |
| 133 points by alpaylan 67 days ago | past | 151 comments |
|
| 18. | | Test, don't just verify (alperenkeles.com) |
| 200 points by alpaylan 3 months ago | past | 140 comments |
|
| 19. | | Does your code match your spec? (kiro.dev) |
| 2 points by alpaylan 4 months ago | past |
|
| 20. | | A Claude Code Command for Hypothesis (hypothesis.works) |
| 2 points by alpaylan 5 months ago | past |
|
| 21. | | Breaking Verifiable Abstractions (alperenkeles.com) |
| 2 points by alpaylan 7 months ago | past |
|
| 22. | | A Better Vocabulary for Testing (alperenkeles.com) |
| 3 points by alpaylan 8 months ago | past |
|
| 23. | | Dotlr – An Educational LR Parser Generator and Visualizer (github.com/umut-sahin) |
| 1 point by alpaylan on Aug 7, 2024 | past |
|
| 24. | | Show HN: Tail – Structured Document Editor (tail.rocks) |
| 5 points by alpaylan on July 28, 2024 | past | 2 comments |
|
| 25. | | A Cryptic Visual Language as a Puzzle (alperenkeles.com) |
| 1 point by alpaylan on March 17, 2024 | past | 1 comment |
|
| 26. | | CVDL: CV(Curriculum Vitae) Description Language (github.com/alpaylan) |
| 3 points by alpaylan on July 24, 2023 | past | 3 comments |
|
| 27. | | Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals (alpkeles99.medium.com) |
| 3 points by alpaylan on July 13, 2023 | past |
|
| 28. | | Extracting Signals: Playing the Inverse Waldo Game (alpkeles99.medium.com) |
| 3 points by alpaylan on July 12, 2023 | past |
|
| 29. | | The Technical Pie (Yet-Another-Tech-Debt-Analogy) (alpkeles99.medium.com) |
| 1 point by alpaylan on June 18, 2023 | past |
|
