ynniv on Nostr: buzz verifies some pieces using TLA+ ❤️
buzz verifies some pieces using TLA+ ❤️
Published at
2026-08-26 14:57:16 UTCEvent JSON
{
"id": "6a4b5dc78b898a2ea5526bc02ec018a268010b1211be2d38c51452982199b70c",
"pubkey": "576d23dc3db2056d208849462fee358cf9f0f3310a2c63cb6c267a4b9f5848f9",
"created_at": 1787756236,
"kind": 1,
"tags": [],
"content": "buzz verifies some pieces using TLA+ ❤️ ",
"sig": "5211808a36ecddfb7b6a7ca0c2548cbc5155a97fdccc8a656a00975a69534884b4715dcbc9bd20f62002ea5ff16bd7ef14c007fc5ac0adca95bc0ba57bc1b575"
}
