| | Puzzle Challenge (alperenkeles.com) |
| 1 point by simonpure 5 hours ago | past | discuss |
|
| | The mechanics of autonomous software translation (alperenkeles.com) |
| 24 points by alpaylan 4 days ago | past | 1 comment |
|
| | Specifiability Is the Leverage (alperenkeles.com) |
| 2 points by alpaylan 14 days ago | past |
|
| | LLMs could be, but shouldn't be compilers (alperenkeles.com) |
| 133 points by alpaylan 37 days ago | past | 151 comments |
|
| | Test, don't just verify (alperenkeles.com) |
| 200 points by alpaylan 82 days ago | past | 140 comments |
|
| | Verification Is Not the Silver Bullet (alperenkeles.com) |
| 3 points by zdw 3 months ago | past |
|
| | Breaking Verifiable Abstractions (alperenkeles.com) |
| 2 points by alpaylan 6 months ago | past |
|
| | A Better Vocabulary for Testing (alperenkeles.com) |
| 3 points by alpaylan 7 months ago | past |
|
| | Verifiability Is the Limit (alperenkeles.com) |
| 4 points by lawrencechen 8 months ago | past | 2 comments |
|
| | Verifiability Is the Limit (alperenkeles.com) |
| 1 point by mefengl 11 months ago | past |
|
| | Verifiability Is the Limit (alperenkeles.com) |
| 1 point by kugurerdem on March 12, 2025 | past |
|
| | The Lies About Abstraction (alperenkeles.com) |
| 1 point by acmerfight on Dec 19, 2024 | past |
|
| | Puzzles as Algorithmic Problems (alperenkeles.com) |
| 2 points by thunderbong on June 2, 2024 | past |
|
| | Solving Algorithmic Problems: Painting a Grid (alperenkeles.com) |
| 3 points by thunderbong on April 16, 2024 | past |
|
| | Introducing Devy, the interactive blog, written using Devy (alperenkeles.com) |
| 2 points by thunderbong on April 13, 2024 | past |
|
| | A Cryptic Visual Language as a Puzzle (alperenkeles.com) |
| 1 point by alpaylan on March 17, 2024 | past | 1 comment |
|
