alt Hacker NewsMaybe 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...
I doubt it, I feel like it might improve shops that already care and are already creating with rigor. I don't think it'll raise the bar for the avg shop. However, perhaps that's just be being cynical. By real time embedded is the same do you mean the same in the sense that they are just as poor in quality?