2 ms·Or it could be rewritten in a bug-proof formal system for assertions. (Think Rust but better.)by OutOfHere 2y agoOr it could be rewritten in a bug-proof formal system for assertions. (Think Rust but better.)