About 1 results
https://anil.recoil.org/notes/2026w8 · 22 Feb 2026 · 🦋 Bluesky
TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.