3 ms·

You don't need maths or proofs to improve the safety of a programming language. Also, surely it's as much a psychology /workflow / management issue as much as

You don't need maths or proofs to improve the safety of a programming language. Also, surely it's as much a psychology /workflow / management issue as much as Rust-like memory management etc.

catnaroek 9y ago
Last time I checked, psychology doesn't affect how a computer program runs.
- abdulhaq 9y ago
  It affects the way it is developed: hurriedly, carefully, carelessly, etc. This, in a software team in the real world, is a significant factor in the consequent reliability of the software developed.
  - catnaroek 9y ago
    This suggests trying “scared that my wife and children will be executed if I do it wrong”.
    - abdulhaq 9y ago
      Errrr.. yeah.... if that's how you think ... maybe you should be thinking of another career