everything is amplified
proof checks (realistic example checking top level theorem/lemma applies) are kind of like integration tests, but quantifying over an infinity of cases.
bugs in the model are like infinity of bugs. they don't just break some little feature but completely block your progress
dan
npub1up…dczka
2026-08-29 17:09:39 UTC
in reply to nevent1q…qmy5
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-08-29 17:09:39 UTCEvent JSON
{
"id": "35d9a8c016f20d72b126a981ac662c48a4486de30cd9d546d46ae2cf0bcd2bf1",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1788023379,
"kind": 1,
"tags": [
[
"e",
"42e52235b59da25c7275ecdee915523cdddf430b6d77ae0936dc45199f745224",
"",
"reply",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"p",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3muaelakw2k2z",
"web"
],
[
"e",
"af82ea73bd563c5c77a8defb44fb464f86909ff0e063db9ff6154300e5f56fd3",
"",
"root",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaelakw2k2z",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaelakw2k2z",
"pink.momostr"
],
[
"-"
]
],
"content": "everything is amplified\n\nproof checks (realistic example checking top level theorem/lemma applies) are kind of like integration tests, but quantifying over an infinity of cases.\n\nbugs in the model are like infinity of bugs. they don't just break some little feature but completely block your progress",
"sig": "9c1664ff987930a92cef3b970c83cd3ec7c888c961c73a19e25c4fbb6912a61bb3e04adc9e5b2698b5818679bf4adf7e60c4264baeb1531ff8da076dc5b87913"
}