Joe Groff on Nostr: why is this so-called "lean" proof 20,000 pages long??
why is this so-called "lean" proof 20,000 pages long??
Published at
2026-10-13 21:22:47 UTCEvent JSON
{
"id": "0cfc526edac02b382b74a0386f3f52c6882b353436a2a1dbbef8b59096c22529",
"pubkey": "9f421947f3e9d65b0c06181f0ccde852d50fab598b7f28e672a4aa44538334b4",
"created_at": 1791926567,
"kind": 1,
"tags": [
[
"proxy",
"https://f.duriansoftware.com/users/joe/statuses/117435699557557477",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "why is this so-called \"lean\" proof 20,000 pages long??",
"sig": "d2d299aa2c5c0b39fdb69c6c14a0f77bd15c50202ce712f8f48e0edc54396afa3cf2d625bf824a4f6b5ddaec319a39b24d4029c7b3f5c145feebe28f349cb9c3"
}
