21 Apr 2025

Previous: 14 Apr 2025

  1. # Enki

    1. O solve multiple Debian and Alpine repositories

    2. O add Nix solver

      Using the same techniques as opam-nix-repository

    3. O extend the MCP server to support searching packages

    4. O build an OCaml front-end

    5. O evaluate Enki

      solving, baseline against

      • write down contributions
      • write down evaluation against contr and baselines

      pldi sosp

    6. O look at the pypi repo on comanche

  2. O proof read chapter 1 and 2 of Bigraphs of the Real World