1. Ironclad – formally verified, real-time capable, Unix-like OS kernel
    (ironclad-os.org)

  2. Tabloid: The Clickbait Headline Programming Language
    (tabloid.vercel.app)

  3. Marko – A declarative, HTML‑based language
    (markojs.com)

  4. Largest cargo sailboat completes first Atlantic crossing
    (www.marineinsight.com)

  5. Study identifies weaknesses in how AI systems are evaluated
    (www.oii.ox.ac.uk)

  6. Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
    (www.downtowndougbrown.com)

  7. Control structures in programming languages: from goto to algebraic effects
    (xavierleroy.org)

  8. WriterdeckOS
    (writerdeckos.com)

  9. Syntax and Semantics of Programming Languages (1995)
    (homepage.cs.uiowa.edu)

  10. Open-source communications by bouncing signals off the Moon
    (open.space)

  11. Avería: The Average Font (2011)
    (iotic.com)

  12. IP blocking the UK is not enough to comply with the Online Safety Act
    (prestonbyrne.com)

  13. Cloudflare scrubs Aisuru botnet from top domains list
    (krebsonsecurity.com)

  14. He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
    (www.hackster.io)

  15. Judge denies request to exempt Flock footage from Public Records Act
    (www.goskagit.com)

  16. When a “feature” is worse than a bug
    (medium.com)

  17. My first fifteen compilers (2019)
    (blog.sigplan.org)

  18. Valdi – A cross-platform UI framework that delivers native performance
    (github.com)

  19. How to build your own VPN, or: the history of WARP
    (blog.cloudflare.com)

  20. Why is Zig so cool?
    (nilostolte.github.io)

  21. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
    (softwarepreservation.computerhistory.org)

  22. GPS 'kill' switch allows state police cruisers to go dark and disable tracking
    (www.boston25news.com)

  23. Ticker: Don't die of heart disease
    (myticker.com)

  24. Opencloud – An alternative to Nextcloud written in Go
    (github.com)

  25. Humanity's Endgame
    (www.noemamag.com)

  26. How did I get here?
    (how-did-i-get-here.net)

  27. GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex
    (github.com)

  28. Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
    (arxiv.org)

  29. Immutable Software Deploys Using ZFS Jails on FreeBSD
    (conradresearch.com)

  30. Computational Complexity of Air Travel Planning (2003) [pdf]
    (www.ai.mit.edu)