PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
Public Key
npub10twd8l2ldt7tx4axe7jchm040hy324e28ket8p5a9jk4vy90ly0qxmdyyuProfile Code
nprofile1qqs84hxnl40k4l9n27nvlfvtah6hmjg42u4rmv4ns6wjet2kzzhlj8spz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz9rhwden5te0wfjkccte9ejxzmt4wvhxjmckg24nl
Published at
2026-02-09T15:31:21ZEvent JSON
{
"id": "b7561569142ff1fb77dd07556208ec887c14d9fff598cabf09871bb1a0824a33",
"pubkey": "7adcd3fd5f6afcb357a6cfa58bedf57dc915572a3db2b3869d2cad5610aff91e",
"created_at": 1770651081,
"kind": 0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/HarrisonGrodin",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"HarrisonGrodin\",\"about\":\"PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg\",\"nip05\":\"[email protected]\",\"fields\":[]}",
"sig": "a4f6287b68ddde3601cdbba6b9d0061d0aad355dc635cbfd01da11fbfec9eb2e489d3232261586785908d493ba7a04469a5ba66735cb0df33c4addf0920c242a"
}