Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
simonwillison.net
Largest cargo sailboat completes first Atlantic crossing
marineinsight.com
Marko – A declarative, HTML‑based language
markojs.com
Tabloid: The Clickbait Headline Programming Language
tabloid.vercel.app
Runc breaks pods when CPU requests aren't multiples of 10
github.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Defeating Kaslr by Doing Nothing at All
googleprojectzero.blogspot.com
Open-source communications by bouncing signals off the Moon
open.space
Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
github.com
Forth – is it still relevant?
github.com
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Study finds memory decline surge in young people
onepercentrule.substack.com
Avería: The Average Font (2011)
iotic.com
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Show HN: Geofenced chat communities anyone can create
vicinity.social
How to build your own VPN, or: the history of WARP
blog.cloudflare.com
Syntax and Semantics of Programming Languages (1995)
homepage.cs.uiowa.edu
GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex
github.com
Grok 4 Fast now has 2M context window
docs.x.ai
It's what they use in Jurassic Park.
The 3D file manager is fsn.