-
116
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
-
204
Marko – A declarative, HTML‑based language
(markojs.com)
-
115
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
-
303
Study identifies weaknesses in how AI systems are evaluated
(oii.ox.ac.uk)
-
30
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(downtowndougbrown.com)
-
66
Judge says Education Dept partisan out-of-office emails violated First Amendment
(npr.org)
-
125
WriterdeckOS
(writerdeckos.com)
-
95
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
-
123
Avería: The Average Font (2011)
(iotic.com)
-
54
Open-source communications by bouncing signals off the Moon
(open.space)
-
176
IP blocking the UK is not enough to comply with the Online Safety Act
(prestonbyrne.com)
-
116
Cloudflare scrubs Aisuru botnet from top domains list
(krebsonsecurity.com)
-
21
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
(hackster.io)
-
43
My first fifteen compilers (2019)
(blog.sigplan.org)
-
27
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]
(goskagit.com)
-
459
Valdi – A cross-platform UI framework that delivers native performance
(github.com)
-
82
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
(softwarepreservation.computerhistory.org)
-
11
Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies
(hollywoodreporter.com)
-
492
Why is Zig so cool?
(nilostolte.github.io)
-
11
Humanity's Endgame
(noemamag.com)
-
71
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
(boston25news.com)
-
393
Ticker: Don't die of heart disease
(myticker.com)
-
64
Syntax and Semantics of Programming Languages
(homepage.cs.uiowa.edu)
-
3
When a “feature” is worse than a bug
(medium.com)
-
43
Opencloud – An alternative to Nextcloud written in Go
(github.com)
-
16
Judge denies request to exempt Flock footage from Public Records Act
(heraldnet.com)
-
22
OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex
(github.com)
-
156
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
(arxiv.org)
-
377
Myna: Monospace typeface designed for symbol-heavy programming languages
(github.com)
-
157
52 Year old data tape could contain Unix history
(theregister.com)