News for hackers. Stuff that matters.
Re:The Programmer Identity Crisis by CuriouslyC on Wednesday October 22, 2025 @10:35PM (#45677572)
Engineering is a game of tradeoffs. Time is one of the things you have to trade off, given your strong opinions I expect this is something you've been in the industry long enough to understand intuitively.

Regarding proof, if you have contracts for your software write them up. Gherkin specs, api contracts, unit tests, etc. If you care about performance, add stress tests with SLOs. If you care about code organization create custom lint rules. There are so many ways to take yourself out of the loop rigorously so you can spend your time more efficiently.

Re:The Programmer Identity Crisis by int_19h on Thursday October 23, 2025 @05:14PM (#45687259)
> 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.