Mon 16 Dec 2024

§babel

§opam-repo maps

§TODO hyperres needs a file format

1. TODO get a JSON format, including version formula

   1. opam formulas

   2. variables as packages

   3. boolean algebra represeted with disjuntions etc

2. I’m wrestling with the problem of expressivity of package managers.

   What is representable in a SAT problem is consistent across package managers, but there are varying degrees of pre-processing in DSL in different ecosystems. For example, Debian has a pretty simple language for expressing dependency constraints, but Nix has the Nix DSL, opam has filters and variables. These are basically a way of expressing the constraint language with various degrees of pre-processing. It’s fine to unify the decision problem representations, but how can we unify the different package languages? Maybe we don’t need to.

§TODO hyperres needs a solver

1. zero install

   we have a working zero install derived SAT-based solver

2. PubGrub

   we see if we can get PubGrub working with opam / the babel file format

§TODO specific eval

1. docker hub top 10 mixed language dave

2. cross ecosystem package solving

   1. show problem, find a few illustative projects

   2. next gen mechanism for encoding things big

   3. download and visualise, see what’s going on

   4. babel: how solving? what is the reperestation?

§list of things, organise by priority, define evals, spread tasks

§SPLASH round 2 submission

§ICFP deadline

§reading papers

§add ideas page to website