learningstud

5 ms·

1. 61.▲
   by learningstud 4y ago

   Or, you can have complex systems with PROOFS like CompCert and Sel4. With formal methods, you can move as fast or as slow as you like.
2. 62.▲
   by learningstud 4y ago

   No, most code is really just shit. The fact that code only gets more obscure instead of more obvious is anti-intellectual. This is the complete opposite of mathematical progress. It is due to the arrogance of programmers to think that their
3. 63.▲
   by learningstud 4y ago

   It's feasible to create no bugs with formal specification and formal verification. For example, with Lean 4, one can add a proof for each array-access-by-index that the index is within the bound of the associated array. Every aspect of