youknownothing
Joined 10 years ago
Joined 10 years ago
Anthropic's speed of development is about 20% AI and 80% technical debt. We all could be faster if we stopped trying to build things right.
Once Anthropic floats, I predict a screeching halt in feature development to fix all the technical debt that they're accumulating.
I don't think that's true. We treated code as permanent because we considered code to be the source of truth. Computers don't run documents, computers run code. If the requirements document contradicted the code, then the default was to assume that the requirements document was wrong.
You can't separate code from spec because the code is the spec.
The AI bubble is beginning to show signs of being about to burst (or at least deflate), so they need new sources of hype. Nothing calls for interest as the threat of a ban.
Thinking that software engineers can be replaced by AI is like thinking that mathematicians can be replaced by calculators.
Before everyone starts blabbing about formal verification, etc., consider this: how do you know that you didn't make a mistake in your formal verification? IOW, how do you know your formal verification is bug-free? Answer: you don't. Or if you try to formally verify your formal verification then you're just translating the problem to a new layer. It's just a chain of proofs that is always ultimately based on an unproven one, which invalidates the whole chain.
You can get asymptotically close to zero-bug proof, but you can never get there 100% of the way.