Obsidian at San Zanipolo
Let us start syncing and writing. I would like also publish to Ghost from here!
Read more
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.