3 ms·
Security and privacy will be the next big thing or else no one will use computers in the future and there will be no computer science.
by rapjr9 4y ago
Security and privacy will be the next big thing or else no one will use computers in the future and there will be no computer science.
- nextos 4y agoMaybe some more practical and less costly formal verification? There are some signs Rust is heading in this direction. Efforts like Dafny are also pretty interesting, but still far from mainstream. I think a large codebase (20-40 KLOC) is about the maximum one can routinely verify in Dafny before stuff gets too hard. And coding speed is pretty slow.
- cercatrova 4y agoThis is peak HN bubblism. No, people don't actually care about security or privacy if one looks at their revealed preferences and not what they say they value (see how many still use Google for example). People will continue to use computers as long as it serves a need for them.
- aborsy 4y agoWhich is why government regulations exist.
- mejutoco 4y agoApple pushes the security angle as a big differentiator. Source: https://www.apple.com/privacy/ https://www.apple.com/privacy/ The title of that page says "Privacy.That’s Apple.". I think as people get more knowledgeable of tech they will care more about security or privacy. It is already a big selling point of messaging applications.