84
3
Seeing Types Where Others Don't (theconsensus.dev)
2
Code Quality in the Age of Coding Agents (michaeltimbs.me)
10
Lf-lean: The frontier of verified software engineering (theorem.dev)
2
The mechanics of autonomous software translation (alperenkeles.com)
2
Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
2
Closing the verification loop: Observability-driven harnesses for agents (datadoghq.com)
1
Are We Engineers? (hillelwayne.com)
1
Specifiability Is the Leverage (alperenkeles.com)
1
The mechanics of autonomous software translation (alperenkeles.com)
1
Some Simple Economics of AGI (arxiv.org)
1
The Mechanics of Autonomous Software Translation (alperenkeles.com)
89
LLMs could be, but shouldn't be compilers (alperenkeles.com)
98
Test, don't just verify (alperenkeles.com)
1
Does your code match your spec? (kiro.dev)
1
A Claude Code Command for Hypothesis (hypothesis.works)
1
Breaking Verifiable Abstractions (alperenkeles.com)
2
A Better Vocabulary for Testing (alperenkeles.com)
1
Dotlr – An Educational LR Parser Generator and Visualizer (github.com/umut-sahin)
2
Show HN: Tail – Structured Document Editor (tail.rocks)
2
A Cryptic Visual Language as a Puzzle (alperenkeles.com)
5
CVDL: CV(Curriculum Vitae) Description Language (github.com/alpaylan)
3
Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals (alpkeles99.medium.com)
2
Extracting Signals: Playing the Inverse Waldo Game (alpkeles99.medium.com)
1