| | The Simplicity of Humanness (alperenkeles.com) |
| 1 point by alpaylan 15 days ago | past |
|
| | What is a property? (alperenkeles.com) |
| 89 points by alpaylan 22 days ago | past | 26 comments |
|
| | Puzzle Challenge (alperenkeles.com) |
| 2 points by simonpure 45 days ago | past |
|
| | The mechanics of autonomous software translation (alperenkeles.com) |
| 24 points by alpaylan 49 days ago | past | 3 comments |
|
| | Specifiability Is the Leverage (alperenkeles.com) |
| 2 points by alpaylan 58 days ago | past |
|
| | LLMs could be, but shouldn't be compilers (alperenkeles.com) |
| 133 points by alpaylan 82 days ago | past | 151 comments |
|
| | Test, don't just verify (alperenkeles.com) |
| 200 points by alpaylan 4 months ago | past | 140 comments |
|
| | Verification Is Not the Silver Bullet (alperenkeles.com) |
| 3 points by zdw 5 months ago | past |
|
| | Breaking Verifiable Abstractions (alperenkeles.com) |
| 2 points by alpaylan 8 months ago | past |
|
| | A Better Vocabulary for Testing (alperenkeles.com) |
| 3 points by alpaylan 8 months ago | past |
|
| | Verifiability Is the Limit (alperenkeles.com) |
| 4 points by lawrencechen 9 months ago | past | 2 comments |
|
| | Verifiability Is the Limit (alperenkeles.com) |
| 1 point by mefengl on April 8, 2025 | 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 |
|
