What a load of nonsense here: no, I don't think we should further extend the
boundaries of mathematical logic in order to avoid such bugs, and I don't think
we should now change our programming habits and use the magic power of Haskell
- I actually think, somebody should read the code that other
just encrypt the whole hard drive with Geli.
That's the only protection I see: everything passing through the controllers is
encrypted - unless keyloggers are installed, which you best protect against
completely firewalling the "core" system, andhaving jails to access the outer
world.
PCbsd al
