LLMs pose an interesting problem for DSL designers(kirancodes.me)

198 points by gopiandcode 1 year ago | 126 comments

Why AI Agents Cannot Change Software Systems(phroneses.com)

34 points by jhevans 5 months ago | 14 comments

What Is the Most Minimal Agentic Coder You Can Write?(benhouston3d.com)

16 points by bhouston 1 year ago | 8 comments

Why are coding agents so dumb?(mtlynch.io)

68 points by mtlynch 17 days ago | 47 comments

Michael Lynch blog post arguing that AI coding agents remain buggy and primitive despite capable underlying LLMs, reflecting on his experience since February 2025.

Show HN: VS Code Agent Kanban: Task Management for the AI-Assisted Developer(appsoftware.com)

83 points by gbro3n 7 months ago | 41 comments

Lean proved this program correct; then I found a bug(kirancodes.me)

375 points by bumbledraven 6 months ago | 167 comments

Blog post describing how fuzzing a formally verified Lean implementation of zlib uncovered a buffer overflow in the Lean runtime.