-
Ironclad – formally verified, real-time capable, Unix-like OS kernel
-
Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican
-
Marko – A declarative, HTML‑based language
-
Largest cargo sailboat completes first Atlantic crossing
-
Tabloid: The Clickbait Headline Programming Language
-
Study identifies weaknesses in how AI systems are evaluated
-
Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework
-
Defeating Kaslr by Doing Nothing at All
-
Open-source communications by bouncing signals off the Moon
-
Forth – is it still relevant?
-
Control structures in programming languages: from goto to algebraic effects
-
How Airbus Took Off
-
Study finds memory decline surge in young people
-
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
-
Show HN: Geofenced chat communities anyone can create
-
Avería: The Average Font (2011)
-
Syntax and Semantics of Programming Languages (1995)
-
How to build your own VPN, or: the history of WARP
-
Show HN: Sparktype – a CMS and SSG that runs entirely in the browser
-
WriterdeckOS
-
Runc breaks pods when CPU requests aren't multiples of 10
-
IRIX Introduction
-
Show HN: PingStalker – A a macOS tool for network engineers
-
Judge denies request to exempt Flock footage from Public Records Act
-
Cloudflare scrubs Aisuru botnet from top domains list
-
Visa and Mastercard near deal with merchants that would change rewards landscape
-
Valdi – A cross-platform UI framework that delivers native performance
-
My first fifteen compilers (2019)
-
Why is Zig so cool?
-
Opencloud – An alternative to Nextcloud written in Go