Ideas & society2020 · shared on Hacker News
doi · 1159842.1159850
Explore doi · 1159842.1159850, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ybelliash ·
ExectOS – brand new operating system which derives from NT architecture
254 points224 comments
Yingve ·
SeL4 is verified on RISC-V
244 points80 comments
Ytodsacerdoti ·
Verified seL4 on secure RISC-V processors
155 points14 comments