The foundations of a provably secure operating system (PSOS) (1979) [pdf]
Published: (May 18, 2026 at 05:40 AM EDT)
1 min read
Source: Hacker News
Source: Hacker News
Related posts
Read more »Pope Leo XIV’s first encyclical Magnifica humanitas to be published May 25
Pope Leo XIV’s first encyclical Magnifica humanitas to be published May 25 Pope Leo XIV’s first encyclical, Magnifica humanitas, on preserving the human person...
Click
Article URL: https://clickclickclick.click/ Comments URL: https://news.ycombinator.com/item?id=48187054 Points: 158 Comments: 28...
Elon Musk has lost his lawsuit against Sam Altman and OpenAI
Background Elon Musk’s claim that he was mistreated by his OpenAI co‑founders failed after nine California jurors delivered a unanimous verdict that his lawsui...
Iran starts Bitcoin-backed ship insurance for Hormuz strait
Article URL: https://www.bloomberg.com/news/articles/2026-05-18/iran-starts-bitcoin-backed-shipping-insurance-for-hormuz-strait Comments URL: https://news.ycomb...