"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today arxiv.org/pdf/2602.18602 lead by @ryan.freumh.org

🐫 Hey !
YOCaml 3.0 is out !

discuss.ocaml.org/t/ann-yocaml...

#ocaml #outreachy #ssg

Watching @ryan.freumh.org give his unified formal calculus talk for package management to an overflowing room at #fosdem! Livestream stream.fosdem.org/k3201.m3u8 and preprint at arxiv.org/pdf/2506.10803 amok.recoil.org/system/media... amok.recoil.org/system/media...

@patrick.sirref.org and I are here!

AoAH Day 23: Unpac unifies git branching with package management Introducing unpac, a tool that unifies git and package management into a single workflow where all code dependencies live in one repository as trackable branches.

I've built "unpac" today to make it possible to vendor _all_ OCaml package dependencies in a single git repo, using 100s of orphan branches and git worktrees. This makes agentic programming way more reliable as the agent has access to all the OCaml/OxCaml code. anil.recoil.org/notes/aoah-2...

Developing something entirely from vibe code and then looking to polish it has been both a blessing and a curse.

I had no original understanding for how it should work or how to do it, so having something tangibly working has provided the encouragement to get into it and work on it

One thing that I immediately love is the watch / server mode -- it's super _snappy_ compared to my Hakyll build times (over a minute even when hot!) which are admittedly probably due to my sloppy Haskell

I hacked up a prototype using mldoc to do org -> HTML, but the HTML syntax is pretty specific to the logseq outliner format. I had better luck just creating tempfiles and execing pandoc to convert between formats! Not as performant I'm sure, but it's probably fine for a ssg.

A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...

Do you mean, do I use any functionality of org mode other than the markup syntax for rendering?

If so, no not really. Though I do use org-export-headline-levels (orgmode.org/org.html#ind...) as a header argument to render ryan.freumh.org/logs.html in an outliner format (nested lists).

No pressure! I can try and hack something together when I return as well

GitHub - logseq/mldoc: Another Emacs Org-mode and Markdown parser. Another Emacs Org-mode and Markdown parser. Contribute to logseq/mldoc development by creating an account on GitHub.

I'm aware of github.com/logseq/mldoc but I haven't used it yet. Currently I'm using pandoc with Hakyll: ryan.freumh.org/how-this-sit...

Hi Xavier! Is it possible to use YOCaml with org files? Thanks :-)

@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25

Dark-terminal screenshot showing the command caled search --type todo -c Freumh -S summary:desc and the Caledonia to-do list for the CalDAV account “Freumh” in four columns — account name, completion box ([ ] or [x]), task summary, and UUID. Displays a mix of pending and completed items; “Shopping list” has indented sub-items “Myrrh”, “Gold” and “Frankincense”. Other visible entries include “Setting up GrapheneOS”, “Syncthing vault” (completed) and completed items such as “Orgzly”, “Nix”, “Ledger”, “Email”, “CalDAV” and “Banking”.

Just added support for To-Dos, journals, and calendar colouring to my CalDAV client! github.com/RyanGibb/cal...

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-...

A squirrel stands upright on its hind legs with its front paws tucked close to its chest near the base of a large tree.

> 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

How One Company Secretly Poisoned The Planet YouTube video by Veritasium

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

Summary: j0shmillar's availability in the Computer Lab Start: 2025-05-09 Fri 13:00 End: 2025-05-09 Fri 17:00 Location: Computer Lab Description: j0shmillar mentioned they would be around after lunch until 5ish Participants: j0shmillar File: /home/ryan/calendar/computer-lab/0ea73f94-a675-5087-52b0-679f7c4802c5/3e3fe4b0-45a0-4124-a73c-0358d3a4d37e.ics

Interacting with this via the LLM is a pretty bad UI so I've hooked it up to a CalDAV server. "I'll be around after lunch until 5ish!" from @jdmillar.bsky.social gets added to the calendar as displayed by github.com/RyanGibb/cal...

NVIDIA L4 Tensor Core GPU Optimize AI and graphics to accelerate workloads.

So the GPU is an L4 with 24GB VRAM www.nvidia.com/en-gb/data-c...

I've tried a few; mistral [0] seems to be work well enough for this use case and only takes up 4.1GB, but qwen3:32b looks to be the best [1] that fits in this GPU.

[0]: ollama.com/library/mist...
[0]: toao.com/blog/ocaml-l...

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...

This sounds a bit like my project on universal dependency solving! ryan.freumh.org/enki.html

It also aims to integrate between language ecosystems which have varying degrees of expressivity (e.g. opam has Boolean algebra and Cargo has features) which we encode in the PubGrub algorithm.

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