27 Jan 2025

babel

1. X multi-version optional dependencies for PubGrub

   Which as far as I can tell hasn’t been done before.

2. PubGrub opam dependency provider

   1. X json representation of opam repositories

      using opam2json

   2. X parse json representation to rust

      using serde

   3. O minimal example

      1. X opam_version.rs

         done and MVP with integer versions, but the full ordering is complicated

      2. X index.rs

      3. X opam_deps.rs

      4. X main.rs

   4. O proper opam version parsing (a la Debian)

      https://opam.ocaml.org/doc/Manual.html#Version-ordering

   5. O conflicts

   6. O boolean logic (package formula)

   7. O features (optional dependencies)

   8. O parse repo on the fly in the dependency provider

3. O create babel-repository and babel-solver

4. O explore error reporting in these exotic encodings

5. what is the research advance here?

   • tool to solve across ecosystems
   • de-duplication between names
   • evaluate the tooling
   • need to evaluate against a base case, and justify that the problem exists
   • could use the PubGrub formalism, though I think ours is slightly different

6. O read up on answer set programming

   https://pubgrub-rs-guide.pages.dev/internals/intro is a good starting point

spoke to anil about bushel (the new static site generator)

had some interesting thoughts on using the at proto with capnroto capabilities to e.g. update dns records

Spatial Name System

1. Got capnproto compiling for an ESP chip with Josh (we think)

   https://github.com/j0shmillar/esp-capnp-test need to test it with a simple RPC

2. Sent ‘Practical Modelling with Bigraphs’ over to Roy [1]