30 Sep 2024

Previous: 23 Sep 2024 Next: 7 Oct 2024

  1. Mon

    1. wrote out some of the formalisations in OCaml

    2. worked on LOCO submission

  2. Tue

    1. LOCO submission

    2. package management paper

      1. cargo feature formalisation

  3. Wed

    1. package management paper

      1. finished the cargo feature formalisation

      2. described singular versions with conflicts

  4. Thur

    1. submitted second year report

    2. package management paper

      1. I’ve thought of another complication with the source vs binary dichotomy – dependencies might result

      2. language vs system package manager

      3. source vs binary

    3. Why NixOS? Reproducibility? No. Atomicity.

  5. Fri

    1. package management paper

      1. high-level representation - hypergraph

      2. low-level representation - graph

      3. CANCELED change depends order to match topological sort, Nix thesis, and build systems a la carte

      4. X rename package calculus

      5. X process Anil’s comments

      6. X send draft over to the group

    2. X submit SPLASH package management paper

  6. Sat

    1. package management paper

  7. Sun

    1. package management paper