Two things LLM coding agents are still bad at(kix.dev)

298 points by kixpanganiban 1 year ago | 340 comments

Coding Agent VMs on NixOS with Microvm.nix(michael.stapelberg.ch)

95 points by secure 8 months ago | 44 comments

OpenSSH Ships on Every Mac, Linux Server and Windows. Its Creator Trusts No One(zbruceli.org)

4 points by zbruceli 21 days ago | 0 comments

Long-form blog profile of OpenSSH creator Theo de Raadt, covering his NetBSD exit, lost DARPA grant, and security-focused philosophy.

Claude Code is your customer(calebjohn.xyz)

61 points by mfbx9da4 9 months ago | 43 comments

T2x – a CLI tool for AI-first text operations(shruggingface.com)

24 points by marckohlbrugge 1 year ago | 6 comments

ChatGPT is NOT a LLM – GPT is(vincirufus.com)

14 points by vincirufus 1 year ago | 11 comments

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.

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.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.

AI is making me dumb(jpain.io)

407 points by Eighth 5 months ago | 247 comments

A personal blog post in which a software developer argues that relying on AI for writing code, articles, and documents is eroding his own writing and programming skills.

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 Companies Are Trying to Hide a Staggering Amount of Debt(futurism.com)

628 points by technewssss 3 months ago | 317 comments

Futurism article reporting that AI companies are using off-balance-sheet arrangements to hide large amounts of debt.