[anonzzzies]

Yes, you do if you want to make money on decades timescales instead of some grifter vc 2 year thingy.

[mananaysiempre]

Unfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.

[anonzzzies]

Not us, but yes, you have a point.