mafro

I challenge you to use a frontier LLM to analyse your code and specs and verify if they are meaningfully aligned.

Code almost never speaks to the WHY; ADRs will help there.

Code never captures requirements, but it does reflect actual system behaviour, which is a specification.

I can appreciate your approach, but I'm not hand writing 100s to 1000s of specs by hand - at that point I'll just write the code myself

I've used OpenSpec extensively on two large pieces of software which were worked solo over 6-9 months.

Recently, I've completely ditched the specification part. I found they just weren't useful over the longer term. I used an LLM to assess in both directions whether the code matched the specs and whether the specs matched the code. On both software projects this came out with huge divergence from spec to code.

Basically the old theory is true - the code IS the specification.

What I did find very useful and have retained is the process flow. Create a proposal, review the proposal, implement, review the code. Also useful was building and maintaining ADRs and invariant logs for where a unit test cannot be made to verify behaviour. The process and the ADRs, unit test, invariant log all help the software stay coherent as the LLM churns on it over many unconnected contexts.

The author doesn't distinguish whether these projects failed because of technology and execution, or failed because product market-fit. They simply blame AI being involved.

AI will only help if you use rapid iteration to cheaply/quickly produce ideas. All the normal project failure modes still exist.. Blaming AI because AI is dumb.

I only read up to point 3 because the hyperbole and frothing fervour was overwhelming.

I didn't know what BGP is, but I did know CTF. YMMV

Never let a good crisis go to waste

This comment feels like a troll.

I'm sure you are aware that:

- Most open source projects on the Internet are on Github. One could argue Github itself has taken a significant role in the growth of OSS in the last decade

- Using Discord is totally du jour for open source communities in 2025

- Reddit is still the biggest discussion forum on the Internet. Including discussion about open source

There are only two essential apps on my Mac. iTerm2, and a browser

The same idea applies to self-driving cars though, no? That is an industry where the "AI revolution" will enrich only the existing incumbents, and there is a huge bar to entry.

Self-driving cars are not going to create generational wealth through invention like microprocessors did.

Latest release Apr 2025 introduced a plain text save file format, which plays nicer for source control. Great to see development is still active.