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

1. X 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

2. babel

   1. opam-repo maps

   2. babel binary

   3. read papers

      1. ~ [1]

         too PL/module focused

         1. O remove citation

      2. O [2]

      3. O [3]

      4. ~ [4]

         unrelated

      5. ~ [5]

         too PL/module focused

3. X loco preperation

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