Arrrgh why can't computers JUST WORK????
Conversation
Replying to
I often feel like this 😭😭 We’re trying to get formal verification into more software, but it’s slow going. It would be nice if more of us used type systems at the very least. But yeah ultimately we need to get less scared of maths and proofs. Thanks for your help with this! 😊
Note that I’m not saying that everything should be formally verified, and people who don’t use type systems are bad. There are many ways to improve the reliability of our work, but yeah, we still have a lot to learn too! 🙂