lorddimwit on Nostr: #Logic #MenWithoutHats ∀x∈YourFriends (¬Dance(x) →x ∉MyFriends) …this was ...
#Logic #MenWithoutHats
∀x∈YourFriends (¬Dance(x) →x ∉MyFriends)
…this was remarkably hard to type on my phone so don’t @ me.
Published at
2023-07-19 00:07:36Event JSON
{
"id": "637c103e0c0f9880f3d05df56cbaacf65685fcdb6cf1c71667465eeca3d6cbdf",
"pubkey": "b0def5458dcba8a7b9a165a13664b435dabfc85b273c04643ed53f6f64e7926d",
"created_at": 1689725256,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"MenWithoutHats"
],
[
"mostr",
"https://mastodon.social/users/lorddimwit/statuses/110737834417280847"
]
],
"content": "#Logic #MenWithoutHats \n\n∀x∈YourFriends (¬Dance(x) →x ∉MyFriends)\n\n…this was remarkably hard to type on my phone so don’t @ me.",
"sig": "82feec0ddabc9b9c427422a95e577a0b77e78d3a0d6affabb722830448ef908259c8cf7782301d4e6b861101f60ce4098a9bed4d5c40b53dfe432327de9a9d09"
}
