-
95
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(ironclad-os.org)
-
192
Marko – A declarative, HTML‑based language
(markojs.com)
-
102
Largest cargo sailboat completes first Atlantic crossing
(marineinsight.com)
-
295
Study identifies weaknesses in how AI systems are evaluated
(oii.ox.ac.uk)
-
12
Characterizing the American Upper Paleolithic
(science.org)
-
31
Judge says Education Dept partisan out-of-office emails violated First Amendment
(npr.org)
-
117
WriterdeckOS
(writerdeckos.com)
-
91
Control structures in programming languages: from goto to algebraic effects
(xavierleroy.org)
-
22
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
(downtowndougbrown.com)
-
117
Avería: The Average Font (2011)
(iotic.com)
-
48
Open-source communications by bouncing signals off the Moon
(open.space)
-
164
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)
-
19
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]
(goskagit.com)
-
42
My first fifteen compilers (2019)
(blog.sigplan.org)
-
12
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
(hackster.io)
-
11
Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies
(hollywoodreporter.com)
-
10
Humanity's Endgame
(noemamag.com)
-
459
Valdi – A cross-platform UI framework that delivers native performance
(github.com)
-
80
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
(softwarepreservation.computerhistory.org)
-
67
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
(boston25news.com)
-
3
When a “feature” is worse than a bug
(medium.com)
-
489
Why is Zig so cool?
(nilostolte.github.io)
-
386
Ticker: Don't die of heart disease
(myticker.com)
-
40
Opencloud – An alternative to Nextcloud written in Go
(github.com)
-
62
Syntax and Semantics of Programming Languages
(homepage.cs.uiowa.edu)
-
17
OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex
(github.com)
-
375
Myna: Monospace typeface designed for symbol-heavy programming languages
(github.com)
-
153
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
(arxiv.org)
-
Cekura (YC F24) Is Hiring
()
job