Event JSON
{
"id": "99bc93e1ba92a6967fa47c96091130b625e7128949ddab0e87359509a5328913",
"pubkey": "406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"created_at": 1721372697,
"kind": 1,
"tags": [
[
"p",
"c67196ced42da70ef78a47916e63fd982f6a5322c316150f2b319827e97424d8",
"wss://relay.mostr.pub"
],
[
"p",
"580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"wss://relay.mostr.pub"
],
[
"e",
"2770f9232189d16dd0da7313ff6c137f40993477e78a5cd4313399cf7b21811b",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/112811881131227538",
"activitypub"
]
],
"content": "nostr:npub1cecednk59knsaau2g7gkuclanqhk55ezcvtp2retxxvz06t5ynvq26u8re Isn't he just pointing out that equality on reals is ¬¬-stable but not decidable?",
"sig": "84e53ddef8d88dbc09302710e69a2d427acfdcb7610a11bc56d7da8c8692438626e6edc1f87efbf7556deaac200af8d9574c1db7d29da822bac86d0d53b9d933"
}
