How does an astronomer trust the results of their telescope? How does a physicist trust the results of their spectrometer? How does the engineer trust that the bridge they built won't collapse?
Proof assistants are our telescopes, our spectrometers, our bridges. We should do our very best to build them as well as we can, but ever getting to 100% certainty is an illusion.
Jesper Agdakx 🔸 /
npub19g…jgnhc
2024-04-02 07:59:59
Author Public Key
npub19g08hs25dvevtvylm49vv369qswlan35uhuz6uqz07s92wdspzus4jgnhcPublished at
2024-04-02 07:59:59Event JSON
{
"id": "1f5d50dba0645d32668c4feed102640d173569c563fa2cd805811dfd35a4436e",
"pubkey": "2a1e7bc1546b32c5b09fdd4ac64745041dfece34e5f82d70027fa05539b008b9",
"created_at": 1712044799,
"kind": 1,
"tags": [
[
"proxy",
"https://agda.club/objects/5569478d-ff97-464d-b065-59ca7e9b990d",
"activitypub"
]
],
"content": "How does an astronomer trust the results of their telescope? How does a physicist trust the results of their spectrometer? How does the engineer trust that the bridge they built won't collapse?\n\nProof assistants are our telescopes, our spectrometers, our bridges. We should do our very best to build them as well as we can, but ever getting to 100% certainty is an illusion.",
"sig": "538d1821b042a62d256506b1e62d68c4e3df90faba721e2d858e8985343e4896d681fafa9d64e433905419d949bbe4eb9552f3e5309bc07b331d1bc13bf5aed5"
}