News for hackers. Stuff that matters.
Re:The SeL4 Microkernel: An Introduction [pdf] by pjmlp on Sunday March 23, 2025 @01:56PM (#43454550)
It is the same in safer systems programming languages, we already have the concept since 1961, but apparently making the industry take the right decisions is a tenuous path until something finally makes good ideas stick and gain adoption.

There are no comments on this comment yet.