corpus.blog
41554 blogs · [ { "id": "01a087d9-90a9-7148-bec8-5e34c77c371b", "title": "Dependency Resolution via Natural Join", "url": "https://ryan.freumh.org/dependency-resolution-natural-join.html", "published_at": "2026-09-02T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c7cfc0bd", "title": "The Package Calculus", "url": "https://ryan.freumh.org/package-calculus.html", "published_at": "2026-09-02T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c7fe7704", "title": "Package Managers à la Carte", "url": "https://ryan.freumh.org/papers/2026-package-calculus.html", "published_at": "2026-08-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c846f47f", "title": "Package Managers à la Carte: A Formal Model of Dependency Resolution", "url": "https://ryan.freumh.org/talks/2026-icfp-package-calculus.html", "published_at": "2026-08-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c8cea1d6", "title": "Opam’s Nix system dependency mechanism", "url": "https://ryan.freumh.org/talks/2026-ocaml-meetup-opam-nix.html", "published_at": "2026-06-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c92cb7d9", "title": "Opam’s Nix system dependency mechanism", "url": "https://ryan.freumh.org/talks/2026-fosdem-opam-nix.html", "published_at": "2026-01-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34c97cd295", "title": "Eilean: Self-hosted digital islands", "url": "https://ryan.freumh.org/talks/2026-fosdem-eilean.html", "published_at": "2026-01-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34ca12c39d", "title": "Package managers à la carte: A Formal Model of Dependency Resolution", "url": "https://ryan.freumh.org/talks/2026-fosdem-pac.html", "published_at": "2026-01-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34ca92a974", "title": "ICFP/SPLASH 2025", "url": "https://ryan.freumh.org/2025-icfp-splash.html", "published_at": "2025-11-06T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cb0c4f04", "title": "Three steps for OCaml to crest the AI humps", "url": "https://ryan.freumh.org/papers/2025-ocaml-ai.html", "published_at": "2025-10-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cbadff49", "title": "Functional Networking for Millions of Docker Desktops (Experience Report)", "url": "https://ryan.freumh.org/papers/2025-icfp-docker.html", "published_at": "2025-08-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cbfe1e77", "title": "Expanding My Vocabulary to a Million Words", "url": "https://ryan.freumh.org/anki-wiktionary-english-dictionary.html", "published_at": "2025-07-16T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cc6c6644", "title": "Bifröst: Spatial Networking with Bigraphs", "url": "https://ryan.freumh.org/papers/2025-bifrost.html", "published_at": "2025-07-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cd05a319", "title": "Solving Package Management via Hypergraph Dependency Resolution", "url": "https://ryan.freumh.org/papers/2025-hyperres.html", "published_at": "2025-06-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cd703c2a", "title": "Steps towards an Ecology for the Internet", "url": "https://ryan.freumh.org/papers/2025-internet-ecology.html", "published_at": "2025-06-01T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cdcdfe2a", "title": "Opam's Nix system dependency mechanism", "url": "https://ryan.freumh.org/opam-nix.html", "published_at": "2025-04-25T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34ce52164a", "title": "Caledonia", "url": "https://ryan.freumh.org/caledonia.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34ceb9fce6", "title": "A Week With Claude Code", "url": "https://ryan.freumh.org/claude-code.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cf00193f", "title": "Eilean", "url": "https://ryan.freumh.org/eilean.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34cfd808a1", "title": "Eon", "url": "https://ryan.freumh.org/eon.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d09a29ed", "title": "Pac", "url": "https://ryan.freumh.org/pac.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d0acbc1c", "title": "Spatial Computing", "url": "https://ryan.freumh.org/spatial-computing.html", "published_at": "2025-04-21T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d1524b3d", "title": "How This Site Is Built", "url": "https://ryan.freumh.org/how-this-site-is-built.html", "published_at": "2025-03-26T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d1c9ae34", "title": "Sway", "url": "https://ryan.freumh.org/sway.html", "published_at": "2025-02-07T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d22cf59e", "title": "Firefox", "url": "https://ryan.freumh.org/firefox.html", "published_at": "2025-02-03T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d2c3b532", "title": "Keyboard", "url": "https://ryan.freumh.org/keyboard.html", "published_at": "2025-02-03T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d360f6ff", "title": "Emacs", "url": "https://ryan.freumh.org/emacs.html", "published_at": "2025-02-02T00:00:00+00:00" }, { "id": "01a087d9-90a9-7148-bec8-5e34d3717884", "title": "(Neo)Vim", "url": "https://ryan.freumh.org/vim.html", "published_at": "2025-02-01T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a63e195d2", "title": "Carbon-Aware Name Resolution", "url": "https://ryan.freumh.org/papers/2024-loco-carbonres.html", "published_at": "2024-12-01T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a64974d08", "title": "Building a Low-Powered NAS", "url": "https://ryan.freumh.org/nas.html", "published_at": "2024-08-03T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a64ded566", "title": "FOSDEM 2024", "url": "https://ryan.freumh.org/2024-fosdem.html", "published_at": "2024-02-13T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6510ff63", "title": "Where on Earth is the Spatial Name System?", "url": "https://ryan.freumh.org/papers/2023-hotnets-sns.html", "published_at": "2023-11-01T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6602be4f", "title": "Developing OCaml with Nix", "url": "https://ryan.freumh.org/ocaml-nix.html", "published_at": "2023-06-07T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a66d37195", "title": "Bibliography Management", "url": "https://ryan.freumh.org/bibliography-management.html", "published_at": "2023-01-17T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a67439916", "title": "Hacking on the Remarkable 2", "url": "https://ryan.freumh.org/remarkable2.html", "published_at": "2022-12-17T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6766b329", "title": "Hillingar", "url": "https://ryan.freumh.org/hillingar.html", "published_at": "2022-12-14T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a676e05f8", "title": "Nix", "url": "https://ryan.freumh.org/nix.html", "published_at": "2022-12-14T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a67826467", "title": "Nim", "url": "https://ryan.freumh.org/nim.html", "published_at": "2022-08-30T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a67cf753e", "title": "Spatial Name System", "url": "https://ryan.freumh.org/papers/2022-mphil-sns.html", "published_at": "2022-06-01T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6837dc17", "title": "Virtual and Augmented Reality", "url": "https://ryan.freumh.org/vr-ar.html", "published_at": "2022-04-18T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a688ac050", "title": "DNS LOC", "url": "https://ryan.freumh.org/dns-loc-rr.html", "published_at": "2022-01-18T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a694ec340", "title": "ILNP Interface", "url": "https://ryan.freumh.org/ilnp-interface.html", "published_at": "2021-10-16T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6a16f9aa", "title": "Cubes", "url": "https://ryan.freumh.org/cubes.html", "published_at": "2021-06-03T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6ad16485", "title": "Ubiquitous Communication for the Internet of Things", "url": "https://ryan.freumh.org/papers/2021-bsc-ubicomm.html", "published_at": "2021-06-01T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6b90fa59", "title": "Network layer mobility", "url": "https://ryan.freumh.org/network-layer-mobility.html", "published_at": "2021-05-10T00:00:00+00:00" }, { "id": "01a087d9-90aa-72d3-9e9d-e52a6c661e0d", "title": "Cache and Multi-Core Efficient Algorithms for High-Degree Permutations", "url": "https://ryan.freumh.org/papers/2020-uras-project.html", "published_at": "2020-08-01T00:00:00+00:00" } ] posts Claim your blog
Back to ryan.freumh.org
Blog · corpus.blog/blogs/ryan.freumh.org/posts

