2026-10-21 20:34 UTC
maybe operating systems should have a "kernel" in the theorem prover sense. this is the bare minimum bit of critical code that ensures that the rest of the system doesn't have certain classes of vulnerability
Replies (1)
-
@discatte@digipres.club 2026-10-21 20:55
@joe@f.duriansoftware.com theres a kernel of truth to that.