A good point. Was being generated but not linked anywhere. Fixed now. Thanks!
16.07.2025 13:17 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0@sadiq.toao.com
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
A good point. Was being generated but not linked anywhere. Fixed now. Thanks!
16.07.2025 13:17 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Some 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...
15.07.2025 10:04 โ ๐ 16 ๐ 6 ๐ฌ 1 ๐ 0The 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...
08.07.2025 11:55 โ ๐ 7 ๐ 3 ๐ฌ 0 ๐ 0The 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
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.
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
16.05.2025 16:47 โ ๐ 9 ๐ 4 ๐ฌ 1 ๐ 0One thing I probably should highlight more in the post is that the proprietary models (like Claude and Gemini) that most students currently have access to can already ace the assignments.
07.05.2025 16:53 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0This is a thorny question and mostly comes down to what we're trying to teach. I wonder if a progressive approach where at early stages of teaching there is no automatic tooling but as critical skills are learnt more can be automated. It's a bit of a moving target at the moment though.
07.05.2025 16:51 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Just 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...
07.05.2025 14:23 โ ๐ 8 ๐ 2 ๐ฌ 2 ๐ 0If 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...
30.01.2025 18:39 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Part 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...
18.12.2024 17:14 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0Working 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
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
16.11.2024 10:42 โ ๐ 5 ๐ 1 ๐ฌ 0 ๐ 0