pmrcunha on Nostr: Remember reading the white paper for Simplicity in 2020 and hearing about coq (a ...
Published at
2025-01-23 07:19:56Event JSON
{
"id": "09813902aa6f28dfac2ee5e6059e48354da71eeabd5fe596350a776ed8ded611",
"pubkey": "b299876ba85e33da57269247f7f91aee025f5bd2bc229aa85c7908f37c10c838",
"created_at": 1737616796,
"kind": 1,
"tags": [],
"content": "Remember reading the white paper for Simplicity in 2020 and hearing about coq (a formal proof language) for the first time.\nSpent some time learning it a bit, and even more time making jokes about the name 😅\n\nMaybe time for a re-read: https://blockstream.com/simplicity.pdf\n\nnostr:note1tsavf3wnqujnamj7wacct0gjv5vltwe0k74f64k5zg9r6pjs20fqhhzan0",
"sig": "3a61f02becb7f6106a5b6e3dc6473727559709b065dfa3e74a5a7498392e434489d87f5212537ad759b1ccfd54441432e86dff7ed6446ba31f09640b094acf7d"
}