Rust AI CFP
Fill out a form to propose a talk!
Read more
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