Looks similar
Related stories
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 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.
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 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.
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.
One Month Without AI(blog.bustikiller.com)
148 points by saibotk | 153 comments
Personal blog post about a developer spending a month without AI tools at work, reflecting on how AI use made them lazier and a worse developer.
AI is just unauthorised plagiarism at a bigger scale(axelk.ee)
665 points by speckx | 542 comments
A personal blog post arguing that AI companies train on authors' work without consent or compensation, amounting to plagiarism at scale.
I'm tired of fixing customers' AI generated code(medium.com)
418 points by BitWiseVibe | 275 comments
A Medium post by Tate Smith about frustration with fixing customers' AI-generated code, partially covered by a Medium sign-up modal.











