Mon 18 Nov 2024

§Mon

• [x] eon
  • capnp-rpc requires mirage-crypto > 1.0.0 so had to fix ocaml-letsencrypt and ocaml-dns
  • to get ocaml-dns with mirage-crypto > 1.0.0 we have to use > 9.0.0 which switches from cstructs to bytes
  • now have to port eon to use strings for DNS library
  • should try https://github.com/patricoferris/eio/tree/bstruct at some point
• [x] opam nix
  • https://github.com/ocaml/opam/pull/5982#issuecomment-2486565207
  • wierd bubblewrap issues see patrick messages
  • todo debug env
• babel
  • [x] edit splash submission
    • https://github.com/fn06/2024-splash-solving-package-management/commit/9c9826d60121dd38d7e8c5d801c754bb0a2621d6
    • is a hypergraph the correct formalism? or should we have a calculus to express dependencies? a lambda calculus normal form?
    • todo confusion around section 2
    • read related work

§Sat

§DONE debug eon

• [x] add dkim record to eon with capability in eilean https://github.com/RyanGibb/eilean-nix/commit/bba3719f32b57b853247e299ea44500938d69166
• [x] fix intial syncing of primary trie to secondaries by creating a separate update for each element of a record set https://github.com/RyanGibb/eon/commit/49d9a749b33e497b5cd54068188f18d70579d8f2
• [x] fix eio switch management for capability interface with updated capnp-rpc https://github.com/RyanGibb/eon/commit/853c6499071da331669957b4804715bc44425a12

§babel

1. opam-repo maps

2. babel binary

3. read papers

   1. KILL [1]

      too PL/module focused

      1. TODO remove citation

   2. TODO [2]

   3. TODO [3]

   4. KILL [4]

      unrelated

   5. KILL [5]

      too PL/module focused

§DONE loco preperation

• [x] presentation 12 slides
• [x] eon wol prototype