-
253
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
-
270
I Am Mark Zuckerberg
(iammarkzuckerberg.com)
-
67
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
(simonwillison.net)
-
234
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
-
290
Marko – A declarative, HTML‑based language
(markojs.com)
-
26
Runc breaks pods when CPU requests aren't multiples of 10
(github.com)
-
33
Defeating Kaslr by Doing Nothing at All
(googleprojectzero.blogspot.com)
-
30
Forth – is it still relevant?
(github.com)
-
212
Tabloid: The Clickbait Headline Programming Language
(tabloid.vercel.app)
-
350
Study identifies weaknesses in how AI systems are evaluated
(oii.ox.ac.uk)
-
165
Open-source communications by bouncing signals off the Moon
(open.space)
-
7
Show HN: I built a self-hosted error tracker in Rails
(telebugs.com)
-
64
How Airbus Took Off
(worksinprogress.co)
-
43
Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
(github.com)
-
143
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
-
72
Study finds memory decline surge in young people
(onepercentrule.substack.com)
-
165
Avería: The Average Font (2011)
(iotic.com)
-
68
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(downtowndougbrown.com)
-
44
How to build your own VPN, or: the history of WARP
(blog.cloudflare.com)
-
31
Syntax and Semantics of Programming Languages (1995)
(homepage.cs.uiowa.edu)
-
78
Grok 4 Fast now has 2M context window
(docs.x.ai)
-
30
IRIX Introduction
(sgistuff.net)
-
33
Show HN: PingStalker – A a macOS tool for network engineers
(pingstalker.com)
-
10
Show HN: Sparktype – a CMS and SSG that runs entirely in the browser
(app.sparktype.org)
-
33
Show HN: Geofenced chat communities anyone can create
(vicinity.social)
-
177
WriterdeckOS
(writerdeckos.com)
-
133
Cloudflare scrubs Aisuru botnet from top domains list
(krebsonsecurity.com)
-
487
Valdi – A cross-platform UI framework that delivers native performance
(github.com)
-
515
Why is Zig so cool?
(nilostolte.github.io)
-
152
Judge denies request to exempt Flock footage from Public Records Act
(goskagit.com)