Thicket data repository for the EEG
anil.recoil.org
1{
2 "id": "https://ryan.freumh.org/2024-11-18.html",
3 "title": "18 Nov 2024",
4 "link": "https://ryan.freumh.org/2024-11-18.html",
5 "updated": "2024-11-18T00:00:00",
6 "published": "2024-11-18T00:00:00",
7 "summary": "<div>\n <span> Previous: <a href=\"2024-10-14.html\">14 Oct 2024</a> </span>\n <span> Next: <a href=\"2024-12-02.html\"> 2 Dec 2024</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>Mon</span></p>\n<ul>\n<li>[x] eon\n<ul>\n<li>capnp-rpc requires mirage-crypto > 1.0.0 so had to fix\nocaml-letsencrypt and ocaml-dns</li>\n<li>to get ocaml-dns with mirage-crypto > 1.0.0 we have to use >\n9.0.0 which switches from cstructs to bytes</li>\n<li>now have to port eon to use strings for DNS library</li>\n<li>should try <a href=\"https://github.com/patricoferris/eio/tree/bstruct\">https://github.com/patricoferris/eio/tree/bstruct</a>\nat some point</li>\n</ul></li>\n<li>[x] opam nix\n<ul>\n<li><a href=\"https://github.com/ocaml/opam/pull/5982#issuecomment-2486565207\">https://github.com/ocaml/opam/pull/5982#issuecomment-2486565207</a></li>\n<li>wierd bubblewrap issues see patrick messages</li>\n<li>todo debug env</li>\n</ul></li>\n<li>babel\n<ul>\n<li>[x] edit splash submission\n<ul>\n<li><a href=\"https://github.com/fn06/2024-splash-solving-package-management/commit/9c9826d60121dd38d7e8c5d801c754bb0a2621d6\">https://github.com/fn06/2024-splash-solving-package-management/commit/9c9826d60121dd38d7e8c5d801c754bb0a2621d6</a></li>\n<li>is a hypergraph the correct formalism? or should we have a calculus\nto express dependencies? a lambda calculus normal form?</li>\n<li>todo confusion around section 2</li>\n<li>read related work</li>\n</ul></li>\n</ul></li>\n</ul></li>\n<li><p><span>Sat</span></p>\n<ol>\n<li><p><span><span>X</span> debug\neon</span></p>\n<ul>\n<li>[x] add dkim record to eon with capability in eilean <a href=\"https://github.com/RyanGibb/eilean-nix/commit/bba3719f32b57b853247e299ea44500938d69166\">https://github.com/RyanGibb/eilean-nix/commit/bba3719f32b57b853247e299ea44500938d69166</a></li>\n<li>[x] fix intial syncing of primary trie to secondaries by creating a\nseparate update for each element of a record set <a href=\"https://github.com/RyanGibb/eon/commit/49d9a749b33e497b5cd54068188f18d70579d8f2\">https://github.com/RyanGibb/eon/commit/49d9a749b33e497b5cd54068188f18d70579d8f2</a></li>\n<li>[x] fix eio switch management for capability interface with updated\ncapnp-rpc <a href=\"https://github.com/RyanGibb/eon/commit/853c6499071da331669957b4804715bc44425a12\">https://github.com/RyanGibb/eon/commit/853c6499071da331669957b4804715bc44425a12</a></li>\n</ul></li>\n<li><p><span>babel</span></p>\n<ol>\n<li><p><span>opam-repo maps</span></p></li>\n<li><p><span>babel binary</span></p></li>\n<li><p><span>read papers</span></p>\n<ol>\n<li><p><span><span>~</span> <span><a href=\"#ref-agnarssonTheoryPackages\">[1]</a></span></span></p>\n<p><span>too PL/module focused</span></p>\n<ol>\n<li><p><span><span>O</span> remove\ncitation</span></p></li>\n</ol></li>\n<li><p><span><span>O</span> <span><a href=\"#ref-bazermanMathematicalModelPackage2024\">[2]</a></span></span></p></li>\n<li><p><span><span>O</span> <span><a href=\"#ref-bazermanSemanticsPackageManagement2021\">[3]</a></span></span></p></li>\n<li><p><span><span>~</span> <span><a href=\"#ref-zhaoHypergraphBasedServiceDependency2012\">[4]</a></span></span></p>\n<p><span>unrelated</span></p></li>\n<li><p><span><span>~</span> <span><a href=\"#ref-florissonTheoryPackages\">[5]</a></span></span></p>\n<p><span>too PL/module focused</span></p></li>\n</ol></li>\n</ol></li>\n<li><p><span><span>X</span> loco\npreperation</span></p>\n<ul>\n<li>[x] presentation 12 slides</li>\n<li>[x] eon wol prototype</li>\n</ul></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>S. Agnarsson and M. S. Krishnamoorthy,\n<span>“Towards a theory of packages.”</span> </div></span>\n</div>\n<div>\n<span><div>[2] </div><div>G. Bazerman, E. Minichiello, and R. Puzio,\n<span>“A <span>Mathematical Model</span> of <span>Package Management\nSystems</span>,”</span> Oct. 11, 2024. [Online]. Available: <a href=\"http://arxiv.org/abs/2302.05417\">http://arxiv.org/abs/2302.05417</a>.\n[Accessed: Dec. 16, 2024]</div></span>\n</div>\n<div>\n<span><div>[3] </div><div>G. Bazerman, <span>“The <span>Semantics</span>\nof <span>Package Management</span> via <span>Event\nStructures</span>,”</span> Jul. 04, 2021. [Online]. Available: <a href=\"http://arxiv.org/abs/2107.01542\">http://arxiv.org/abs/2107.01542</a>.\n[Accessed: Dec. 16, 2024]</div></span>\n</div>\n<div>\n<span><div>[4] </div><div>D. Zhao, S. Liu, L. Wu, R. Wang, and X. Meng,\n<span>“Hypergraph-<span>Based Service Dependency Resolving</span> and\n<span>Its Applications</span>,”</span> in <em>Proceedings of the 2012\n<span>IEEE Ninth International Conference</span> on <span>Services\nComputing</span></em>, Jun. 2012, pp. 106–113, doi: <a href=\"https://doi.org/10.1109/SCC.2012.25\">10.1109/SCC.2012.25</a>\n[Online]. Available: <a href=\"https://doi.org/10.1109/SCC.2012.25\">https://doi.org/10.1109/SCC.2012.25</a>.\n[Accessed: Jan. 14, 2025]</div></span>\n</div>\n<div>\n<span><div>[5] </div><div>M. Florisson and A. Mycroft, <span>“Towards a\n<span>Theory</span> of <span>Packages</span>.”</span> </div></span>\n</div>\n</div>",
8 "content": "<div>\n <span> Previous: <a href=\"2024-10-14.html\">14 Oct 2024</a> </span>\n <span> Next: <a href=\"2024-12-02.html\"> 2 Dec 2024</a> </span>\n </div>\n \n \n\n <ol>\n<li><p><span>Mon</span></p>\n<ul>\n<li>[x] eon\n<ul>\n<li>capnp-rpc requires mirage-crypto > 1.0.0 so had to fix\nocaml-letsencrypt and ocaml-dns</li>\n<li>to get ocaml-dns with mirage-crypto > 1.0.0 we have to use >\n9.0.0 which switches from cstructs to bytes</li>\n<li>now have to port eon to use strings for DNS library</li>\n<li>should try <a href=\"https://github.com/patricoferris/eio/tree/bstruct\">https://github.com/patricoferris/eio/tree/bstruct</a>\nat some point</li>\n</ul></li>\n<li>[x] opam nix\n<ul>\n<li><a href=\"https://github.com/ocaml/opam/pull/5982#issuecomment-2486565207\">https://github.com/ocaml/opam/pull/5982#issuecomment-2486565207</a></li>\n<li>wierd bubblewrap issues see patrick messages</li>\n<li>todo debug env</li>\n</ul></li>\n<li>babel\n<ul>\n<li>[x] edit splash submission\n<ul>\n<li><a href=\"https://github.com/fn06/2024-splash-solving-package-management/commit/9c9826d60121dd38d7e8c5d801c754bb0a2621d6\">https://github.com/fn06/2024-splash-solving-package-management/commit/9c9826d60121dd38d7e8c5d801c754bb0a2621d6</a></li>\n<li>is a hypergraph the correct formalism? or should we have a calculus\nto express dependencies? a lambda calculus normal form?</li>\n<li>todo confusion around section 2</li>\n<li>read related work</li>\n</ul></li>\n</ul></li>\n</ul></li>\n<li><p><span>Sat</span></p>\n<ol>\n<li><p><span><span>X</span> debug\neon</span></p>\n<ul>\n<li>[x] add dkim record to eon with capability in eilean <a href=\"https://github.com/RyanGibb/eilean-nix/commit/bba3719f32b57b853247e299ea44500938d69166\">https://github.com/RyanGibb/eilean-nix/commit/bba3719f32b57b853247e299ea44500938d69166</a></li>\n<li>[x] fix intial syncing of primary trie to secondaries by creating a\nseparate update for each element of a record set <a href=\"https://github.com/RyanGibb/eon/commit/49d9a749b33e497b5cd54068188f18d70579d8f2\">https://github.com/RyanGibb/eon/commit/49d9a749b33e497b5cd54068188f18d70579d8f2</a></li>\n<li>[x] fix eio switch management for capability interface with updated\ncapnp-rpc <a href=\"https://github.com/RyanGibb/eon/commit/853c6499071da331669957b4804715bc44425a12\">https://github.com/RyanGibb/eon/commit/853c6499071da331669957b4804715bc44425a12</a></li>\n</ul></li>\n<li><p><span>babel</span></p>\n<ol>\n<li><p><span>opam-repo maps</span></p></li>\n<li><p><span>babel binary</span></p></li>\n<li><p><span>read papers</span></p>\n<ol>\n<li><p><span><span>~</span> <span><a href=\"#ref-agnarssonTheoryPackages\">[1]</a></span></span></p>\n<p><span>too PL/module focused</span></p>\n<ol>\n<li><p><span><span>O</span> remove\ncitation</span></p></li>\n</ol></li>\n<li><p><span><span>O</span> <span><a href=\"#ref-bazermanMathematicalModelPackage2024\">[2]</a></span></span></p></li>\n<li><p><span><span>O</span> <span><a href=\"#ref-bazermanSemanticsPackageManagement2021\">[3]</a></span></span></p></li>\n<li><p><span><span>~</span> <span><a href=\"#ref-zhaoHypergraphBasedServiceDependency2012\">[4]</a></span></span></p>\n<p><span>unrelated</span></p></li>\n<li><p><span><span>~</span> <span><a href=\"#ref-florissonTheoryPackages\">[5]</a></span></span></p>\n<p><span>too PL/module focused</span></p></li>\n</ol></li>\n</ol></li>\n<li><p><span><span>X</span> loco\npreperation</span></p>\n<ul>\n<li>[x] presentation 12 slides</li>\n<li>[x] eon wol prototype</li>\n</ul></li>\n</ol></li>\n</ol>\n<div>\n<div>\n<span><div>[1] </div><div>S. Agnarsson and M. S. Krishnamoorthy,\n<span>“Towards a theory of packages.”</span> </div></span>\n</div>\n<div>\n<span><div>[2] </div><div>G. Bazerman, E. Minichiello, and R. Puzio,\n<span>“A <span>Mathematical Model</span> of <span>Package Management\nSystems</span>,”</span> Oct. 11, 2024. [Online]. Available: <a href=\"http://arxiv.org/abs/2302.05417\">http://arxiv.org/abs/2302.05417</a>.\n[Accessed: Dec. 16, 2024]</div></span>\n</div>\n<div>\n<span><div>[3] </div><div>G. Bazerman, <span>“The <span>Semantics</span>\nof <span>Package Management</span> via <span>Event\nStructures</span>,”</span> Jul. 04, 2021. [Online]. Available: <a href=\"http://arxiv.org/abs/2107.01542\">http://arxiv.org/abs/2107.01542</a>.\n[Accessed: Dec. 16, 2024]</div></span>\n</div>\n<div>\n<span><div>[4] </div><div>D. Zhao, S. Liu, L. Wu, R. Wang, and X. Meng,\n<span>“Hypergraph-<span>Based Service Dependency Resolving</span> and\n<span>Its Applications</span>,”</span> in <em>Proceedings of the 2012\n<span>IEEE Ninth International Conference</span> on <span>Services\nComputing</span></em>, Jun. 2012, pp. 106–113, doi: <a href=\"https://doi.org/10.1109/SCC.2012.25\">10.1109/SCC.2012.25</a>\n[Online]. Available: <a href=\"https://doi.org/10.1109/SCC.2012.25\">https://doi.org/10.1109/SCC.2012.25</a>.\n[Accessed: Jan. 14, 2025]</div></span>\n</div>\n<div>\n<span><div>[5] </div><div>M. Florisson and A. Mycroft, <span>“Towards a\n<span>Theory</span> of <span>Packages</span>.”</span> </div></span>\n</div>\n</div>",
9 "content_type": "html",
10 "categories": [],
11 "source": "https://ryan.freumh.org/atom.xml"
12}