alt Hacker News"y'all are black pilled about computers and security. You believe, incorrectly, that computers can't be safe AND secure AND easy to use all at the same time"
This is basic fact. Man can make it; man can break it. I've never come across anything in my 44 years of life where this wasn't true.
> Man can make it; man can break it.
Man can make mathematical proofs that will not be broken. Man is not going to disprove the Pythagorean Theorem. Software is just hifalutin math. There can exist software that, for a given mathematical specification, can be proven correct, and will not be disproven.