giovannibonetti
Joined 12 years ago
Joined 12 years ago
The problem is that malware may sneak in, and then the user needs a horrible piece of software called anti-virus that needs to apply complicated heuristics to try and separate one from the other. It kind of worked ok for many years, but as the world evolved and the dangers kept increasing, little by little we have been going towards the other idea – default deny – where apps are considered harmful until proved otherwise, and the honest app developers have to jump through multiple hoops to get their apps available to users. That's the app store model, which kind of works, but is cumbersome and expensive for the app developer.
Anyway, going back to the VM discussion, I think we may end up applying the default deny idea further into the OS Kernel to reduce those risks further. After all, a small kernel has a much smaller risk surface and perhaps it can be formally verified to be secure under some reasonable assumptions.
That's why I bet that fast compilers are the future. See this other thread that reached the front page a few hours ago about the Roc language [1]
This reminds me of the comparison between Japanese manga and American comics/graphic novels. Some people say the former offer a much wider variety of content and ideas because it is often started by a single (often quirky) author, whereas the latter is usually designed by a committee, which ends up favoring more bland ideas. Anime usually starts of as manga, and that's why anime is so creative as well.
Perhaps AI will help single authors create more work by themselves, and we'll have a renaissance of comic books and other forms of (mostly digital) entertainment in the west. And we'll spend less time watching those TV shows on streaming platforms that follow the same few recipes.
[1] https://debasishg.github.io/blog/push-ifs-up-fors-down/ [2] https://venge.net/graydon/talks/VectorizedInterpretersTalk-2...
My HN handle is also my Github handle.