ryan.freumh.org

ryan.freumh.org

2026

Dependency Resolution via Natural Joinoriginal ↗
2 Sept 2026
The Package Calculusoriginal ↗
2 Sept 2026
Package Managers à la Carteoriginal ↗
1 Aug 2026
Package Managers à la Carte: A Formal Model of Dependency Resolutionoriginal ↗
1 Aug 2026
Opam’s Nix system dependency mechanismoriginal ↗
1 Jun 2026
Opam’s Nix system dependency mechanismoriginal ↗
1 Jan 2026
Eilean: Self-hosted digital islandsoriginal ↗
1 Jan 2026
Package managers à la carte: A Formal Model of Dependency Resolutionoriginal ↗
1 Jan 2026

2025

ICFP/SPLASH 2025original ↗
6 Nov 2025
Three steps for OCaml to crest the AI humpsoriginal ↗
1 Oct 2025
Functional Networking for Millions of Docker Desktops (Experience Report)original ↗
1 Aug 2025
Expanding My Vocabulary to a Million Wordsoriginal ↗
16 Jul 2025
Bifröst: Spatial Networking with Bigraphsoriginal ↗
1 Jul 2025
Solving Package Management via Hypergraph Dependency Resolutionoriginal ↗
1 Jun 2025
Steps towards an Ecology for the Internetoriginal ↗
1 Jun 2025
Opam's Nix system dependency mechanismoriginal ↗
25 Apr 2025
Caledoniaoriginal ↗
21 Apr 2025
A Week With Claude Codeoriginal ↗
21 Apr 2025
Eileanoriginal ↗
21 Apr 2025
Eonoriginal ↗
21 Apr 2025
Pacoriginal ↗
21 Apr 2025
Spatial Computingoriginal ↗
21 Apr 2025
How This Site Is Builtoriginal ↗
26 Mar 2025
Swayoriginal ↗
7 Feb 2025
Firefoxoriginal ↗
3 Feb 2025
Keyboardoriginal ↗
3 Feb 2025
Emacsoriginal ↗
2 Feb 2025
(Neo)Vimoriginal ↗
1 Feb 2025

2024

Carbon-Aware Name Resolutionoriginal ↗
1 Dec 2024
Building a Low-Powered NASoriginal ↗
3 Aug 2024
FOSDEM 2024original ↗
13 Feb 2024

2023

Where on Earth is the Spatial Name System?original ↗
1 Nov 2023
Developing OCaml with Nixoriginal ↗
7 Jun 2023
Bibliography Managementoriginal ↗
17 Jan 2023

2022

Hacking on the Remarkable 2original ↗
17 Dec 2022
Hillingaroriginal ↗
14 Dec 2022
Nixoriginal ↗
14 Dec 2022
Nimoriginal ↗
30 Aug 2022
Spatial Name Systemoriginal ↗
1 Jun 2022
Virtual and Augmented Realityoriginal ↗
18 Apr 2022
DNS LOCoriginal ↗
18 Jan 2022

2021

ILNP Interfaceoriginal ↗
16 Oct 2021
Cubesoriginal ↗
3 Jun 2021
Ubiquitous Communication for the Internet of Thingsoriginal ↗
1 Jun 2021
Network layer mobilityoriginal ↗
10 May 2021

2020

Cache and Multi-Core Efficient Algorithms for High-Degree Permutationsoriginal ↗
1 Aug 2020