Agentic Coding Recommendations(lucumr.pocoo.org)

231 points by rednafi 1 year ago | 177 comments

Fast and Hard Code(lucumr.pocoo.org)

17 points by lumpa 2 months ago | 10 comments

Fast and Hard Code(lucumr.pocoo.org)

81 points by tosh 2 months ago | 44 comments

Building Pi with Pi(lucumr.pocoo.org)

157 points by mplanchard 5 months ago | 130 comments

Build It Yourself(lucumr.pocoo.org)

219 points by todsacerdoti 1 year ago | 180 comments

Travel agents took 10 years to collapse. Developers are 3 years in(martinalderson.com)

12 points by martinald 10 months ago | 12 comments

AI agents are starting to eat SaaS(martinalderson.com)

343 points by jnord 10 months ago | 343 comments

Martin Alderson blog post arguing that AI coding agents are reducing demand for SaaS products as companies can cheaply build their own software.

We no longer use LangChain for building our AI agents(octomind.dev)

431 points by ma_za 2 years ago | 253 comments

Octomind blog post explaining why the company stopped using LangChain for its AI agents and what it learned using it in production.

Domain expertise has always been the real moat(brethorsting.com)

774 points by aaronbrethorst 4 months ago | 484 comments

Blog post arguing that agentic AI shifts software's binding constraint from building code to judging correctness, making domain expertise the real moat.

Agent Skills(addyosmani.com)

343 points by BOOSTERHIDROGEN 5 months ago | 168 comments

Addy Osmani's blog post introducing Agent Skills, an attempt to make AI coding agents follow senior-engineer practices like specs, tests, reviews, and scope discipline.

What AI-Native Looks Like(fagnerbrack.com)

14 points by fagnerbrack 1 month ago | 7 comments

A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.

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.