Andrew Helwer on Nostr: First draft of Leslie Lamport's new book on TLA+ just dropped! ...
Published at
2024-01-06 15:46:22Event JSON
{
"id": "e9531704a3af6a211033a2e97b04d5496f850c194e1e1aac30daa75ebe71d275",
"pubkey": "6235fe36d733665c235dbec5983d768400cdb414ea18e0633cfe9d9c1ac6b02d",
"created_at": 1704555982,
"kind": 1,
"tags": [
[
"t",
"tlaplus"
],
[
"proxy",
"https://fosstodon.org/users/ahelwer/statuses/111709780838145051",
"activitypub"
]
],
"content": "First draft of Leslie Lamport's new book on TLA+ just dropped! https://groups.google.com/g/tlaplus/c/r-7eP7O_Lf8/m/exDc_MHuAQAJ\n\n#tlaplus",
"sig": "5c04bf8419b91aac7bbad48d85b17fb13eb5e1db8b9d577f7c47f6f3bf0fc6f82bc10c4cbfc3f7075f3b0cb703fc77c4f89f4622aab94b0fcc7fe06afe2b407c"
}