About 39 results
https://anil.recoil.org/notes/aoah-2025 · 1 Dec 2025
An exploration of agentic programming through building useful OCaml libraries daily using Claude Code while establishing groundrules for responsible development.
https://anil.recoil.org/notes/icfp25-what-i-learnt · 9 Oct 2025
Highlights from ICFP/SPLASH 2025 including Hazel live programming, OCaml AI tooling, formally verified GC, and cross-community discussions between Haskell and OCaml.
https://anil.recoil.org/notes/icfp25-post-posix · 8 Oct 2025
VMIL keynote arguing for post-POSIX shared memory interfaces like io_uring in language runtimes for high-performance concurrent computing.
https://anil.recoil.org/notes/icfp25-ocaml5-js-docker · 7 Oct 2025
Jane Street's production deployment of OCaml 5 and Docker's migration to direct-style programming with Eio presented at ICFP.
https://anil.recoil.org/notes/icfp25-oxcaml · 6 Oct 2025
Tutorial at ICFP 2025 on OxCaml extensions for performance engineering with modes and locals.
https://anil.recoil.org/notes/tangled-and-ci · 17 Aug 2025
The Tangled git forge has recently gained support for CI, stacked pull requests and also the Dune build system can generate Tangled metadata easily now for OCaml packages hosted there.
https://anil.recoil.org/notes/cresting-the-ocaml-ai-hump · 18 Jul 2025
Community efforts to improve agentic coding experience for OCaml including MCP libraries, opam embeddings, and tooling improvements.
https://anil.recoil.org/notes/wasm-on-exotic-targets · 16 Apr 2025
Survey of WebAssembly implementations on non-traditional targets including native Linux port, kernel-mode runtime, POSIX browser support and FPGA ports.
https://anil.recoil.org/notes/unikernels-test-of-time · 12 Apr 2025
2013 MirageOS unikernels paper wins ASPLOS influential paper award with reflections on the journey from rejection to recognition.