[tossandthrow]

Just encode your business logic in types first! Coq, Idris, or F* will certainly get the job done for you!

/s

[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.