When AI writes the software, who verifies it?(leodemoura.github.io)

271 points by todsacerdoti 7 months ago | 273 comments

AI Coding assistants provide little value because a programmer's job is to think(doliver.org)

76 points by d0liver 1 year ago | 106 comments

Test, don't just verify(alperenkeles.com)

180 points by alpaylan 10 months ago | 127 comments

Write the damn code(antonz.org)

171 points by walterbell 1 year ago | 61 comments

Loop Engineering: Optimizing Code Generation and Verification(bradleygibbs.dev)

11 points by bradleygibbs 15 days ago | 7 comments

Blog post by Bradley Gibbs on designing AI-assisted development loops to qualify generated code for human review, reduce wasted work, and measure verification value.

An AI Vibe Coding Horror Story(tobru.ch)

154 points by teichmann 6 months ago | 137 comments

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

The AI coding trap(chrisloy.dev)

618 points by chrisloy 1 year ago | 377 comments

Blog post by Chris Loy arguing that AI coding tools speed up typing code but risk neglecting the problem-solving that is the real work of software development.

Coding expertise is going to collapse from AI reliance(larsfaye.com)

490 points by larsfaye 2 months ago | 479 comments

Blog essay by Lars Faye arguing that reliance on AI coding tools removes the friction needed to develop long-term programming expertise.

AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)

300 points by julian_digital 1 month ago | 367 comments

A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.

AI is just unauthorised plagiarism at a bigger scale(axelk.ee)

665 points by speckx 5 months ago | 542 comments

A personal blog post arguing that AI companies train on authors' work without consent or compensation, amounting to plagiarism at scale.