A bit of a bitty week. I wrote a post on an an old SVG I made which got some attention on Hacker News, which was fun.
I also did some more work on the Dune/Odoc rules. This will be a PR Real Soon Now, I promise! I've been writing up my thoughts on this for a blog post, which I'll post alongside the PR. I've shared the draft with a few people and also shared the github branch for some early feedback.
In doing the Dune work I discovered a silly mistake in odoc's handling of remapping of URLs - it doesn't work with pages, only modules! Claude made quick work of the fix though, and there's a PR fixing that now.
I also had a couple of good chats - first with Patrick Ferris, who's been working on a whole lot of interesting things. The most relevant to me is that he's been working on getting Sadiq's PROPL'25 talk "Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings" implemented in OCaml. I'd quite like to see that happen - and then perhaps even get it working in the browser? Patrick's got a lot of it done, but not quite tied together, so I may have a stab at that over Christmas.
The other good chat I had was with Arthur Wendling who's starting to work on some Odoc stuff now - in particular he'll be looking at getting the OxCaml version of Odoc able to document some of the new features in OxCaml. He's been working on the Parameterlized Libraries feature, which is essentially a extension of functors - so I think the first thing he'll have to work on is the bug in functor expansion. It'll be great to have another person up to speed on Odoc internals!
In the next week - the last week before my Christmas break - I'll be getting that Dune/Odoc PR out of the door, and then I'll take a look at what's needed to complete Patrick's implementation of Sadiq's talk. Oh, and do some more work on the Odoc paper too, of course!