About 22 results
https://mathewlowry.leaflet.pub/3moaukp6iu22e · 14 Jun 2026
Two types of Atmosphere toolkit are needed if ATScience is to help scientists do science and better communicate it to other audiences: one serving the researchers and their teams, the other focused on aggregation and synthesis.
https://makingpublicwork.com/3mlkawmzzfc2b · 11 May 2026
How technology enablement facilitates burdens
https://anil.recoil.org/notes/opam-ai-disclosure · 3 Apr 2026
Proposing a voluntary, machine-readable AI content disclosure scheme for OCaml spanning opam packages, dune, and per-module attributes, aligned with the W3C AI Content Disclosure vocabulary.
https://anil.recoil.org/notes/2026w13 · 29 Mar 2026 · 🦋 Bluesky
Publishing the OxCaml Labs year-one review, POSSE and AI content disclosure for the web, adopting the geo-embeddings Zarr convention for TESSERA, action PROPL at PLDI, the death of the grant application, and NASA's new swathe lidar mission.
https://anil.recoil.org/notes/2026w11 · 15 Mar 2026 · 🦋 Bluesky
Evidence synthesis at the DEFRA science conference, TESSERA transcoding and building a new SPA, OpenStreetMap/DuckDB bindings in OxCaml, and early thoughts on vibecoding etiquette.
https://anil.recoil.org/notes/nas-rs-biodiversity-papers · 7 Mar 2026 · 🦋 Bluesky
Summary of the Nine Recommendations and Biodiversity Monitoring Standards Framework papers from the NAS/Royal Society US-UK Forum in summer 2025, and how they connect to my work on collective knowledge systems, TESSERA, and evidence synthesis.
https://nesbitt.io/2026/02/25/two-kinds-of-attestation.html · 25 Feb 2026
The oldest problem in computer science, but with toasters.
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.
https://anil.recoil.org/notes/india-ai-summit · 22 Feb 2026 · 🦋 Bluesky
Trip report from the Indian AI Impact Summit in New Delhi, covering the massive expo, a conversation with Yann LeCun, a hackathon/talk at IIT-Delhi, networking at the British High Commission, and reflections on the summit declaration's shift from safety to...
https://anil.recoil.org/notes/life-uses-paper · 12 Jan 2026 · 🦋 Bluesky
Our new paper in Biological Conservation demonstrates how the LIFE extinction risk metric can be applied across five diverse case studies, from real-time tropical deforestation monitoring to evaluating conservation project effectiveness.