The foundations of a provably secure operating system (PSOS) (1979) [pdf]
Summary
The post critiques the hype around vibecoding and AI-generated artifacts, arguing that there is little evidence of coherent, non-trivial outputs. It presents a three-level framework (typing, verifying, deciding) for software development and emphasizes transparency, testing, and resisting straw-man accusations in AI work.