Index

  Markdown

An index of all the webpages on this site.

  • (Neo)Vim 1 Feb. 2025
  • A Week With Claude Code 21 Apr. 2025
  • About
  • Bibliography Management 17 Jan. 2023
  • Bifröst: Spatial Networking with Bigraphs Jul 2025
    Preprint
  • Bigraphs of the Real World
  • Building a Low-Powered NAS 3 Aug. 2024
  • Cache and Multi-Core Efficient Algorithms for High-Degree Permutations Aug 2020
    Undergraduate Research Assistant Scheme project
  • Caledonia 21 Apr. 2025
    Command-line and Emacs Calendar Client
  • Carbon-Aware Name Resolution Dec 2024
    Abstract in the 1st International Workshop on Low Carbon Computing
  • Citable
  • Cubes 3 Jun. 2021
  • DNS LOC 18 Jan. 2022
  • Developing OCaml with Nix 7 Jun. 2023
  • Eilean 21 Apr. 2025
    Self-hosted digital islands
  • Emacs 2 Feb. 2025
  • Eon 21 Apr. 2025
    A programmable nameserver
  • Expanding My Vocabulary to a Million Words 16 Jul. 2025
  • FOSDEM 2024 13 Feb. 2024
    Free and Open source Software Developers’ European Meeting
  • Firefox 3 Feb. 2025
  • Functional Networking for Millions of Docker Desktops (Experience Report) Aug 2025
    Proc. ACM Program. Lang.
  • Hacking on the Remarkable 2 17 Dec. 2022
  • Hillingar 14 Dec. 2022
    MirageOS Unikernels on NixOS
  • How This Site Is Build 26 Mar. 2025
  • ICFP/SPLASH 2025 6 Nov. 2025
  • ILNP Interface 16 Oct. 2021
  • Keyboard 3 Feb. 2025
  • Logs
  • Mail Client
  • Network layer mobility 10 May. 2021
    An Identifier-Locator addressing split.
  • Nim 30 Aug. 2022
  • Nix 14 Dec. 2022
  • Opam's Nix system dependency mechanism 25 Apr. 2025
  • Pac 21 Apr. 2025
    A universal dependency solver
  • Papers
  • Photos
  • Posts
  • Projects
  • Research
  • Ryan T. Gibb
  • Self-hosting
  • Solving Package Management via Hypergraph Dependency Resolution Jun 2025
    Working paper
  • Spatial Computing 21 Apr. 2025
    Network support for physical devices
  • Spatial Name System Jun 2022
    MPhil disseratation
  • Steps towards an Ecology for the Internet Jun 2025
    Proceedings of the Sixth Decennial Aarhus Conference: Computing X Crisis
  • Sway 7 Feb. 2025
  • Teaching
  • Technology
  • Three steps for OCaml to crest the AI humps Oct 2025
    Proceedings of the 2025 OCaml Workshop
  • Ubiquitous Communication for the Internet of Things Jun 2021
    BSc dissertation
  • Virtual and Augmented Reality 18 Apr. 2022
  • Where on Earth is the Spatial Name System? Nov 2023
    Proceedings of the 22nd ACM Workshop on Hot Topics in Networks
  • 9 Oct. 2023 9 Oct. 2023
  • 16 Oct. 2023 16 Oct. 2023
  • 23 Oct. 2023 23 Oct. 2023
  • 30 Oct. 2023 30 Oct. 2023
  • 6 Nov. 2023 6 Nov. 2023
  • 13 Nov. 2023 13 Nov. 2023
  • 20 Nov. 2023 20 Nov. 2023
  • 27 Nov. 2023 27 Nov. 2023
  • 4 Dec. 2023 4 Dec. 2023
  • 11 Dec. 2023 11 Dec. 2023
  • 18 Dec. 2023 18 Dec. 2023
  • 25 Dec. 2023 25 Dec. 2023
  • 1 Jan. 2024 1 Jan. 2024
  • 8 Jan. 2024 8 Jan. 2024
  • 15 Jan. 2024 15 Jan. 2024
  • 22 Jan. 2024 22 Jan. 2024
  • 29 Jan. 2024 29 Jan. 2024
  • 5 Feb. 2024 5 Feb. 2024
  • 12 Feb. 2024 12 Feb. 2024
  • 19 Feb. 2024 19 Feb. 2024
  • 26 Feb. 2024 26 Feb. 2024
  • 11 Mar. 2024 11 Mar. 2024
  • 18 Mar. 2024 18 Mar. 2024
  • 25 Mar. 2024 25 Mar. 2024
  • 1 Apr. 2024 1 Apr. 2024
  • 8 Apr. 2024 8 Apr. 2024
  • 15 Apr. 2024 15 Apr. 2024
  • 22 Apr. 2024 22 Apr. 2024
  • 29 Apr. 2024 29 Apr. 2024
  • 6 May. 2024 6 May. 2024
  • 13 May. 2024 13 May. 2024
  • 20 May. 2024 20 May. 2024
  • 27 May. 2024 27 May. 2024
  • 24 Jun. 2024 24 Jun. 2024
  • 8 Jul. 2024 8 Jul. 2024
  • 5 Aug. 2024 5 Aug. 2024
  • 12 Aug. 2024 12 Aug. 2024
  • 26 Aug. 2024 26 Aug. 2024
  • 2 Sep. 2024 2 Sep. 2024
  • 9 Sep. 2024 9 Sep. 2024
  • 16 Sep. 2024 16 Sep. 2024
  • 23 Sep. 2024 23 Sep. 2024
  • 30 Sep. 2024 30 Sep. 2024
  • 7 Oct. 2024 7 Oct. 2024
  • 14 Oct. 2024 14 Oct. 2024
  • 18 Nov. 2024 18 Nov. 2024
  • 2 Dec. 2024 2 Dec. 2024
  • 16 Dec. 2024 16 Dec. 2024
  • 30 Dec. 2024 30 Dec. 2024
  • 6 Jan. 2025 6 Jan. 2025
  • 13 Jan. 2025 13 Jan. 2025
  • 20 Jan. 2025 20 Jan. 2025
  • 27 Jan. 2025 27 Jan. 2025
  • 3 Feb. 2025 3 Feb. 2025
  • 10 Feb. 2025 10 Feb. 2025
  • 17 Feb. 2025 17 Feb. 2025
  • 25 Feb. 2025 25 Feb. 2025
  • 3 Mar. 2025 3 Mar. 2025
  • 10 Mar. 2025 10 Mar. 2025
  • 17 Mar. 2025 17 Mar. 2025
  • 24 Mar. 2025 24 Mar. 2025
  • 31 Mar. 2025 31 Mar. 2025
  • 7 Apr. 2025 7 Apr. 2025
  • 14 Apr. 2025 14 Apr. 2025
  • 21 Apr. 2025 21 Apr. 2025
  • 28 Apr. 2025 28 Apr. 2025
  • 5 May. 2025 5 May. 2025
  • 12 May. 2025 12 May. 2025
  • 19 May. 2025 19 May. 2025
  • 13 Oct. 2025 13 Oct. 2025
  • 10 Nov. 2025 10 Nov. 2025