Cody on Nostr: neat! I always forget what the mathy definition is, though. Some kind of local ...
neat! I always forget what the mathy definition is, though. Some kind of local cut-elimination?
Cody
npub1ah…vhw9x
2024-10-03 21:01:05 UTC
in reply to nevent1q…yrj2
Author Public Key
npub1ahl7tmpdsaqrpxgyjrpqhnhvegk3acmfqdz38g7mst0lkrc07ppsrvhw9xSeen on
wss://relay.momostr.pinkPublished at
2024-10-03 21:01:05 UTCEvent JSON
{
"id": "9a54dd0f9f16ceb44873945b93be09844bb19698333aff1b4d7cdda2d7ee88e4",
"pubkey": "edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043",
"created_at": 1727989265,
"kind": 1,
"tags": [
[
"p",
"7b18490a7c6d49144740dd7024285904ea5bb5b8b941af497cd7ca6fe00d2940"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"p",
"20620c8fffc921adb198ad4e702673713d1543b1c59fbc83c4e652226a62dfa4"
],
[
"e",
"4cb7f39c81ec254f1fad73618c4c5e0e2d949e85d4fb343118a653d1e6726b63",
"",
"root",
"20620c8fffc921adb198ad4e702673713d1543b1c59fbc83c4e652226a62dfa4"
],
[
"e",
"7251563cd863f58cb6814a7d6eb6b2c3b8ae54ebceb5e1ccdbd1802f155f014e",
"",
"reply",
"7b18490a7c6d49144740dd7024285904ea5bb5b8b941af497cd7ca6fe00d2940"
],
[
"proxy",
"https://mathstodon.xyz/@codyroux/113245504522953502",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/codyroux/statuses/113245504522953502",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/codyroux/statuses/113245504522953502",
"pink.momostr"
],
[
"-"
]
],
"content": "neat! I always forget what the mathy definition is, though. Some kind of local cut-elimination?",
"sig": "0bb784e823bfc63f99248e27dfde28ce581e438feb9d9fbd4aac607563fbdcfcea9414e591bbcdc3b020d3d012cb644d786adb04b11a81950f5e016edcf2daa2"
}