Specifiability Is the Leverage
(alperenkeles.com)
2 pts|8 hours ago|discuss
user: alpaylan
153 karma | created 4 years ago
recent submissions
1 day ago|discuss
The mechanics of autonomous software translation
(alperenkeles.com)
1 pts|3 days ago|discuss
Some Simple Economics of AGI
(arxiv.org)
4 pts|4 days ago|discuss
5 days ago|discuss
18 days ago|discuss
23 days ago|discuss
LLMs could be, but shouldn't be compilers
(alperenkeles.com)
133 pts|23 days ago|151 comments
1 month ago|discuss
2 months ago|discuss
Test, don't just verify
(alperenkeles.com)
200 pts|2 months ago|140 comments
Does your code match your spec?
(kiro.dev)
2 pts|3 months ago|discuss
A Claude Code Command for Hypothesis
(hypothesis.works)
2 pts|3 months ago|discuss
1 pts|4 months ago|discuss
1 pts|5 months ago|discuss
Breaking Verifiable Abstractions
(alperenkeles.com)
2 pts|6 months ago|discuss
A Better Vocabulary for Testing
(alperenkeles.com)
3 pts|6 months ago|discuss
7 months ago|discuss
11 months ago|discuss
1 pts|11 months ago|discuss