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
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
prestonbyrne.com
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
Judge says Education Dept partisan out-of-office emails violated First Amendment
npr.org
My first fifteen compilers (2019)
blog.sigplan.org
When a “feature” is worse than a bug
medium.com
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
Judge denies request to exempt Flock footage from Public Records Act
heraldnet.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
The author claims that the model importing incorrectly in Blender is Sketchfab's fault:
> Why? Because of …Sketchfab.
But he also admits that Blender's USD importer has issues:
> Sure, you can say that Blender’s USD importer is dumb, and that Sketchfab doesn’t actually remove anything, it just reshuffles and repackages stuff.
and that Apple's viewer imports it fine:
> P.S. Why does Apple’s built-in Viewer handle it just fine? I guess it’s because it understands the format on a much deeper level. Since USDZ is a technology originally developed by Pixar and Apple, the macOS viewer’s parser can correctly read even the most twisted USD file.
Given these facts, it's not at all clear to me that Sketchfab's processing step has anything to do with the incorrect import. Would the original version of the same model, as it was uploaded to Sketchfab before processing, import correctly into Blender? I don't know, but it seems very plausible that the answer is no.
This mostly seems to be an ad for the author's company.