A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...

> Computer Science PhD students are quiet little animals -- @patrick.sirref.org, 1 Aug 2025

end user apps as programs

Software development tools

I'm happy to be involved in 'Steps towards an Ecology for the Internet' [0], in the decennial Aarhus conference [1]. In this paper, we argue that the Internet needs an ecology: a way to manage risk, support diversity, and enable resilience at scale. [0] arxiv.org/abs/2506.064... [1] aarhus2025.org

I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

I've been experimenting with OCaml and eBPF to build an "opentrace" tool for monitoring which files your program reads and writes. patrick.sirref.org/open-trace

Quite splendid piece of science journalism youtu.be/SC2eSujzrUY?...

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

This afternoon was spent #vibecoding a Matrix bot to listen in on our computer lab occupancy channel and reply to queries with a local Ollama hosted LLM on one of our GPU machines. Of questionable utility, but kind of neat.

Our journey through atproto continues with tangled.sh a social coding platform by @oppi.li and @icyphox.sh creators.spotify.com/pod/show/dev... www.youtube.com/watch?v=7kHJ...

I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun! patrick.sirref.org/hazel-of-ocaml

The next release of OCaml's package manager, opam, will have support for dependency management with Nix! ryan.freumh.org/opam-nix.html #nix #ocaml

mdales excitingly continues @patrick.sirref.org's work to make OCaml geospatial practical! github.com/geocaml/ocam...

I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓

I've written a command line-calendar client for vdir [0]: (the calendar maildir [0]): github.com/RyanGibb/cal... [0] pimutils.org/specas/vdir/ [1] en.wikipedia.org/wiki/Maildir

In the process of migrating to a web:did [0] and self hosting a PDS server with the fancy new NixOS module! Find me at bsky.app/profile/ryan... (I hope). [0] w3c-ccg.github.io/did-method-w...

Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?

Made a Matrix-Bluesky chat bridge github.com/mautrix/blue...

After some prodding from @ryan.freumh.org, I've been switching from my ancient nvi to neovim, and what an incredible combination it is with Ghostty! Low latency, easy to extend, distraction-free. Next step: get these OCaml bindings working... github.com/janestreet/v...