Part of why I want to get into software verification is that I think software SHOULD be verified and proven it's safe! Too much stuff is released with incredibly dangerous bugs!
@lizardsquid reminds me of something I read erm https://www.theregister.co.uk/2017/09/29/java_security_plagued_stack_overflow/
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
@lizardsquid reminds me of something I read erm https://www.theregister.co.uk/2017/09/29/java_security_plagued_stack_overflow/