Greg Restall on Nostr: It’s a cloudy and cold Tuesday, and I’m inside writing about refinement. At least ...
It’s a cloudy and cold Tuesday, and I’m inside writing about refinement.
At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do.
(That’s an inappropriate #Severance, #prooftheory #ModalLogic and #ClickyKeyboard crossover post. I’m sorry about that.)
Published at
2025-01-07 13:10:42Event JSON
{
"id": "a8b1e07d067d4d3cf7e44290e7a7aa77cc534c1e7837f4b0153d46ae6a6ca792",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1736255442,
"kind": 1,
"tags": [
[
"t",
"Severance"
],
[
"t",
"prooftheory"
],
[
"t",
"ModalLogic"
],
[
"t",
"clickykeyboard"
],
[
"imeta",
"url https://spaces.hcommons.social/media_attachments/files/113/787/236/495/491/562/original/356a6e01db14abc9.jpg",
"m image/jpeg",
"dim 2494x3325",
"blurhash UsGuwMM{D%Rj~qM|IURjt7WBoeWBMxoet7j?"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/113787236658331697",
"activitypub"
]
],
"content": "It’s a cloudy and cold Tuesday, and I’m inside writing about refinement. \n\nAt least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do.\n\n(That’s an inappropriate #Severance, #prooftheory #ModalLogic and #ClickyKeyboard crossover post. I’m sorry about that.)\n\nhttps://spaces.hcommons.social/media_attachments/files/113/787/236/495/491/562/original/356a6e01db14abc9.jpg",
"sig": "d4f73e676117235933dabd4228ad0c9ab7d408b63f3b297b15f45a6ab3c09c0720fb62f65c96cc4dede61e76773fdacd17dd0129412649781657275ac85db2e1"
}
