Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Marko – A declarative, HTML‑based language
markojs.com
Largest Cargo Sailboat Completes Historic First Atlantic Crossing
marineinsight.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Characterizing the American Upper Paleolithic
science.org
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Judge says Education Dept partisan out-of-office emails violated First Amendment
npr.org
Avería: The Average Font (2011)
iotic.com
Open-source communications by bouncing signals off the Moon
open.space
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
My first fifteen compilers (2019)
blog.sigplan.org
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]
goskagit.com
Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies
hollywoodreporter.com
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
Valdi – A cross-platform UI framework that delivers native performance
github.com
When a "feature" is worse than a bug (Hello,Sketchfab)
medium.com
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
boston25news.com
Ticker: Don't die of heart disease
myticker.com
OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex
github.com
This was a nice surprise. It looks simple but it does the job. It allows me to put my pics and videos on my private cloud. My pdf also and search is fun. It allows me to create markdown docs too. A simple docker install and you have your private cloud. Top! It is not NextCloud. Nor it pretends to be. I like it, might keep this running and maybe put it to work. Thanks.