News for hackers. Stuff that matters.

A comment on Why is it all in the kernel?. Parent comment

Re:Why is it all in the kernel? by dmulligan on Wednesday August 05, 2026 @09:03AM (#49182296)
Ha, I actually wrote a paper pushing on this "kernel" pun between OSs and proof-checkers [1], designing a HOL kernel structured like an OS kernel.

[1]: https://drops.dagstuhl.de/storage/00lipics/lipics-vol269-typ...

[ Parent | on HN ]

There are no comments on this comment yet.