4 ms·
I've been to birthday parties that employed more people than "safety critical" software development. We're talking about 99.99% of the software development jobs
by OkayPhysicist 1y ago
I've been to birthday parties that employed more people than "safety critical" software development. We're talking about 99.99% of the software development jobs evaporating.
- westurner 1y agoI think we're talking like 100% of everyone gets a new power saw! Compare traditional woodworking with modern carpentry on quality, longevity, and marginal efficiency. From "Why Don't People Use Formal Methods?" https://news.ycombinator.com/item?id=18965964 https://news.ycombinator.com/item?id=18965964 : > Which universities teach formal methods? > Is formal verification a required course or curriculum competency for any Computer Science or Software Engineering / Computer Engineering degree programs? > Is there a certification for formal methods? Something like for Engineer status in other industries?