[westurner]

I 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 :

> 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?