I don’t want to sign up for your newsletter (2018)(katsnyderux.com)

301 points by luu 3 years ago | 250 comments

A better merge workflow with Jujutsu(ofcr.se)

116 points by todsacerdoti 2 years ago | 75 comments

Logistics Is Dying; Or – Dude, Where's My Mail?(lagomor.ph)

56 points by ChilledTonic 9 months ago | 39 comments

Zig builds are getting faster(mitchellh.com)

409 points by emschwartz 1 year ago | 191 comments

Mitchell Hashimoto's blog post describing how Zig 0.15.1 has improved build times, using the Ghostty project's upgrade as an example.

Show HN: Huzzah – a novel approach to coding with AI(danielvaughn.dev)

334 points by danielvaughn 2 months ago | 178 comments

Blog post introducing Huzzah, an experimental editor where you write pseudocode that is synced to real source code by AI on save, with the pseudocode kept as intent.

Postmortem: Co-founding a Web3 startup as a crypto skeptic young dev(anicetnougaret.fr)

56 points by AnicetN 3 years ago | 41 comments

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 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.

An AI coding agent, used to write code, needs to reduce your maintenance costs(jamesshore.com)

331 points by cratermoon 5 months ago | 99 comments

James Shore blog post arguing that AI coding agents must cut software maintenance costs proportionally to how much they speed up code writing.

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.

Agents.md speaks Unix, and you should too(fmind.dev)

10 points by fmind-dev 1 month ago | 2 comments

Blog post by Médéric Hurier arguing that AGENTS.md files should guide coding agents using Unix tools, with lessons from his dotfiles and human review.

The Eternal Sloptember(geohot.github.io)

347 points by razin 5 months ago | 280 comments

A blog post by George Hotz arguing that adopting AI coding agents in software development is a costly mistake because their output is subtly broken.