48 on this site · 909 links
.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)4th Oct 2026
.plan-26-37: The humans aren't dead, the humans are ahead13th Sep 2026
.plan-26-36: Ground control to major MODIS6th Sep 2026
Security scanning my own code with Scrutineer and local coding models31st Aug 2026
.plan-26-35: All I want for Tesseramas is (GP)U30th Aug 2026
.plan-26-34: Am I human or am I antibotty23rd Aug 2026
Just a rumour of a bug is enough to find a security exploit these days22nd Aug 2026
Using Forester to turn Foundations of CS into interactive evergreen lectures16th Aug 2026
.plan-26-33: Zarro rides out and evidence papers pour in16th Aug 2026
.plan-26-32: Finally a use for serverless and found the Forester for the trees9th Aug 2026Updating to the OxCaml 5.2.0-minus39 opam packaging8th Aug 2026
.plan-26-31: Sorting out Tessera and Evidence TAP infrastructure2nd Aug 2026
Compiling Lean specifications into OxCaml enforcement automata1st Aug 2026
An antibotty defensive testbed to protect network services1st Aug 2026
.plan-26-30: Bananas ripen, models open, and OxCaml releases26th Jul 2026
.plan-26-29: Perfect weather, imperfectly measured, precisely predicted19th Jul 2026
.plan-26-28: What fun papers piled up while I was out at sea12th Jul 2026
Language integrated LLMs as an OCaml function14th Jun 2026
.plan-26-24: Apparently a professor now; still debugging io_uring at midnight14th Jun 2026
.plan-26-22: From digital rewilding in Edinburgh to uring and Tessera hackery31st May 2026