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
Judge says Education Dept partisan out-of-office emails violated First Amendment
npr.org
Open-source communications by bouncing signals off the Moon
open.space
Avería: The Average Font (2011)
iotic.com
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
When a “feature” is worse than a bug
medium.com
My first fifteen compilers (2019)
blog.sigplan.org
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
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
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
boston25news.com
Ticker: Don't die of heart disease
myticker.com
Opencloud – an alternative to Nextcloud written in Go
github.com
Abstract: "In North America, there are enough sites with relatively large tool assemblages predating ~13,500 calibrated years before the present (cal yr B.P.) to allow assessment of the underlying characteristics of their shared lithic tradition. Their shared technological features involve the use of dual core-and-blade and biface technologies similar to those in the Northeast Asian Late Upper Paleolithic. These dual approaches were often merged to produce small projectile points, including stemmed point forms using an elliptical cross-sectional ogive design. Similar dual lithic technologies are found in assemblages in northern Japan dating to ~20,000 cal yr B.P. We suggest a group with a similar lithic technology became isolated somewhere in the vicinity of the Paleo-Sakhalin-Hokkaido-Kuril region, developing genetically into ancestral American populations. Between ~22,000 and ~18,000 cal yr B.P., a subset of this population migrated along the southern Beringian and Northwest coasts into the Americas. By ~16,000 to ~15,000 cal yr B.P., they had become widely dispersed across North America."