Record · corpus.blog/posts/01a0872a-c4a1-705f-83fb-933e11d15d1d

Cresting the OCaml AI humps

anil.recoil.org · published 18 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 anil.recoil.org Wayback capture

1blogs citing

First cited: 20 Aug 2025
Most recent: 20 Aug 2025
Rank this month: not ranked
Links from this post: 25
Words captured: 297

Cited by

Blog

In the post

Date

jon.recoil.org

An OCaml MCP server Read at the source ↗

20 Aug 2025

Links from this post

Link

Host

https://toao.com

toao.com

Last three months in OCaml (July 2025) Read at the source ↗

toao.com

https://jon.recoil.org

jon.recoil.org

Week 28 Read at the source ↗

jon.recoil.org

https://ryan.freumh.org

ryan.freumh.org

https://ryan.freumh.org/enki.html

ryan.freumh.org

https://www.cl.cam.ac.uk/~avsm2/2025-ocaml-ai-draft1.pdf

cl.cam.ac.uk

Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises Read at the source ↗

toao.com

https://www.cl.cam.ac.uk/teaching/2425/FoundsCS/

cl.cam.ac.uk

https://academic.mseri.me/

academic.mseri.me

https://tangled.sh/@anil.recoil.org/ocaml-mcp

tangled.sh

https://github.com/tmattio

github.com

https://discuss.ocaml.org/t/announcing-raven-scientific-computing-for-ocaml-alpha-release/16913

discuss.ocaml.org

https://discuss.ocaml.org/t/building-ocaml-mcp-what-features-would-you-want/16914

discuss.ocaml.org

https://github.com/samoht

github.com

https://github.com/samoht/merlint

github.com

https://github.com/samoht/merlint/issues

github.com

A dataset of OCaml's Opam Read at the source ↗

toao.com

https://discuss.ocaml.org/t/new-odoc-3-generated-package-documentation-is-live-on-ocaml-org/16967

discuss.ocaml.org

https://github.com/davesnx

github.com

https://github.com/ocaml/odoc/pull/1341

github.com

https://arxiv.org/abs/2505.24760

arxiv.org

https://discuss.ocaml.org

discuss.ocaml.org

https://doi.org/10.59350/aecmt-k3h39

doi.org

https://doi.org/10.48550/arXiv.2505.24760

doi.org