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
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Open-source communications by bouncing signals off the Moon
open.space
Avería: The Average Font (2011)
iotic.com
Judge says Education Dept partisan out-of-office emails violated First Amendment
npr.org
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
prestonbyrne.com
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
When a “feature” is worse than a bug
medium.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
Valdi – A cross-platform UI framework that delivers native performance
github.com
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies
hollywoodreporter.com
Ticker: Don't die of heart disease
myticker.com
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
boston25news.com
Opencloud – an alternative to Nextcloud written in Go
github.com
Super cool work! Here's the emulator source: https://github.com/hchunhui/tiny386
I wonder what the "effective" clock of the emulated CPU is, maybe we could run Speedsys or Landmark under DOS on it to see how it fares against a real 386. I happen to have a top-end 386 at 40MHz, 16MB FPM, and S3 801 VGA, but it's not quite fast enough to "enjoy" Win95 for me. :)