Ideas & society2015 · shared on Hacker News
academic-pdf · vax_vmm.pdf
Research PDF · needs verificationExplore academic-pdf · vax_vmm.pdf, 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.
Ymariusz79 ·
A native hypervisor is coming to OpenBSD
276 points110 comments
Yidlewords ·
Twitter Activist Security
166 points37 comments
Ywalterbell ·
How to make Linux more trustworthy
152 points72 comments
Yxj9 ·
Robigalia: seL4 and Rust
129 points63 comments
YLukeHoersten ·
Likely hack of U.S. banking regulator FDIC by China covered up: probe
115 points30 comments
Yfgeorgy ·
The seL4 microkernel
102 points12 comments
Yvezzy-fnord ·
Exterminate All Operating System Abstractions (1996) [pdf]
99 points48 comments
Ylwf ·
MkLinux: Apple-Funded Port of Linux to the Power Mac / Mach Microkernel
69 points45 comments
Yvezzy-fnord ·
Why Some Dead OSes Still Matter (2007) [pdf]
60 points50 comments
Ybootload ·
Unhackable Kernel?
57 points64 comments
Yjcr ·
Another Look at Provable Security
41 points21 comments
YDyslexicAtheist ·
The Next Vulnerability: Looking Back on Meltdown and Spectre One Year Later
39 points46 comments