Jon Ludlam
@jon.recoil.org
Reposted by Jon Ludlam
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
Reposted by Jon Ludlam
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...
Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises
- Sadiq Jaffer
toao.com
May 7, 2025 at 12:36 PM
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...
Phew, long day! “Conference on Everything” at @churchillcol.bsky.social followed by Swan Lake performed by CUBC!
March 8, 2025 at 10:59 PM
Phew, long day! “Conference on Everything” at @churchillcol.bsky.social followed by Swan Lake performed by CUBC!
A magnificent Allegro in the morning
January 30, 2025 at 11:49 AM
A magnificent Allegro in the morning