alt Hacker NewsI'm definitely wanting to do something with more of a civil engineering approach to rigour. More and more I think software is full of children who don't care and don't know the meaning of responsibility.
I'm definitely wanting to do something with more of a civil engineering approach to rigour. More and more I think software is full of children who don't care and don't know the meaning of responsibility.
Maybe formal methods have a chance of becoming mainstream now [1]?
This would increase the rigor of software engineering and put it on par with civil engineering.
Some niches like real-time embedded systems are already pretty much the same.
[1] https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...