2026-10-11T19:49:16Z https://nostr.now Max S. New ⚜️ https://nostr.now/npub1dmn630rgl55pt7vgee6l930wfqjq6jry973hqf90fs6kgxztzd8qrg9dey https://pool.jortage.com/typespl/accounts/avatars/108/133/002/136/097/079/original/1e4de007cabd3f18.jpg https://pool.jortage.com/typespl/accounts/avatars/108/133/002/136/097/079/original/1e4de007cabd3f18.jpg https://nostr.now/nevent1qqsyl6xhtez5msp4vce4n640rqvpf23jveutqdugyj8f40fr0kvd7dszyphw029udr7js90e3r88tuk9aeyzgr2gvsh6xupy4axr2eqcfvf5up338kc My least favorite agda error is<br/><br/>agda: Heap exhausted;<br/><br/><br/>But I don&#39;t think it can be improved much 2026-01-08T00:56:54Z https://nostr.now/nevent1qqsd0z2djwxt4wa3huex5dd0e9nslldnkaascfvqqkrsugff2q7hgkczyphw029udr7js90e3r88tuk9aeyzgr2gvsh6xupy4axr2eqcfvf5uxwc58e Hurry-Coward Isomorphism 2025-12-21T17:42:21Z https://nostr.now/nevent1qqs9x0nnr7nx99rn0mvwuw7ytlm8k92v6ld0z324w5nv52mytyvga3czyphw029udr7js90e3r88tuk9aeyzgr2gvsh6xupy4axr2eqcfvf5usnmuqh In reply to <a href='/nevent1qqsrsxyqsufjk0hyatymegugdzq8pf0t2sr7qt8f6dwwy3dc5dlglwspzemhxue69uhhyetvv9ujuerfw36x7tnsw43z72xefks'>nevent1q…efks</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> ??? Intuitionistic linear logic with just tensor and unit is the internal language of symmetric monoidal categories 2025-12-11T03:46:01Z https://nostr.now/nevent1qqszl48wcwlv38ycy9q8zl84y2zzl5x95lvkkjtnunggtlcdyyka8sgzyphw029udr7js90e3r88tuk9aeyzgr2gvsh6xupy4axr2eqcfvf5u6ygr28 In reply to <a href='/nevent1qqsf8ggun45q2s9wxt9hr6anmqyyuj9vgr5z00jtfw03qa7hu8sevggpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7gf4wl5'>nevent1q…4wl5</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> my bigger worry is in computer science, where there is not really as prominent of a culture of theory building. If the problem solvers get automated away will anyone even care to keep the theory builders around 2025-12-07T15:56:04Z https://nostr.now/nevent1qqstt7w3k5cxpykkpgczm84pa67m4w2yer94z9e9cg3nxpwhprxcraszyphw029udr7js90e3r88tuk9aeyzgr2gvsh6xupy4axr2eqcfvf5ujc4739 Code is cheap, don&#39;t be afraid to throw it away 2025-11-21T04:32:44Z