nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq4dl60t8cvt8asjxpw7n54xqge85ck08ecjezzfn247xgfe0ugr9qkav7u9 (nprofile…v7u9)
#KRIPKE_game (2025-05-09)
0️⃣1️⃣0️⃣0️⃣3️⃣✅ 6/10
https://www.cannorin.net/kripke
I hadn't learnt about Kripke semantics before, so the link to the Wikipedia article was useful!
Tim Makarios /
npub1re…m3kpf
2025-05-09 23:05:10
in reply to nevent1q…edvp
Author Public Key
npub1re378pstm8gyfxa0l7hlhn2fdfakpsrdatkuyhlldkekwv90x83qnm3kpfSeen on
wss://relay.nostr.bandPublished at
2025-05-09 23:05:10Event JSON
{
"id": "7f3c15d50b9657e2614e6aa9b030e91b1eb5cfbcbc96b2196232124f0f347604",
"pubkey": "1e63e3860bd9d0449bafffaffbcd496a7b60c06deaedc25fff6db36730af31e2",
"created_at": 1746831910,
"kind": 1,
"tags": [
[
"p",
"ab7fa7acf862cfd848c177a74a9808c9e98b3cf9c4b221266aaf8c84e5fc40ca",
"wss://relay.mostr.pub"
],
[
"p",
"1046fd39f212252042d135e44ea84e3f9e86894c803485fd7be9e08d54be50bf",
"wss://relay.mostr.pub"
],
[
"e",
"d94573978d2dd9239654d2f8fd9e89ec276cede49c275bf27f6d27277ed91ed4",
"wss://relay.mostr.pub",
"reply"
],
[
"t",
"kripke_game"
],
[
"proxy",
"https://theres.life/users/TMakarios/statuses/114480376090142502",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq4dl60t8cvt8asjxpw7n54xqge85ck08ecjezzfn247xgfe0ugr9qkav7u9 \n#KRIPKE_game (2025-05-09)\n\n0️⃣1️⃣0️⃣0️⃣3️⃣✅ 6/10\n\nhttps://www.cannorin.net/kripke\n\nI hadn't learnt about Kripke semantics before, so the link to the Wikipedia article was useful!",
"sig": "0c001b512c0a9659548665dc843fd6f69f74b5dc9e248fc266177528ec0a2fb12e85c718301a1c2a327c50655c18de4e25d0053c771530a4153fbde26da4ec11"
}