David Andrews

broyojo.com

CS PhD student at Georgia Tech working on LLM agents.

Popular posts: 1
Total points: 105
HN comments: 41
Rank: #20,636 personal

Visit broyojo.com → On Hacker News Nov 2026 – Nov 2026

Software Engineering 1 Programming Languages 1

Most points Most discussed Most cited Newest

Formalizing CPython

2026105 points41 comments Programming Languages details

AI agents wrote 613,318 lines of Lean that copy Python's internals, tested every piece against real Python, and turned up 418 bug reports along the way.