-
263
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
-
324
I Am Mark Zuckerberg
(iammarkzuckerberg.com)
-
76
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
(simonwillison.net)
-
241
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
-
294
Marko – A declarative, HTML‑based language
(markojs.com)
-
37
Defeating Kaslr by Doing Nothing at All
(googleprojectzero.blogspot.com)
-
31
Runc breaks pods when CPU requests aren't multiples of 10
(github.com)
-
355
Study identifies weaknesses in how AI systems are evaluated
(oii.ox.ac.uk)
-
35
Forth – is it still relevant?
(github.com)
-
169
Open-source communications by bouncing signals off the Moon
(open.space)
-
219
Tabloid: The Clickbait Headline Programming Language
(tabloid.vercel.app)
-
18
Show HN: I built a self-hosted error tracker in Rails
(telebugs.com)
-
70
How Airbus Took Off
(worksinprogress.co)
-
146
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
-
43
Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
(github.com)
-
7
Blue Origin Launches NASA's Escapade Mission to Mars: How to Watch
(nytimes.com)
-
51
How to build your own VPN, or: the history of WARP
(blog.cloudflare.com)
-
173
Avería: The Average Font (2011)
(iotic.com)
-
3
Toolkit to help you get started with Spec-Driven Development
(github.com)
-
79
Study finds memory decline surge in young people
(onepercentrule.substack.com)
-
85
Grok 4 Fast now has 2M context window
(docs.x.ai)
-
68
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(downtowndougbrown.com)
-
12
Show HN: Sparktype – a CMS and SSG that runs entirely in the browser
(app.sparktype.org)
-
36
Show HN: Geofenced chat communities anyone can create
(vicinity.social)
-
32
Syntax and Semantics of Programming Languages (1995)
(homepage.cs.uiowa.edu)
-
32
IRIX Introduction
(sgistuff.net)
-
36
Show HN: PingStalker – A a macOS tool for network engineers
(pingstalker.com)
-
136
Cloudflare scrubs Aisuru botnet from top domains list
(krebsonsecurity.com)
-
489
Valdi – A cross-platform UI framework that delivers native performance
(github.com)
-
519
Why is Zig so cool?
(nilostolte.github.io)