GoKawiil - Tech News

Topics: Today This Week This Month This Year

The foundations of a provably secure operating system (PSOS) (1979) [pdf] (news.ycombinator.com)

2026-05-18 | tags: provably secure operating system, psos, 1979

Today's top topics: google gemini openai android authority android trump microsoft amazon google io apple