- 213Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
- 42Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
- 211Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
- 266Marko – A declarative, HTML‑based language (markojs.com)
- 181Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
- 14Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
- 339Study identifies weaknesses in how AI systems are evaluated (oii.ox.ac.uk)
- 15Forth – is it still relevant? (github.com)
- 33Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
- 137Open-source communications by bouncing signals off the Moon (open.space)
- 40How Airbus Took Off (worksinprogress.co)
- 133Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
- 10Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
- 41Study finds memory decline surge in young people (onepercentrule.substack.com)
- 66Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
- 154Avería: The Average Font (2011) (iotic.com)
- 27Show HN: Geofenced chat communities anyone can create (vicinity.social)
- 25Syntax and Semantics of Programming Languages (1995) (homepage.cs.uiowa.edu)
- 33How to build your own VPN, or: the history of WARP (blog.cloudflare.com)
- 46Grok 4 Fast now has 2M context window (docs.x.ai)
- 3Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (app.sparktype.org)
- 168WriterdeckOS (writerdeckos.com)
- 17IRIX Introduction (sgistuff.net)
- 9Visa and Mastercard near deal with merchants that would change rewards landscape (wsj.com)
- 129Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
- 125Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
- 20Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
- 483Valdi – A cross-platform UI framework that delivers native performance (github.com)
- 53What Hallucinogens Will Make You See (2023) (nautil.us)
- 58My first fifteen compilers (2019) (blog.sigplan.org)