An interesting paper looking at bugs in the Linux kernel and exploring which wouldn't work on seL4: https://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf
(Also, apparently Google's Fuschia is based on the Zircon microkernel!)
miniblog.
Related Posts
IPv6 adoption is approaching half!
https://www.google.com/intl/en/ipv6/statistics.html shows 46% as of today.
One advantage I've come to appreciate about Dash/Zeal docsets: it's really nice having focused search.
The text search is constrained to the languages I care about enough to download the docset, substantially increasing the relevance. In Google I'd need to specify the language.
I'm intrigued to see that Google has quantified that new code is generally buggier and less secure than code that has existed in your codebase for longer: