4 ms·
> Regarding proof, if you have contracts for your software write them up. Gherkin specs, api contracts, unit tests, etc. We really need widespread adoption of
by int_19h 1y ago
> Regarding proof, if you have contracts for your software write them up. Gherkin specs, api contracts, unit tests, etc.
We really need widespread adoption of stuff like design-by-contract in mainstream PLs before we can seriously talk about AI coding.