1. The foundations of a provably secure operating system (PSOS) (1979) [pdf]
    (www.csl.sri.com)

  2. GenCAD
    (gencad.github.io)

  3. Dogme 25 – Vow of Chastity
    (dogma25.dk)

  4. Crystals found inside wreckage from the first nuclear bomb test
    (www.scientificamerican.com)

  5. It is time to give up the dualism introduced by the debate on consciousness
    (www.noemamag.com)

  6. I turned a $80 RK3562 Android tablet into a Debian Linux workstation
    (github.com)

  7. NASA still maintains some of the Voyager spacecraft code from the 70s era
    (spacedaily.com)

  8. Ask an Astronaut: 333 hours of Q&A footage with astronauts
    (askanastronaut.issinrealtime.org)

  9. Jank now has its own custom IR
    (jank-lang.org)

  10. Where Are the Vibecoded Photoshops?
    (indiepixel.de)

  11. Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep
    (github.com)

  12. kharp – k version 3 Language Interpreter in C#
    (github.com)

  13. Prolog Coding Horror
    (www.metalevel.at)

  14. WriteUp: 16 Bytes of x86 that turn Matrix rain into sound
    (hellmood.111mb.de)

  15. Profunctor Equipment in Haskell
    (bartoszmilewski.com)

  16. Tesla Solar Roof is on life support as it pivot to panels
    (electrek.co)

  17. Why is Google Maps back to showing old satellite images of Altadena?
    (www.reddit.com)

  18. Math Jokes in Alice in Wonderland
    (storica.club)

  19. Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely
    (idahonews.com)

  20. Magical Realism: “Northern Exposure” 25 Years Later (2015)
    (www.rogerebert.com)

  21. CUDA Books
    (github.com)

  22. A Good Lemma Is Worth a Thousand Theorems (2007)
    (sites.math.rutgers.edu)

  23. Build a Radio Wave Detector with Balls of Aluminum Foil
    (www.wired.com)

  24. Hindenburg’s Smoking Room
    (www.airships.net)

  25. Prolog Basics Explained with Pokémon
    (unplannedobsolescence.com)

  26. I don't think AI will make your processes go faster
    (frederickvanbrabant.com)

  27. Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting
    (github.com)

  28. Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries
    (www.science.org)

  29. Graphing Scientific Calculator Based on the ESP32
    (github.com)

  30. High-Entropy Alloy
    (en.wikipedia.org)