- 71Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
- 179Marko – A declarative, HTML‑based language (markojs.com)
- 74Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
- 286Study identifies weaknesses in how AI systems are evaluated (oii.ox.ac.uk)
- 113WriterdeckOS (writerdeckos.com)
- 6Characterizing the American Upper Paleolithic (science.org)
- 17Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
- 78Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
- 41GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
- 107Avería: The Average Font (2011) (iotic.com)
- 111Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
- 37Open-source communications by bouncing signals off the Moon (open.space)
- 40My first fifteen compilers (2019) (blog.sigplan.org)
- 155IP Blocking the UK Is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)
- 79An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (softwarepreservation.computerhistory.org)
- 455Valdi – A cross-platform UI framework that delivers native performance (github.com)
- 372Ticker: Don't die of heart disease (myticker.com)
- 53How to declutter, quiet down, and take the AI out of Windows 11 25H2 (arstechnica.com)
- 488Why is Zig so cool? (nilostolte.github.io)
- 5Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies (hollywoodreporter.com)
- 60Syntax and Semantics of Programming Languages (homepage.cs.uiowa.edu)
- 30Opencloud – an alternative to Nextcloud written in Go (github.com)
- 14752 Year old data tape could contain Unix history (theregister.com)
- 374Myna: Monospace typeface designed for symbol-heavy programming languages (github.com)
- 333How did I get here? (how-did-i-get-here.net)
- Cekura (YC F24) Is Hiring
job - 150Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
- 6OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex (github.com)
- 63Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
- 168Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)