- TIL that there is a formally proven kernel https://en.wikipedia.org/wiki/microkernel#third_generation 102 comments programming
Linking pages
- Leave your OS at home: the rise of library operating systems | SIGARCH https://www.sigarch.org/leave-your-os-at-home-the-rise-of-library-operating-systems/ 69 comments
- Do you really need microservices? | by Browser | ITNEXT https://medium.com/@browserlondon/do-you-really-need-microservices-e85d7711c78b?amp%3Bsk=26586e236c01c7a6b639d34bde154988&source=friends_link 37 comments
- interface-types/Explainer.md at main · WebAssembly/interface-types · GitHub https://github.com/WebAssembly/interface-types/blob/master/proposals/interface-types/Explainer.md 15 comments
- Back To The Pand – Peach – Oddly Specific Programming Rants https://wheremyfoodat.github.io/Back-To-The-Pand/ 1 comment
- A secure operating system https://fantasycookie17.onederfultech.com/posts/2020/08/a-secure-os.html 0 comments
- Personal programming and the object computer | SpringerLink https://link.springer.com/article/10.1007/s10270-019-00768-3 0 comments
- PHP microframeworks and the Symfony Framework Micro Kernel https://www.symfony.fi/entry/php-microframeworks-and-the-symfony-micro-kernel 0 comments
- A secure computing platform is overdue | by Kartick Vaddadi: Eng Leader | Medium https://medium.com/@karti/a-secure-computing-platform-is-overdue-7ffde747db89 0 comments
- A startup on hard mode: Oxide, Part 2. Software & Culture https://newsletter.pragmaticengineer.com/p/oxide-part-2 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Microkernel - Wikipedia
See how to search.