[OCaml Planet] 🐫 Anil Madhavapeddy takes on the tedious task of implementing RFC-compliant libraries for punycode, public-suffix, and cookeio - straight from the specs! A fascinating look at automating standards implementation with proper traceability. https://anil.recoil.org/notes/aoah-2025-11
AoAH Day 11: HTTP Cookies and vibing RFCs for breakfast
Synthesizing three RFC-compliant libraries (punycode, public-suffix, and cookeio) directly from Internet RFC specifications, establishing a workflow for automating standards implementation with proper cross-referencing to spec sections.
anil.recoil.org
December 19, 2025 at 8:00 AM
[OCaml Planet] 🐫 Anil Madhavapeddy takes on the tedious task of implementing RFC-compliant libraries for punycode, public-suffix, and cookeio - straight from the specs! A fascinating look at automating standards implementation with proper traceability. https://anil.recoil.org/notes/aoah-2025-11
[OCaml Planet] 🐫 @avsm shows how to build a Text UI for Sortal using the new Mosaic TUI framework! See how a trivial library can transform into a beautiful interactive command-line app in just a few steps. Great example of practical OCaml tooling! https://anil.recoil.org/notes/aoah-2025-10
AoAH Day 10: Building a TUI for Sortal using Mosaic
Building a simpler single-process terminal UI for Sortal using Mosaic's effects-based direct-style API, with Eio integration and discovering multimodal image debugging for terminal layouts.
anil.recoil.org
December 18, 2025 at 10:00 AM
[OCaml Planet] 🐫 @avsm shows how to build a Text UI for Sortal using the new Mosaic TUI framework! See how a trivial library can transform into a beautiful interactive command-line app in just a few steps. Great example of practical OCaml tooling! https://anil.recoil.org/notes/aoah-2025-10
[OCaml Planet] 🐫 Anil Madhavapeddy vibe coded a Karakeep CLI in OCaml by giving an agent a real API key and letting it debug JSON codecs against the live service. https://anil.recoil.org/notes/aoah-2025-14
AoAH Day 14: Debugging a Karakeep CLI against the live service
Vibe coding an OCaml library for the Karakeep bookmarking service by giving an agent a live API key and letting it debug jsont codecs against the real service.
anil.recoil.org
December 18, 2025 at 8:00 AM
[OCaml Planet] 🐫 Anil Madhavapeddy vibe coded a Karakeep CLI in OCaml by giving an agent a real API key and letting it debug JSON codecs against the live service. https://anil.recoil.org/notes/aoah-2025-14
[OCaml Planet] 🐫 Neovim users rejoice! The new ocaml.nvim plugin from Tarides brings first-class LSP integration to OCaml development in Neovim.
December 17, 2025 at 10:00 AM
[OCaml Planet] 🐫 Neovim users rejoice! The new ocaml.nvim plugin from Tarides brings first-class LSP integration to OCaml development in Neovim.
[OCaml Planet] 🐫 Anil Madhavapeddy's new Advent post is super practical: connection pooling for Eio with DNS load balancing and error handling - AND visualization tools to understand your test results! Perfect for real-world OCaml networking. https://anil.recoil.org/notes/aoah-2025-12
AoAH Day 12: Eio Connection pooling and event tracing
Building a TCP/TLS connection pooling library for Eio with DNS-based load balancing, stacked error handling, and self-contained HTML visualisations for stress test results.
anil.recoil.org
December 17, 2025 at 8:00 AM
[OCaml Planet] 🐫 Anil Madhavapeddy's new Advent post is super practical: connection pooling for Eio with DNS load balancing and error handling - AND visualization tools to understand your test results! Perfect for real-world OCaml networking. https://anil.recoil.org/notes/aoah-2025-12
[OCaml Planet] 🐫 Anil Madhavapeddy had AI analyze 50 HTTP clients across 10 languages to design a better OCaml HTTP client! This is day 13 of his Advent of AI Hacking series. Fascinating approach to library design! https://anil.recoil.org/notes/aoah-2025-13
AoAH Day 13: Heckling an OCaml HTTP client from 50 implementations in 10 languages
Agentically synthesising a batteries-included OCaml HTTP client by gathering recommendations from fifty open-source implementations across JavaScript, Python, Java, Rust, Swift, Haskell, Go, C++, PHP and shell.
anil.recoil.org
December 16, 2025 at 10:00 AM
[OCaml Planet] 🐫 Anil Madhavapeddy had AI analyze 50 HTTP clients across 10 languages to design a better OCaml HTTP client! This is day 13 of his Advent of AI Hacking series. Fascinating approach to library design! https://anil.recoil.org/notes/aoah-2025-13
[OCaml Planet] 🐫 Check out Robur's new Mollymawk article about running multiple Albatross servers for MirageOS unikernels! Fascinating look at deployment strategies and infrastructure maintenance. https://blog.robur.coop/articles/mollymawk_meta.html
December 16, 2025 at 8:00 AM
[OCaml Planet] 🐫 Check out Robur's new Mollymawk article about running multiple Albatross servers for MirageOS unikernels! Fascinating look at deployment strategies and infrastructure maintenance. https://blog.robur.coop/articles/mollymawk_meta.html
[OCaml Planet] 🐫 Tired of messy .git-credentials files with personal authentication tokens just to access private repos in OCurrent? There's a cleaner way using GitHub apps! Check out this helpful guide for a more elegant solution: https://www.tunbury.org/2025/12/05/ocurrent-private-repos/
Private repos in OCurrent
OCurrent has long wanted to access private repositories. You can achieve this by embedding a scoped PAT in the .git-credentials file, typically within the Docker container; however, this is untidy, to say the least! The approach presented works in cases where a GitHub app is used.
www.tunbury.org
December 12, 2025 at 8:00 AM
[OCaml Planet] 🐫 Tired of messy .git-credentials files with personal authentication tokens just to access private repos in OCurrent? There's a cleaner way using GitHub apps! Check out this helpful guide for a more elegant solution: https://www.tunbury.org/2025/12/05/ocurrent-private-repos/
[OCaml Planet] The November OCaml Roundup is here! 🐫 Catch up on the latest from the OCaml community - new releases, projects, discussions and more. Check it out to stay in the loop with everything OCaml: https://patrick.sirref.org/ocaml-roundup-november-2025/
December 11, 2025 at 10:00 AM
[OCaml Planet] The November OCaml Roundup is here! 🐫 Catch up on the latest from the OCaml community - new releases, projects, discussions and more. Check it out to stay in the loop with everything OCaml: https://patrick.sirref.org/ocaml-roundup-november-2025/
[OCaml Planet] 🐫 Fresh OCaml Weekly News is out! Stay up-to-date with the latest developments in the OCaml ecosystem. What's happening this week in camel-land? Check it out: https://alan.petitepomme.net/cwn/2025.12.09.html
December 11, 2025 at 8:00 AM
[OCaml Planet] 🐫 Fresh OCaml Weekly News is out! Stay up-to-date with the latest developments in the OCaml ecosystem. What's happening this week in camel-land? Check it out: https://alan.petitepomme.net/cwn/2025.12.09.html
[OCaml Planet] Anil Madhavapeddy shares a workshop announcement on "Foundational AI for Ecosystem Resilience" - bringing together AI, formal methods, and systems researchers to explore securing critical open source infrastructure 🐫 https://anil.recoil.org/notes/foundational-ecosystem-workshop
Foundational AI for Ecosystem Resilience workshop
anil.recoil.org
December 5, 2025 at 12:43 PM
[OCaml Planet] Anil Madhavapeddy shares a workshop announcement on "Foundational AI for Ecosystem Resilience" - bringing together AI, formal methods, and systems researchers to explore securing critical open source infrastructure 🐫 https://anil.recoil.org/notes/foundational-ecosystem-workshop
[OCaml Planet] 🐫 ICFP 2025 has concluded, and it was the biggest FP conference yet! Tarides shares highlights from all the OCaml talks, workshops, and hallway conversations. Get the inside scoop from engineers who were there!
December 5, 2025 at 11:35 AM
[OCaml Planet] 🐫 ICFP 2025 has concluded, and it was the biggest FP conference yet! Tarides shares highlights from all the OCaml talks, workshops, and hallway conversations. Get the inside scoop from engineers who were there!
