Hacker News new | ask | show | jobs
by throwaway81523 1553 days ago
That is how the Singularity research OS works, except it's done by static verification in a compiler.