logoalt Hacker News

WD-42yesterday at 6:07 PM1 replyview on HN

We had that announcement of a new "Verifiable" Linux project from Pottering, other kernel devs, and a bunch of ex-microsoft employees yesterday. Gives me the heebie jeebies.


Replies

stackghostyesterday at 6:16 PM

Yeah I caught a lot of downvotes for coming out early against it.

show 1 reply