smoein: almost 100% typesafe OS experiment by MS smoein: looks like it mutated into verve smoein: i guess this means, they managed to get the bloat all the way down to the kernel level... ? smoein: oh. in verve they're aiming to run the bloat on bare metal... :-o