nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd (nprofile…xuzd) Thanks, these look quite nice! I do like the mathematical angle you take, vs my notes are a bit more implementation driven.
(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!)
HarrisonGrodin
npub10t…mdyyu
2026-02-09 15:47:28 UTC
in reply to nevent1q…2m8c
Author Public Key
npub10twd8l2ldt7tx4axe7jchm040hy324e28ket8p5a9jk4vy90ly0qxmdyyuSeen on
wss://relay.ditto.pubPublished at
2026-02-09 15:47:28 UTCEvent JSON
{
"id": "bafc7018d2b77986b00f7e58cb1de897ffff7aec057046257c4461f1caa19677",
"pubkey": "7adcd3fd5f6afcb357a6cfa58bedf57dc915572a3db2b3869d2cad5610aff91e",
"created_at": 1770652048,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.ditto.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.ditto.pub"
],
[
"e",
"a7095f90c7b65f36a53463e27c21f013e74fff1d9d3fb4c77f3339509efa1c99",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/HarrisonGrodin/statuses/116041452627348208",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd Thanks, these look quite nice! I do like the mathematical angle you take, vs my notes are a bit more implementation driven.\n\n(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!)",
"sig": "b8749097a0662a872455faa79b1093d9d1af1047557b53cef3e0ddb11a7b6206c907079514bdfd0109b2a98d5b104a181b2ad72002fcef0cf62110f0f81ee8c9"
}