Previous: Mon 17 Mar 2025
§Babel
TODO cargo dynamic loading
At the moment this loads the whole index at
once which takes a long time, so I need to figure out how to make pubgrub_cargo dynamically load
packages.
TODO add Nix solver
Using the same techniques as opam-nix-repository
§TODO polish up babel paper with motivating examples
§TODO read up on answer set programming
- https://pubgrub-rs-guide.pages.dev/internals/intro is a good starting point
- And ‘Conflict-driven answer set solving: From theory to practice’ [1]
§deployment
TODO Nix
TODO Docker
§Research notes
Contextualising my research activities to date.
§TODO Eilean
§TODO Babel
[1]
M. Gebser, B. Kaufmann, and T. Schaub,
“Conflict-driven answer set solving: From theory to
practice,” Artificial Intelligence, vol. 187–188, pp.
52–89, Aug. 2012, doi: 10.1016/j.artint.2012.04.001.
[Online]. Available: https://www.sciencedirect.com/science/article/pii/S0004370212000409.
[Accessed: Mar. 18, 2025]