Sadiq Jaffer
@sadiq.toao.com
📤 221
📥 45
📝 7
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
reposted by
Sadiq Jaffer
Anil Madhavapeddy
4 days ago
Not how I expected to make my
@arstechnica.com
debut but I'll take it
arstechnica.com/ai/2025/09/c...
loading . . .
Can AI detect hedgehogs from space? Maybe if you find brambles first.
Cambridge researchers use satellite-based bramble detection as a proxy for mapping hedgehog habitats.
https://arstechnica.com/ai/2025/09/can-ai-detect-hedgehogs-from-space-maybe-if-you-find-brambles-first/
1
7
1
Fun field trip today trying to validate a colleague's bramble detecting model:
toao.com/blog/can-we-...
with
@anil.recoil.org
loading . . .
Can a model trained on satellite data really find brambles on the ground? - Sadiq Jaffer
https://toao.com/blog/can-we-really-see-brambles-from-space
7 days ago
0
1
1
reposted by
Sadiq Jaffer
Anil Madhavapeddy
3 months ago
Some fun OCaml GC projects here with
@sadiq.toao.com
and
@kcsrk.info
if any students are looking for projects involving programming languages
toao.com/blog/ocaml-0...
loading . . .
Last three months in OCaml (July 2025) - Sadiq Jaffer
https://toao.com/blog/ocaml-0725
1
17
6
reposted by
Sadiq Jaffer
Anil Madhavapeddy
3 months ago
The most incredibly fun part of this Nature comment on evidence synthesis we published today is that the cartoonist (David Parkins) also did Beano and Dennis the Menace (!) A true legend.
www.nature.com/articles/d41...
add a skeleton here at some point
0
7
3
reposted by
Sadiq Jaffer
Cambridge Computer Science
3 months ago
The rapid rise in AI-generated fraudulent academic papers is "poisoning" scientific literature, say Cambridge researchers in Nature magazine today. But though AI is the problem, it could also help in ensuring the integrity of scientific discovery...
buff.ly/AuSNcGd
@anil.recoil.org
@sadiq.toao.com
0
3
3
reposted by
Sadiq Jaffer
Yaron Minsky
4 months ago
I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
5
107
42
reposted by
Sadiq Jaffer
Anil Madhavapeddy
5 months ago
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
loading . . .
Careful design of Large Language Model pipelines enables expert-level retrieval of evidence-based information from syntheses and databases
Wise use of evidence to support efficient conservation action is key to tackling biodiversity loss with limited time and resources. Evidence syntheses provide key recommendations for conservation deci...
https://doi.org/10.1371/journal.pone.0323563
1
9
4
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...
loading . . .
Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises - Sadiq Jaffer
https://toao.com/blog/ocaml-local-code-models
5 months ago
2
8
2
If you are using llama.cpp, here's a workaround using grammars for getting JSON structured output from Deepseek R1 and distills:
toao.com/blog/json-ou...
loading . . .
JSON output from Deepseek R1 and distills with llama.cpp - Sadiq Jaffer
https://toao.com/blog/json-output-from-deepseek-r1-and-distills-with-llamacpp
8 months ago
0
1
0
Part of our
@ai.cam.ac.uk
project on AI in Conservation was published in TREE today. We gathered conservation scientists and AI experts and looked at the key conservation areas AI could revolutionise:
www.cell.com/trends/ecolo...
loading . . .
The potential for AI to revolutionize conservation: a horizon scan
Artificial Intelligence (AI) is an emerging tool that could be leveraged to identify the effective conservation solutions demanded by the urgent biodiversity crisis. We present the results of our horizon scan of AI applications likely to significantly benefit biological conservation. An international panel of conservation scientists and AI experts identified 21 key ideas. These included species recognition to uncover 'dark diversity', multimodal models to improve biodiversity loss predictions, monitoring wildlife trade, and addressing human–wildlife conflict. We consider the potential negative impacts of AI adoption, such as AI colonialism and loss of essential conservation skills, and suggest how the conservation field might adapt to harness the benefits of AI while mitigating its risks.
https://www.cell.com/trends/ecology-evolution/fulltext/S0169-5347(24)00286-6
10 months ago
0
5
0
reposted by
Sadiq Jaffer
Neil Lawrence
10 months ago
Working to surface challenges faced by folks at the coal face. Data in research contributions from
@orbenamy.bsky.social
@sadiq.toao.com
@scotthosking.bsky.social
Stefan Scholtes, Vasco Carvalho, Mireia Crispin and a foreward with Jess Montgomery
@dianecoyle1859.bsky.social
@ginasue.bsky.social
add a skeleton here at some point
1
10
4
reposted by
Sadiq Jaffer
Anil Madhavapeddy
11 months ago
New preprint from our work on using LLMs to accelerate conservation evidence synthesis across millions of papers. We crosscheck 3 retrieval strategies against 10 LLMs and benchmark against human experts and find quite a bit of variance
https://www.researchsquare.com/article/rs-5409185/v1
0
5
1
you reached the end!!
feeds!
log in