138: DTF:HN for May 18, 2026

Your Daily Tech Feed covering the top 10 stories on Hacker News for May 18, 2026. Featuring: The foundations of a provably secure operating system (PSOS) (1979) [pdf], Where Are the Vibecoded Photoshops?, GenCAD, Multiple commencement speakers booed for AI comments during graduation speeches, Crystals found inside wreckage from the first nuclear bomb test, and more.

Stories covered:

1. The foundations of a provably secure operating system (PSOS) (1979) [pdf]
   (Article | HN Discussion | 🎧 0:23)
2. Where Are the Vibecoded Photoshops?
   (Article | HN Discussion | 🎧 4:05)
3. GenCAD
   (Article | HN Discussion | 🎧 8:00)
4. Multiple commencement speakers booed for AI comments during graduation speeches
   (Article | HN Discussion | 🎧 11:28)
5. Crystals found inside wreckage from the first nuclear bomb test
   (Article | HN Discussion | 🎧 14:29)
6. It is time to give up the dualism introduced by the debate on consciousness
   (Article | HN Discussion | 🎧 17:57)
7. I turned a $80 RK3562 Android tablet into a Debian Linux workstation
   (Article | HN Discussion | 🎧 21:28)
8. Ask an Astronaut: 333 hours of Q&A footage with astronauts
   (Article | HN Discussion | 🎧 24:38)
9. Jank now has its own custom IR
   (Article | HN Discussion | 🎧 27:59)
10. kharp – k version 3 Language Interpreter in C#
    (Article | HN Discussion | 🎧 31:41)