News for hackers. Stuff that matters.
Re:So you want to study mathematics by waste_monk on Tuesday March 08, 2022 @12:27AM (#30596738)
Perhaps by proofs they are referring to formalised / verifiable programming languages such as the SPARK subset of ADA?

Those are indeed very useful for life/safety critical systems such as aerospace, air traffic control, medical devices, etc.

There are no comments on this comment yet.