2026-02-09T15:31:21Zhttps://nostr.nowNostr notes by HarrisonGrodinHarrisonGrodinhttps://nostr.now/npub10twd8l2ldt7tx4axe7jchm040hy324e28ket8p5a9jk4vy90ly0qxmdyyuhttps://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpghttps://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpghttps://nostr.now/nevent1qqst4lrsrrftw7vxkq8hukxtrh5f0lll0tkq2uzxy47ygc03e2sevaczypade5lata40ev6h5m86tzld747uj92h9g7m9vuxn5k264ss4lu3u74jm4e@nprofile…xuzd Thanks, these look quite nice! I do like the ...
In reply to <a href='/nevent1qqs2wz2ljrrmvhek556x8cnuy8cp8e60luwe60a5calnxw2snmapexgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qv02m8c'>nevent1q…2m8c</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd</span> (<span class="italic">nprofile…xuzd</span>)</a></span> Thanks, these look quite nice! I do like the mathematical angle you take, vs my notes are a bit more implementation driven.<br/><br/>(I wish I could've talked more about the theory - eg, regular expressions being the free monad on the character set, and automata being a cofree comonad!)
2026-02-09T15:47:28Zhttps://nostr.now/nevent1qqsyvrrctmx3xxf6zcst0uvwkzdnr0uc9vfnyk4h9a95len9hvzs0kszypade5lata40ev6h5m86tzld747uj92h9g7m9vuxn5k264ss4lu3uxtlfc6@nprofile…sqfw They could be, but I figured 1 as the terminal ...
In reply to <a href='/nevent1qqsrkqj5lrgqlpnzwd5dfw3f0ee7w3tt8ajgux5nkdtuwczgfn7hwscpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q7c3nv6'>nevent1q…3nv6</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqqpsqfw" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqqpsqfw</span> (<span class="italic">nprofile…sqfw</span>)</a></span> They could be, but I figured 1 as the terminal object/nullary product is reasonable, and same for 0 and initial object/nullary coproduct.
2026-01-29T23:13:14Zhttps://nostr.now/nevent1qqs2dq3nqnsaglwq34admhjp0vmqvveg2gxcqm5y7je5pf4gd028cugzypade5lata40ev6h5m86tzld747uj92h9g7m9vuxn5k264ss4lu3u6g4m9n(series preface, Mathematics and Its Applications) ...
(series preface, Mathematics and Its Applications)<br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/976/427/687/465/368/original/3afd3997bb5faee3.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/976/428/468/800/036/original/c2aac63c021a7229.png">
2026-01-29T04:15:22Zhttps://nostr.now/nevent1qqsgkxvyu92juwap6v6h9edmk4m04cqz9pxh2hdej03h3dc8n60he3gzypade5lata40ev6h5m86tzld747uj92h9g7m9vuxn5k264ss4lu3upqakl3broke woke (⊤,&) (1,×) (1,⊗) (⊤,⊗) (0,⊕) (0,+) ...
broke woke<br/>(⊤,&) (1,×)<br/>(1,⊗) (⊤,⊗)<br/>(0,⊕) (0,+)<br/>(⊥,⅋) (⊥,⊕)
2025-04-22T02:26:33Z