Reposted by Jon LudlamYaron Minsky @yminsky.bsky.social · 13/06/2025I'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. 510840
Reposted by Jon LudlamAnil Madhavapeddy @anil.recoil.org · 07/05/2025Tests 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...toao.comQwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises - Sadiq Jaffer 072
Jon Ludlam @jon.recoil.org · 08/03/2025Phew, long day! “Conference on Everything” at @churchillcol.bsky.social followed by Swan Lake performed by CUBC! 000
