Thicket data repository for the EEG
anil.recoil.org
1{
2 "id": "https://ryan.freumh.org/2025-03-24.html",
3 "title": "24 Mar 2025",
4 "link": "https://ryan.freumh.org/2025-03-24.html",
5 "updated": "2025-03-24T00:00:00",
6 "published": "2025-03-24T00:00:00",
7 "summary": "<div>\n <span> Previous: <a href=\"2025-03-17.html\">17 Mar 2025</a> </span>\n <span> Next: <a href=\"2025-03-31.html\">31 Mar 2025</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>Babel</span></p>\n<ol>\n<li><p><span><span>~</span> cargo dynamic\nloading</span></p>\n<p><span>At the moment this loads the whole index at once\nwhich takes a long time, so I need to figure out how to make <code>pubgrub_cargo</code> dynamically load\npackages.</span></p>\n<p><span>We’ve decided to</span></p></li>\n<li><p><span><span>O</span> add Nix\nsolver</span></p>\n<p><span>Using the same techniques as <a href=\"https://github.com/RyanGibb/opam-nix-repository\">opam-nix-repository</a></span></p></li>\n<li><p><span><span>O</span> polish up\nbabel paper with motivating examples</span></p></li>\n<li><p><span><span>O</span> read up on\nanswer set programming</span></p>\n<ul>\n<li><a href=\"https://pubgrub-rs-guide.pages.dev/internals/intro\">https://pubgrub-rs-guide.pages.dev/internals/intro</a>\nis a good starting point</li>\n<li>And ‘Conflict-driven answer set solving: From theory to practice’\n<span><a href=\"#ref-gebserConflictdrivenAnswerSet2012\">[1]</a></span></li>\n</ul></li>\n<li><p><span>deployment</span></p>\n<ol>\n<li><p><span><span>O</span>\nNix</span></p></li>\n<li><p><span><span>O</span>\nDocker</span></p></li>\n</ol></li>\n</ol></li>\n<li><p><span>Research notes</span></p>\n<p><span>Contextualising my research activities to\ndate.</span></p>\n<ol>\n<li><p><span><span>O</span>\nEilean</span></p></li>\n<li><p><span><span>O</span>\nBabel</span></p></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>M. Gebser, B. Kaufmann, and T. Schaub,\n<span>“Conflict-driven answer set solving: <span>From</span> theory to\npractice,”</span> <em>Artificial Intelligence</em>, vol. 187–188, pp.\n52–89, Aug. 2012, doi: <a href=\"https://doi.org/10.1016/j.artint.2012.04.001\">10.1016/j.artint.2012.04.001</a>.\n[Online]. Available: <a href=\"https://www.sciencedirect.com/science/article/pii/S0004370212000409\">https://www.sciencedirect.com/science/article/pii/S0004370212000409</a>.\n[Accessed: Mar. 18, 2025]</div></span>\n</div>\n</div>",
8 "content": "<div>\n <span> Previous: <a href=\"2025-03-17.html\">17 Mar 2025</a> </span>\n <span> Next: <a href=\"2025-03-31.html\">31 Mar 2025</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>Babel</span></p>\n<ol>\n<li><p><span><span>~</span> cargo dynamic\nloading</span></p>\n<p><span>At the moment this loads the whole index at once\nwhich takes a long time, so I need to figure out how to make <code>pubgrub_cargo</code> dynamically load\npackages.</span></p>\n<p><span>We’ve decided to</span></p></li>\n<li><p><span><span>O</span> add Nix\nsolver</span></p>\n<p><span>Using the same techniques as <a href=\"https://github.com/RyanGibb/opam-nix-repository\">opam-nix-repository</a></span></p></li>\n<li><p><span><span>O</span> polish up\nbabel paper with motivating examples</span></p></li>\n<li><p><span><span>O</span> read up on\nanswer set programming</span></p>\n<ul>\n<li><a href=\"https://pubgrub-rs-guide.pages.dev/internals/intro\">https://pubgrub-rs-guide.pages.dev/internals/intro</a>\nis a good starting point</li>\n<li>And ‘Conflict-driven answer set solving: From theory to practice’\n<span><a href=\"#ref-gebserConflictdrivenAnswerSet2012\">[1]</a></span></li>\n</ul></li>\n<li><p><span>deployment</span></p>\n<ol>\n<li><p><span><span>O</span>\nNix</span></p></li>\n<li><p><span><span>O</span>\nDocker</span></p></li>\n</ol></li>\n</ol></li>\n<li><p><span>Research notes</span></p>\n<p><span>Contextualising my research activities to\ndate.</span></p>\n<ol>\n<li><p><span><span>O</span>\nEilean</span></p></li>\n<li><p><span><span>O</span>\nBabel</span></p></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>M. Gebser, B. Kaufmann, and T. Schaub,\n<span>“Conflict-driven answer set solving: <span>From</span> theory to\npractice,”</span> <em>Artificial Intelligence</em>, vol. 187–188, pp.\n52–89, Aug. 2012, doi: <a href=\"https://doi.org/10.1016/j.artint.2012.04.001\">10.1016/j.artint.2012.04.001</a>.\n[Online]. Available: <a href=\"https://www.sciencedirect.com/science/article/pii/S0004370212000409\">https://www.sciencedirect.com/science/article/pii/S0004370212000409</a>.\n[Accessed: Mar. 18, 2025]</div></span>\n</div>\n</div>",
9 "content_type": "html",
10 "categories": [],
11 "source": "https://ryan.freumh.org/atom.xml"
12}