24 Mar 2025

Babel

1. ~ cargo dynamic loading

   At the moment this loads the whole index at once which takes a long time, so I need to figure out how to make pubgrub_cargo dynamically load packages.

   We’ve decided to

2. O add Nix solver

   Using the same techniques as opam-nix-repository

3. O polish up babel paper with motivating examples

4. O read up on answer set programming

   • https://pubgrub-rs-guide.pages.dev/internals/intro is a good starting point
   • And ‘Conflict-driven answer set solving: From theory to practice’ [1]

5. deployment

   1. O Nix

   2. O Docker

Research notes

Contextualising my research activities to date.

1. O Eilean

2. O Babel