Why I shut down Lazy Collective
Two agents open the same repository a day apart. Could the second reuse the first’s work? I built DotRepo and PageDigest to find out.
Read the experiment
Work
Scientific & technical dispatches
ries-rs
Find simple equations for a number.
RamenOS
An everyday operating system in development.
lean-xray
Inspect the assumptions behind a Lean declaration.
NS Check
Five checks from a recorded Navier–Stokes audit.
Phodos JXL
A JPEG XL image engine for photo libraries.
Writing
Notes along the way