Reposted
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...
January 31, 2026 at 11:16 AM
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...
Reposted
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...
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.
anil.recoil.org
December 24, 2025 at 9:34 PM
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...
Reposted
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
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
December 20, 2025 at 1:05 AM
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
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
Reposted
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
hazoo
patricoferris.github.io
November 11, 2025 at 4:11 PM
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
Reposted
@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25
October 13, 2025 at 8:34 AM
@ryan.freumh.org discussing spatial programming: how can we program actions based on physical actions? Enter bigraphs! #icfpslash25
Just added support for To-Dos, journals, and calendar colouring to my CalDAV client! github.com/RyanGibb/cal...
![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”.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:3lfhu6ehlynzjgehef6alnvg/bafkreiejnsjfkdoymagepa3a55nwnh6jyp6r6hoxe6vth5t764bou5xb4u@jpeg)
October 4, 2025 at 11:33 AM
Just added support for To-Dos, journals, and calendar colouring to my CalDAV client! github.com/RyanGibb/cal...
Reposted
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-...
Outreachy Mentors Wanted
I have submitted two projects for this round: Create an OxCaml backend for Raven Create a monitoring dashboard for Raven For 1., the title is descriptive enough: the goal is to implement a new OxCa...
discuss.ocaml.org
September 26, 2025 at 12:36 PM
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-...
August 1, 2025 at 9:04 AM
Reposted
end user apps as programs
July 10, 2025 at 10:00 PM
end user apps as programs
Reposted
Software development tools
March 1, 2025 at 1:44 PM
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
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
LinkedIn
This link will take you to a page that’s not on LinkedIn
lnkd.in
June 13, 2025 at 6:05 PM
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
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
Reposted
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
Reposted
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
patrick.sirref.org/open-trace
patrick.sirref.org
June 4, 2025 at 1:10 PM
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
patrick.sirref.org/open-trace
Reposted
How One Company Secretly Poisoned The Planet
YouTube video by Veritasium
youtu.be
May 22, 2025 at 9:35 PM
Reposted
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
Try OxCaml
An OCaml toplevel supporting Janestreet's Modes
patrick.sirref.org
May 9, 2025 at 1:58 PM
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.
May 8, 2025 at 2:46 PM
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.
Reposted
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...
creators.spotify.com/pod/show/dev...
www.youtube.com/watch?v=7kHJ...
May 5, 2025 at 3:04 PM
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...
creators.spotify.com/pod/show/dev...
www.youtube.com/watch?v=7kHJ...
Reposted
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
patrick.sirref.org/hazel-of-ocaml
patrick.sirref.org
May 4, 2025 at 12:37 PM
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
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
Opam's Nix system dependency mechanism
Ryan Gibb
ryan.freumh.org
May 2, 2025 at 11:51 AM
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
Reposted
mdales excitingly continues @patrick.sirref.org's work to make OCaml geospatial practical! github.com/geocaml/ocam...
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
github.com
April 24, 2025 at 5:26 PM
mdales excitingly continues @patrick.sirref.org's work to make OCaml geospatial practical! github.com/geocaml/ocam...
Reposted
I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓
Sherlorocq
sherlorocq.sirref.org
April 22, 2025 at 5:55 AM
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
[0] pimutils.org/specas/vdir/
[1] en.wikipedia.org/wiki/Maildir
GitHub - RyanGibb/caledonia: Command-line Calendar Client
Command-line Calendar Client. Contribute to RyanGibb/caledonia development by creating an account on GitHub.
github.com
April 3, 2025 at 2:13 PM
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
[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...
[0] w3c-ccg.github.io/did-method-w...
did:web Method Specification
w3c-ccg.github.io
April 1, 2025 at 1:48 PM
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...
[0] w3c-ccg.github.io/did-method-w...
Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?
March 27, 2025 at 9:23 AM
Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?
