About 39 results
https://anil.recoil.org/notes/aoah-2025-11 · 10 Dec 2025
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.
https://anil.recoil.org/notes/aoah-2025-9 · 9 Dec 2025
Experimenting with OxCaml's bonsai_term framework for Sortal's terminal UI, navigating Eio-Async interoperability challenges through JSON-RPC while discovering image-based debugging techniques for terminal applications.
https://anil.recoil.org/notes/aoah-2025-8 · 8 Dec 2025
Creating Sortal, a CLI contacts management application using Yaml storage, XDG directories, Git-based synchronization, and integrating all previously built libraries into a cohesive CLI tool.
https://anil.recoil.org/notes/aoah-2025-7 · 7 Dec 2025
Building yamlt to enable jsont codec definitions to work with both JSON and Yaml, providing data manipulation with location tracking and good error messages for both formats.
https://anil.recoil.org/notes/aoah-2025-6 · 6 Dec 2025
Implementing a pure OCaml Yaml 1.2 parser using bytesrw by synthesizing from the specification and existing C library behavior, passing thousands of test suite cases while being 20% faster than the C-based implementation.
https://anil.recoil.org/notes/aoah-2025-5 · 5 Dec 2025
Building Bytesrw-Eio adapters for composable byte stream I/O while discovering Claude Skills as a powerful way to automate opam package metadata management through reusable workflow templates.
https://anil.recoil.org/notes/aoah-2025-4 · 4 Dec 2025
Creating OCaml bindings for the Claude API using Eio and jsont codecs by reverse-engineering the JSON-RPC protocol from Python and Go SDKs, enabling Claude to write more Claude-powered OCaml code.
https://anil.recoil.org/notes/aoah-2025-3 · 3 Dec 2025
Building an XDG Base Directory Specification library with Eio capabilities and Cmdliner integration, providing sandboxed filesystem access patterns with full environment variable and CLI override support.
https://anil.recoil.org/notes/aoah-2025-2 · 2 Dec 2025
Implementing a JSONFeed specification library using jsont codecs, discovering how Claude can automate the construction of complex combinators from prose specifications with excellent error messages.
https://anil.recoil.org/notes/aoah-2025-1 · 1 Dec 2025
Building a Base32 Crockford encoding library in OCaml using Claude Code, establishing the development workflow with sandboxed Docker containers and local development environments.