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

YouTube video by Veritasium How One Company Secretly Poisoned The Planet

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

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

Add LZW compression read and improve BIGTIFF support by mdales · Pull Request #10 · geocaml/ocaml-tiff This PR adds the following: Fixes issues with loading BIGTIFF files for 64 bit inline entries Adds a simple/naive LZW decode implementation Adds some more sample data Adds some unit tests

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 🐓

GitHub - RyanGibb/caledonia: Command-line Calendar Client Command-line Calendar Client. Contribute to RyanGibb/caledonia development by creating an account on GitHub.

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

Yes, this has failed horribly. Apparently it's harder to create did:web's than I thought. Staying here for now!

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

Looks like Baïkal does! sabre.io/dav/scheduli...

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