Top all-time · #9456
Alperen Keles
Personal blog · alperenkeles.com/postsprogrammingai
Alperen Keles's personal blog at alperenkeles.com covers programming and ai. Since 2024, 8 different Hacker News readers have linked it 20 times, most often “Verifiability Is the Limit”. It is still writing: the last post was on 2026-09-27, and you can follow it by feed.
Most-linked posts?
- Verifiability Is the Limit3 people · 3 mentions · first linked 2025-03-12
What Hacker News says?
Submitted Test, don't just verify as a story · 182 points
HN discussionSubmitted Verifiability Is the Limit as a story · 4 points
HN discussionSubmitted What Is Random Generation? as a story · 3 points
HN discussionSubmitted Verification Is Not the Silver Bullet as a story · 3 points
HN discussionSubmitted A Better Vocabulary for Testing as a story · 3 points
HN discussionSubmitted Solving Algorithmic Problems: Painting a Grid as a story · 3 points
HN discussionSubmitted Temporal Shrinking as a story · 2 points
HN discussionSubmitted Representation-Free Editing as a story · 2 points
HN discussionSubmitted The mechanics of autonomous software translation as a story · 2 points
HN discussionSubmitted LLMs could be, but shouldn't be compilers as a story · 2 points
HN discussionSubmitted Breaking Verifiable Abstractions as a story · 2 points
HN discussionSubmitted Puzzles as Algorithmic Problems as a story · 2 points
HN discussionSubmitted Introducing Devy, the interactive blog, written using Devy as a story · 2 points
HN discussionSubmitted The Simplicity of Humanness as a story · 1 points
HN discussionSubmitted What Is a Property? as a story · 1 points
HN discussionSubmitted Specifiability Is the Leverage as a story · 1 points
HN discussionSubmitted The mechanics of autonomous software translation as a story · 1 points
HN discussionSubmitted Verifiability Is the Limit as a story · 1 points
HN discussionSubmitted Verifiability Is the Limit as a story · 1 points
HN discussionSubmitted The Lies About Abstraction as a story · 1 points
HN discussion