CODING

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
775 points | 188 comments

Elon Musk pushes out more xAI founders as AI coding effort falters
520 points | 823 comments

Ask HN: How is AI-assisted coding going for you professionally?
427 points | 612 comments

AI coding is gambling
326 points | 397 comments

Coding after coders: The end of computer programming as we know it?
227 points | 437 comments

Learning Creative Coding
81 points | 26 comments

Show HN: Goal.md, a goal-specification file for autonomous coding agents
31 points | 8 comments