ryan
@ryan.mastodon.freumh.org.ap.brid.gy
[bridged from https://mastodon.freumh.org/@ryan on the fediverse by https://fed.brid.gy/ ]
Reposted by ryan
Watching @ryan give his unified formal calculus talk to an overflowing room at #fosdem! Livestream https://stream.fosdem.org/k3201.m3u8
January 31, 2026 at 11:13 AM
Watching @ryan give his unified formal calculus talk to an overflowing room at #fosdem! Livestream https://stream.fosdem.org/k3201.m3u8
Reposted by ryan
congratulations to David Allsopp on having the first of his mega relocatable OCaml compiler patches merged! https://github.com/ocaml/ocaml/pull/14243. This is part of a series that'll make binary distributions of O(x)Caml compiler variants so much easier […]
Original post on amok.recoil.org
amok.recoil.org
November 29, 2025 at 10:31 AM
congratulations to David Allsopp on having the first of his mega relocatable OCaml compiler patches merged! https://github.com/ocaml/ocaml/pull/14243. This is part of a series that'll make binary distributions of O(x)Caml compiler variants so much easier […]
Just added support for to-dos, journals, and calendar colouring to my CalDAV client! https://github.com/RyanGibb/caledonia
![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:m7x7egfav2y7cqldvtxiujr7/bafkreie4ij6muptk2ctlzhvq4yfxzlwph4tqdp7zorybn7fcw5gofc2ja4@jpeg)
October 4, 2025 at 11:33 AM
Just added support for to-dos, journals, and calendar colouring to my CalDAV client! https://github.com/RyanGibb/caledonia
The next release of OCaml's package manager, Opam, will have support for dependency management with Nix! https://ryan.freumh.org/opam-nix.html
Opam's Nix system dependency mechanism
ryan.freumh.org
May 2, 2025 at 2:38 PM
The next release of OCaml's package manager, Opam, will have support for dependency management with Nix! https://ryan.freumh.org/opam-nix.html
I've written a command line calendar client for vdir 0]: (the calendar maildir [0]): [https://github.com/RyanGibb/caledonia
0] [https://pimutils.org/specs/vdir/
1] [https://en.wikipedia.org/wiki/Maildir
0] [https://pimutils.org/specs/vdir/
1] [https://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:21 PM
I've written a command line calendar client for vdir 0]: (the calendar maildir [0]): [https://github.com/RyanGibb/caledonia
0] [https://pimutils.org/specs/vdir/
1] [https://en.wikipedia.org/wiki/Maildir
0] [https://pimutils.org/specs/vdir/
1] [https://en.wikipedia.org/wiki/Maildir
Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?
March 27, 2025 at 9:34 AM
Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?
March 25, 2025 at 7:31 PM
Reposted by ryan
I remembered from this thread that I use nix not because I really like it but because configuring servers without a declarative system always stresses me out and I guess right now I'm willing to give up a lot of nice things I like (like "being able to understand error messages”) to get a […]
Original post on social.jvns.ca
social.jvns.ca
March 9, 2025 at 1:31 PM
I remembered from this thread that I use nix not because I really like it but because configuring servers without a declarative system always stresses me out and I guess right now I'm willing to give up a lot of nice things I like (like "being able to understand error messages”) to get a […]
I've diverged from writing OCaml into Rust and Haskell recently, and it's shocking how easy the Rust ecosystem is to use, and how hard the Haskell ecosystem is to use. I'm thinking about things like compiler error messages, build systems and package managers, and LSP servers.
January 28, 2025 at 6:28 PM
I've diverged from writing OCaml into Rust and Haskell recently, and it's shocking how easy the Rust ecosystem is to use, and how hard the Haskell ecosystem is to use. I'm thinking about things like compiler error messages, build systems and package managers, and LSP servers.