I've been thinking a lot about how linear logic and postfix program is almost entirely about solving special problems and how it feels like it has rewired my brain.
https://wiki.xxiivv.com/site/now#20D
Reading this paper is all kind of clicked.
Devine Lu Linvegan
npub1z8…gmrq6
2026-06-17 23:55:53 UTC
in reply to nevent1q…40vv
Author Public Key
npub1z8rjwhwhg8dna3cq0uz6hded2rdqlegj7lrvcs7s0zd56yj9fdasfgmrq6Published at
2026-06-17 23:55:53 UTCEvent JSON
{
"id": "6d480acac0b64957b2cf60f8953756bd5aecce0f30583bc27f888c2341f491d6",
"pubkey": "11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b",
"created_at": 1781740553,
"kind": 1,
"tags": [
[
"e",
"f9e4b3efffc517e12cc65176fc9b2308a33d690a4f304817df700e112ed704c9",
"",
"root",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"p",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"e",
"eba048ae88597d165c489258eff73536f453139ef37c3030466f973420e4fcee",
"",
"reply",
"681d02ade973883f419f143e7c5b8a3f1f13dd585acd936353d8b39df86b1a9a"
],
[
"p",
"681d02ade973883f419f143e7c5b8a3f1f13dd585acd936353d8b39df86b1a9a"
],
[
"proxy",
"https://merveilles.town/@neauoire/116768148891567341",
"web"
],
[
"proxy",
"https://merveilles.town/users/neauoire/statuses/116768148891567341",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://merveilles.town/users/neauoire/statuses/116768148891567341",
"pink.momostr"
],
[
"-"
]
],
"content": "I've been thinking a lot about how linear logic and postfix program is almost entirely about solving special problems and how it feels like it has rewired my brain. \n\nhttps://wiki.xxiivv.com/site/now#20D\n\nReading this paper is all kind of clicked.",
"sig": "1d567583f84222c2975903cf6b863530decbc183335dcc2ec80f2e7bcce826d88c16196c17295ca1cb0b0eb89aea1ddd422900da465aec0ce70dce31c894b4e0"
}