Event JSON
{
"id": "b9c60ed5087c53889e60125b0b809f5de0d0ad1912e1ae22110c86f4fa719093",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1738703822,
"kind": 1,
"tags": [
[
"p",
"f1fa5aba16a432641baf5088309790f7e3c08bf3e0975e7c3e5023dfc2909c97"
],
[
"proxy",
"https://mathstodon.xyz/@highergeometer/113947693677092634",
"web"
],
[
"e",
"67ac08735a2277685bddf8ca0863b48a9f984ceaa0042e7dcba1e73965a2b083",
"",
"reply",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"e",
"1c194f59a6299def494bf2677dd6c27d20f9ff63b954625b75c1e6ada02da25b",
"",
"root",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"p",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/113947693677092634",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/113947693677092634",
"pink.momostr"
],
[
"-"
]
],
"content": "Actually, I only care about \"finite type over Z\", so that rules out the example.",
"sig": "47c718bd49a429ac37dab30fc4f19aa2bee2d2dcbcdf947abaf83012a1c6196cea9b7b45c9422a94ce02214276e390277d830637ff4756f885c8f4a18ec2258f"
}