Profile avatar
anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
372 posts 1,255 followers 413 following
Regular Contributor
Active Commenter

We became Junior Rangers at Shenandoah last weekend! Learning about the wonderful US National Park service with @juliajones.bsky.social, EJ and @billsutherland.bsky.social anil.recoil.org/notes/junior...

Much enjoyed discussing how AI is transforming evidence synthesis and conservation ecology with the wonderful Anil Madhavapeddy. youtu.be/anM8GVxa3Lo?...

For my 100th Conservation Concept video I returned to Cley, and reflect on my history, my philosophy and how I wish to make a difference. Thanks to all for all the support. Am delighted by the interest. youtube.com/watch?v=KtWp...

My learnings from attending the recent @nationalacademies.org and @royalsociety.org scientific meeting on measuring global biodiversity anil.recoil.org/notes/nas-rs... 🧪🌍

Sent my first newsletter, written on the train to Paris... like and subscribe buttondown.com/justincormac...

New paper out today on how the careful design of LLMs is crucial for expert-level evidence retrieval in conservation (but with implications for any evidence synthesis pipeline across other fields) 🌍 doi.org/10.1371/jour... and anil.recoil.org/news/2024-ce... for a summary

NEW from me: China's CO2 emissions fell ~1.6% in the first quarter and have now been flat or down for more than a year. This is the first time on record that emissions are falling due to clean energy growth, not slow power demand.

Some notes from reading the latest Cambridge environmental action progress reports. Some good stuff, some bad stuff, some uncertain stuff, but interesting reading all around with top points for transparency! 🌍 anil.recoil.org/notes/cambri...

A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.

Just how good are locally hostable code models on Cambridge first year OCaml assignments? @anil.recoil.org , @jon.recoil.org and I wanted to find out, so ran some tests. TL;DR Qwen3 means we might need new assignments. toao.com/blog/ocaml-l...

Real Vernor Vinge vibes from this paper that learns to code from scratch via RL "Furthermore, in a hypothetical future where AI surpasses human intelligence, tasks provided by humans may offer limited learning potential for a superintelligent system." arxiv.org/abs/2505.03335 /via @sadiq.toao.com

Tests by @sadiq.toao.com and @jon.recoil.org with Qwen3 show it's a monster local LLM model that outperforms on our @cst.cam.ac.uk OCaml Tripos exercises. I wouldn't say I'm panicking, but there are small beads of sweat forming on my brow as I ponder future exam strategies toao.com/blog/ocaml-l...

Some of our recent conversations on being pragmatic about the conservation/AI hypecycle anil.recoil.org/notes/humans... 🌍

Oooh, MirageOS+unikraft PR has appeared from @tarides.com, which should allow much easier deployment of OCaml code to the @unikraft.cloud ! github.com/ocaml/opam-r...

A lovely thread about some of the capabilities of Portia spiders (the genus including the species used in Children of TIme).

hazel of ocaml of hazel of ocaml of hazel of ocaml of hazel is my programming language of choice now @neurocy.bsky.social

The next release of OCaml's package manager, opam, will have support for dependency management with Nix! ryan.freumh.org/opam-nix.html #nix #ocaml

I did breath a sigh of relief when BIOMASS was inserted into orbit successfully a few days ago. The first p-band SAR instrument is live in space now! 🌍 anil.recoil.org/notes/biomas...

Cambridge alumni, past and present: don't forget to register online by 5pm tomorrow UK time to be able to vote for the new Chancellor of the University! www.cam.ac.uk/about-the-un... First time in the long history of the University that remote voting is allowed