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.
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 measures the speed of the fastest databases
Best Spark jobs. Best SQL Doom. On Rust.
EIgen Times, Anthropology, and their math form a new teaching method, First Pair.
Sail is a Spark-compatible compute engine written in Rust on Apache DataFusion: PySpark and Spark SQL clients connect to it over Spark Connect, and DataFusion executes what they send. This week Sail played Doom. Freedoom's first level, 1,200 tics of it, ran as one SQL query:
Grust's graph kernels inside Sail's Spark Connect server: stage a graph from a DataFrame, call an algorithm, get a DataFrame back.
Grust's latest backend-neutral property-graph release.
What one sweep of one PageRank kernel costs across five implementations on one host, with every distance carrying its margin.
Grust's latest backend-neutral property-graph release.
A full-path graph algorithm benchmark over 2.147 billion path entries: an explicit output contract, three rounds of optimization, two regressions and one correctness bug.
Grust Brine retains execution admission through shared Arrow buffers and graph algorithm results.
graphs
Rust in process now matches Neo4j's reach at 117 million edges and beats it on speed in every same-machine pair; Neo4j's memory lead is down to 10 to 40%. What 352 runs in 33 verified bundles show.
querygraph
Fihrist brings versioned enterprise table contracts and governed agent reads to the QueryGraph stack.
eigenhacks
Eigen Hacks is Eigen Times pointed at twenty years of Hacker News. The corpus, the fit and the site went up in a day; the interesting part was discovering that the paper was quietly nonsense—one clustering threshold inherited from newspapers merged half of every day into a single story—and what coun
first-pair
How a story from Mark Liberman about learning Spanish in Emacs became a parallel-text reader in GNU Info with a dictionary under every word, and why we forked iSH as 1Unix to make an iPhone terminal touchable.
As a lifelong fan of Dante and Italy, I tried to learn Italian many times to read the Commedia, and it never stuck. Have to go live in Italy for that. The closest I ever got was to become a director of Open-Source Science at IBM, reporting to Anthony
eigentimes
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.
The first Rust AI Europe meetup is hosted by Adyen and LakeSail in Amsterdam on September 9, ahead of the PyData Amsterdam conference. Reserve your seat ASAP, we'll be sold out: https://luma.com/ai-f2z9. LakeSail has rebuilt the entire Spark ecosystem in Rust, including Delta Lake
Meet Gruff Rag — a developer hero debunking AI hype around “GraphRAG” , “Context Engineering,” and “Semantic Layer.” If anything, Gruff Rag is more real than GraphRAG. As the former AI Community Architect, I’ve spent an year and a half connecting OSS AI communities in graph space, eliciting patterns that emerging
w3c-web-annotation
How devreal.ai links Functional TV metadata and external videos through portable W3C Web Annotations.
August 2026 — rgbdns 0.6.3 DNSSEC can look like an invitation to build a control plane: a key database, a signing service, an RPC protocol, a stateful rollover controller, and an online authority that knows too much. That would be one way to add cryptographic signatures to DNS. It
a URL reservation system between two SaaS platforms
For almost a decade, I've used the chief.sc domain in bit,ly, as a custom domain for my short URLs, typically Medium posts on my own publication chiefscientist.org. At some point bit.ly caught up to my free account with a custom domain, and I could