Thicket data repository for the EEG
anil.recoil.org
1{
2 "id": "https://ryan.freumh.org/2025-01-27.html",
3 "title": "27 Jan 2025",
4 "link": "https://ryan.freumh.org/2025-01-27.html",
5 "updated": "2025-01-27T00:00:00",
6 "published": "2025-01-27T00:00:00",
7 "summary": "<div>\n <span> Previous: <a href=\"2025-01-20.html\">20 Jan 2025</a> </span>\n <span> Next: <a href=\"2025-02-03.html\"> 3 Feb 2025</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>babel</span></p>\n<ol>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/hyperres-pubgrub/tree/main/multiversion-features\">multi-version\noptional dependencies</a> for PubGrub</span></p>\n<p><span>Which as far as I can tell hasn’t been done\nbefore.</span></p></li>\n<li><p><span>PubGrub opam dependency provider</span></p>\n<ol>\n<li><p><span><span>X</span> json\nrepresentation of opam repositories</span></p>\n<p><span>using <a href=\"https://github.com/tweag/opam2json\">opam2json</a></span></p></li>\n<li><p><span><span>X</span> parse json\nrepresentation to rust</span></p>\n<p><span>using <a href=\"https://serde.rs/\">serde</a></span></p></li>\n<li><p><span><span>O</span> minimal\nexample</span></p>\n<ol>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/opam_version.rs\"><code>opam_version.rs</code></a></span></p>\n<p><span>done and MVP with integer versions, but the full\nordering <span><em>is\ncomplicated</em></span></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/index.rs\"><code>index.rs</code></a></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/opam_deps.rs\"><code>opam_deps.rs</code></a></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/main.rs\">main.rs</a></span></p></li>\n</ol></li>\n<li><p><span><span>O</span> proper opam\nversion parsing (a la Debian)</span></p>\n<p><span><a href=\"https://opam.ocaml.org/doc/Manual.html#Version-ordering\">https://opam.ocaml.org/doc/Manual.html#Version-ordering</a></span></p></li>\n<li><p><span><span>O</span>\nconflicts</span></p></li>\n<li><p><span><span>O</span> boolean logic\n(package formula)</span></p></li>\n<li><p><span><span>O</span> features\n(optional dependencies)</span></p></li>\n<li><p><span><span>O</span> parse repo on\nthe fly in the dependency provider</span></p></li>\n</ol></li>\n<li><p><span><span>O</span> create\nbabel-repository and babel-solver</span></p></li>\n<li><p><span><span>O</span> explore error\nreporting in these exotic encodings</span></p></li>\n<li><p><span>what is the research advance here?</span></p>\n<ul>\n<li>tool to solve across ecosystems</li>\n<li>de-duplication between names</li>\n<li>evaluate the tooling</li>\n<li>need to evaluate against a base case, and justify that the problem\nexists</li>\n<li>could use the PubGrub formalism, though I think ours is slightly\ndifferent</li>\n</ul></li>\n<li><p><span><span>O</span> read up on\nanswer set programming</span></p>\n<p><span><a href=\"https://pubgrub-rs-guide.pages.dev/internals/intro\">https://pubgrub-rs-guide.pages.dev/internals/intro</a>\nis a good starting point</span></p></li>\n</ol></li>\n<li><p><span>spoke to anil about <a href=\"https://anil.recoil.org/notes/bushel-lives\">bushel</a> (the new\nstatic site generator)</span></p>\n<p><span>had some interesting thoughts on using the at\nproto with capnroto capabilities to e.g. update dns\nrecords</span></p></li>\n<li><p><span>Spatial Name System</span></p>\n<ol>\n<li><p><span>Got capnproto compiling for an ESP chip with\nJosh (we think)</span></p>\n<p><span><a href=\"https://github.com/j0shmillar/esp-capnp-test\">https://github.com/j0shmillar/esp-capnp-test</a>\nneed to test it with a simple RPC</span></p></li>\n<li><p><span>Sent ‘Practical Modelling with Bigraphs’ over\nto Roy <span><a href=\"#ref-archibaldPracticalModellingBigraphs2024\">[1]</a></span></span></p></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>B. Archibald, M. Calder, and M. Sevegnani,\n<span>“Practical <span>Modelling</span> with\n<span>Bigraphs</span>,”</span> May 31, 2024. [Online]. Available: <a href=\"http://arxiv.org/abs/2405.20745\">http://arxiv.org/abs/2405.20745</a>.\n[Accessed: Jan. 29, 2025]</div></span>\n</div>\n</div>",
8 "content": "<div>\n <span> Previous: <a href=\"2025-01-20.html\">20 Jan 2025</a> </span>\n <span> Next: <a href=\"2025-02-03.html\"> 3 Feb 2025</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>babel</span></p>\n<ol>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/hyperres-pubgrub/tree/main/multiversion-features\">multi-version\noptional dependencies</a> for PubGrub</span></p>\n<p><span>Which as far as I can tell hasn’t been done\nbefore.</span></p></li>\n<li><p><span>PubGrub opam dependency provider</span></p>\n<ol>\n<li><p><span><span>X</span> json\nrepresentation of opam repositories</span></p>\n<p><span>using <a href=\"https://github.com/tweag/opam2json\">opam2json</a></span></p></li>\n<li><p><span><span>X</span> parse json\nrepresentation to rust</span></p>\n<p><span>using <a href=\"https://serde.rs/\">serde</a></span></p></li>\n<li><p><span><span>O</span> minimal\nexample</span></p>\n<ol>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/opam_version.rs\"><code>opam_version.rs</code></a></span></p>\n<p><span>done and MVP with integer versions, but the full\nordering <span><em>is\ncomplicated</em></span></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/index.rs\"><code>index.rs</code></a></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/opam_deps.rs\"><code>opam_deps.rs</code></a></span></p></li>\n<li><p><span><span>X</span> <a href=\"https://github.com/RyanGibb/pubgrub-opam/blob/main/src/main.rs\">main.rs</a></span></p></li>\n</ol></li>\n<li><p><span><span>O</span> proper opam\nversion parsing (a la Debian)</span></p>\n<p><span><a href=\"https://opam.ocaml.org/doc/Manual.html#Version-ordering\">https://opam.ocaml.org/doc/Manual.html#Version-ordering</a></span></p></li>\n<li><p><span><span>O</span>\nconflicts</span></p></li>\n<li><p><span><span>O</span> boolean logic\n(package formula)</span></p></li>\n<li><p><span><span>O</span> features\n(optional dependencies)</span></p></li>\n<li><p><span><span>O</span> parse repo on\nthe fly in the dependency provider</span></p></li>\n</ol></li>\n<li><p><span><span>O</span> create\nbabel-repository and babel-solver</span></p></li>\n<li><p><span><span>O</span> explore error\nreporting in these exotic encodings</span></p></li>\n<li><p><span>what is the research advance here?</span></p>\n<ul>\n<li>tool to solve across ecosystems</li>\n<li>de-duplication between names</li>\n<li>evaluate the tooling</li>\n<li>need to evaluate against a base case, and justify that the problem\nexists</li>\n<li>could use the PubGrub formalism, though I think ours is slightly\ndifferent</li>\n</ul></li>\n<li><p><span><span>O</span> read up on\nanswer set programming</span></p>\n<p><span><a href=\"https://pubgrub-rs-guide.pages.dev/internals/intro\">https://pubgrub-rs-guide.pages.dev/internals/intro</a>\nis a good starting point</span></p></li>\n</ol></li>\n<li><p><span>spoke to anil about <a href=\"https://anil.recoil.org/notes/bushel-lives\">bushel</a> (the new\nstatic site generator)</span></p>\n<p><span>had some interesting thoughts on using the at\nproto with capnroto capabilities to e.g. update dns\nrecords</span></p></li>\n<li><p><span>Spatial Name System</span></p>\n<ol>\n<li><p><span>Got capnproto compiling for an ESP chip with\nJosh (we think)</span></p>\n<p><span><a href=\"https://github.com/j0shmillar/esp-capnp-test\">https://github.com/j0shmillar/esp-capnp-test</a>\nneed to test it with a simple RPC</span></p></li>\n<li><p><span>Sent ‘Practical Modelling with Bigraphs’ over\nto Roy <span><a href=\"#ref-archibaldPracticalModellingBigraphs2024\">[1]</a></span></span></p></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>B. Archibald, M. Calder, and M. Sevegnani,\n<span>“Practical <span>Modelling</span> with\n<span>Bigraphs</span>,”</span> May 31, 2024. [Online]. Available: <a href=\"http://arxiv.org/abs/2405.20745\">http://arxiv.org/abs/2405.20745</a>.\n[Accessed: Jan. 29, 2025]</div></span>\n</div>\n</div>",
9 "content_type": "html",
10 "categories": [],
11 "source": "https://ryan.freumh.org/atom.xml"
12}