diskproxy and stable camera ingest with virtual disks and WebDAV
A Leica ingest failure became a Rust proxy with stable timestamps, WebDAV, streamed virtual disks, and plugins that adapt filesystem views without rewriting photo data.
Eigen Times: a newspaper in the eigenbasis of the news
A newspaper that prints each day as coordinates in the eigenbasis of a quarter-century of news—recurring archetypes, the daily decomposition, and what is different this time—built two ways and compared.
Eigen Times: a newspaper in the eigenbasis of the news
A newspaper that prints each day as coordinates in the eigenbasis of a quarter-century of news—recurring archetypes, the daily decomposition, and what is different this time—built two ways and compared.
Eigen Times: a newspaper in the eigenbasis of the news
A newspaper that prints each day as coordinates in the eigenbasis of a quarter-century of news—recurring archetypes, the daily decomposition, and what is different this time—built two ways and compared.
Two rivers, one road: Rust and OxCaml race to count meanders
We ran the verified meander-counting machine as fast as two languages could take it. OxCaml took the lead, our first explanation was wrong, and one experiment let Rust catch up and count 50 crossings.
How many ways can a river cross a road? Counting Arnold's meanders with proofs
Arnold asked in how many ways a river can cross a road n times. Nobody has a formula, so we counted the rivers with programs proved correct in Lean 4: every value up to 32 crossings, a paper on First Pair, and a film.
TPC-DOOM: how fast does your SQL database run Doom?
TPC-DOOM measures the speed of the fastest databases
Sail plays Doom: SQLDoom's own client at 32 tics a second on Spark SQL
Best Spark jobs. Best SQL Doom. On Rust.
Anthropology Math
EIgen Times, Anthropology, and their math form a new teaching method, First Pair.
The Web Has Margins Again: W3C Annotations for the Developer Community Graph
How devreal.ai links Functional TV metadata and external videos through portable W3C Web Annotations.
Interoperable Cloud Services at First Pair
How AI helps to build exactly the things you need that no existing SaaS supports. For many years I used Bitly with a free plan, and managed to tack on a custom domain, chief.sc, in there. A decade of shortcuts followed. I prefer free plans for durable resources to
The Web Has Margins Again: W3C Annotations for the Developer Community Graph
How devreal.ai links Functional TV metadata and external videos through portable W3C Web Annotations.