Owen Lynch on Nostr: People who are in this picture or want to be should come find me at POPL (Geometric ...
People who are in this picture or want to be should come find me at POPL (Geometric Type Theory).
Owen Lynch
npub1cj…fxs07
2026-01-14 07:38:01 UTC
Author Public Key
npub1cjyyl7y66997ewku92pzvvhkyec43k7cde44rhgayxdwwl63axdqafxs07Seen on
wss://relay.ditto.pubPublished at
2026-01-14 07:38:01 UTCEvent JSON
{
"id": "e29ab36945ae57325fd2687f82bfcda271fe189c11f258bf7661f4ae87dbf81a",
"pubkey": "c4884ff89ad14becbadc2a822632f6267158dbd86e6b51dd1d219ae77f51e99a",
"created_at": 1768376281,
"kind": 1,
"tags": [
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/115/892/306/682/803/227/original/eb1882d6bd4499e9.png",
"m image/png",
"dim 1185x656",
"blurhash U9S6Pl_4D%?bt8M|a#t7t8IVM{t7t8a$ayfP"
],
[
"proxy",
"https://mathstodon.xyz/users/olynch/statuses/115892307975062786",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "People who are in this picture or want to be should come find me at POPL (Geometric Type Theory).\n\nhttps://media.mathstodon.xyz/media_attachments/files/115/892/306/682/803/227/original/eb1882d6bd4499e9.png",
"sig": "8ae91038a776a5ed3e772ac37005fcefcdf93bd1c07fbf9da3a8e62c56f438d2ca43da1e1862c0373b94036159ba597eadcc8d4d534a1ea86aee4f651e1c2432"
}