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] http://www.csl.sri.com/users/neumann/psos.pdf HN discussion: https://news.ycombinator.com/item?id=48177300 2. Where Are the Vibecoded Photoshops? https://indiepixel.de/blog/posts/where-are-the-vibecoded-photoshops/ HN discussion: https://news.ycombinator.com/item?id=48177228 3. GenCAD https://gencad.github.io/ HN discussion: https://news.ycombinator.com/item?id=48173429 4. Multiple commencement speakers booed for AI comments during graduation speeches https://www.nbcnews.com/video/multiple-commencement-speakers-booed-for-ai-comments-during-graduation-speeches-263486021518 HN discussion: https://news.ycombinator.com/item?id=48177107 5. Crystals found inside wreckage from the first nuclear bomb test https://www.scientificamerican.com/article/strange-crystals-found-inside-wreckage-from-the-first-nuclear-bomb-test/ HN discussion: https://news.ycombinator.com/item?id=48155450 6. It is time to give up the dualism introduced by the debate on consciousness https://www.noemamag.com/there-is-no-hard-problem-of-consciousness/ HN discussion: https://news.ycombinator.com/item?id=48175140 7. I turned a $80 RK3562 Android tablet into a Debian Linux workstation https://github.com/tech4bot/rk3562deb HN discussion: https://news.ycombinator.com/item?id=48168668 8. Ask an Astronaut: 333 hours of Q&A footage with astronauts https://askanastronaut.issinrealtime.org/ HN discussion: https://news.ycombinator.com/item?id=48152754 9. Jank now has its own custom IR https://jank-lang.org/blog/2026-05-08-optimization/ HN discussion: https://news.ycombinator.com/item?id=48151251 10. kharp – k version 3 Language Interpreter in C# https://github.com/ERufian/ksharp HN discussion: https://news.ycombinator.com/item?id=48166856