The foundations of a provably secure operating system (PSOS) (1979) [pdf]

rurban 18 May 2026, 09:40 UTC (3 weeks ago) Hacker News — Top Stories free api