corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08c56-a2d1-73b8-a191-3dadebb45381

Last three months in OCaml (July 2025)

toao.com · published 15 July 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at toao.com Wayback capture
1blogs citing
First cited
18 Jul 2025
Most recent
18 Jul 2025
Rank this month
not ranked
Links from this post
25
Words captured
1,074

Cited by

Blog
In the post
Date
anil.recoil.org
Cresting the OCaml AI humps Read at the source ↗
18 Jul 2025

Links from this post

Link
Host
https://www.tarides.com
tarides.com
https://jon.recoil.org/
jon.recoil.org
https://anil.recoil.org/
anil.recoil.org
https://www.cl.cam.ac.uk/~avsm2/2025-ocaml-ai-draft1.pdf
cl.cam.ac.uk
https://www.cl.cam.ac.uk/teaching/2425/FoundsCS/
cl.cam.ac.uk
Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises Read at the source ↗
toao.com
Devstral Read at the source ↗
mistral.ai
Upgrading agentic coding capabilities with the new Devstral models Read at the source ↗
mistral.ai
A dataset of OCaml's Opam Read at the source ↗
toao.com
https://arxiv.org/abs/2504.14757
arxiv.org
https://modelcontextprotocol.io/introduction
modelcontextprotocol.io
https://github.com/sadiqj/odoc-llm
github.com
https://github.com/sadiqj/check-with-gemini
github.com
https://github.com/ocaml/ocaml/pull/13616
github.com
https://janmidtgaard.dk/
janmidtgaard.dk
https://github.com/ocaml/ocaml/issues/13739
github.com
https://gallium.inria.fr/~scherer/
gallium.inria.fr
https://github.com/ocaml/ocaml/pull/14025
github.com
https://github.com/ocaml/ocaml/blob/trunk/runtime/shared_heap.c
github.com
https://github.com/oxcaml/oxcaml/blob/main/runtime/shared_heap.c
github.com
https://github.com/ocaml/ocaml/pull/14035
github.com
https://github.com/ocaml/ocaml/pull/13970
github.com
https://github.com/ocaml/ocaml/pull/13785
github.com
https://kcsrk.info/
kcsrk.info
https://docs.kernel.org/scheduler/sched-ext.html
docs.kernel.org