Anil Madhavapeddy
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
- 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...
- Reposted by Anil Madhavapeddy[Not loaded yet]
- Reposted by Anil MadhavapeddyJust 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... 🌍
- Amid the hype about AI’s potential to turbocharge human abilities, researchers like Sam Reynolds, Chris Sandbrook and @sadiq.toao.com at @conservation.cam.ac.uk are leading conversations to make sure we advance with eyes wide open. Read www.cam.ac.uk/stories/ai-f...
- 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...
- Reposted by Anil Madhavapeddy[Not loaded yet]
- hazel of ocaml of hazel of ocaml of hazel of ocaml of hazel is my programming language of choice now @neurocy.bsky.social
- Reposted by Anil Madhavapeddy[Not loaded yet]
- 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
- Am at the @ai.cam.ac.uk day today at the @conservation.cam.ac.uk institute to talk about all the environmental work ongoing!
- Gosh, I wouldn't want to be in the position of choosing between these five shortlisted projects. All ambitious, impactful, and promoting societal equity across very different problem domains.
- Reposted by Anil Madhavapeddyi've created a custom feed with @graze.social now! bsky.app/profile/did:... which just tracks all posts by the @tanglifications.zio.blue account. (the notification bot seems to be down or lagging at the moment however)
- This @tangled.sh to Bluesky notification bridge is great, thanks @zio.sh! Is there any way to make a custom feed just for Tangled notifications so I can also 'context switch' to code notifications?
- "Technology needs to unite conservation, not divide it". My thoughts on our letter published today in Trends in Ecology & Evolution, and what we need to be doing as (hopefully) responsible technologists in a world increasingly focused on AI 🌍. anil.recoil.org/notes/ai-sho...
- You can now use the ATproto records from @tangled.sh Git repos to also setup users on any SSH endpoint; www.tunbury.org/bluesky-ssh-... by @mtelvers.tunbury.org. Another example of how powerful the ATproto network effort could be around similar apps reusing the social graph.
- We've been having a "return to our blogging roots" to seize our attention economy back recently, and @jon.recoil.org might have catapulted to the lead with his "interactive OCaml notebook blog". Just needs wasm to make it full rube goldberg jon.recoil.org/blog/2025/04...
- The lights are about to go out for good at chez Madhavapeddy. Thanks for nothing, dynamic typing
- mdales excitingly continues @patrick.sirref.org's work to make OCaml geospatial practical! github.com/geocaml/ocam...
- The Sistine chapel ceiling plan is going well; the plants just connected while I was away last week!!
