Downloading PDFs of "applicative programming with effects" by Conor McBride¹ and "Lecture notes on the K machine" by Frank Pfenning to my hard drive and hoping I remember to read them before I forget why I downloaded them
…wait… what was the "k machine" and why did i open up a PDF about it?
Uh oh
¹ Brief moment of confusion while I sort out that's a different person from Conor Friedersdorf
mcc
npub15v…vx8ma
2026-10-14 20:34:33 UTC
Author Public Key
npub15vtzh9eq7663ttzt6gk4af9t7ru97459zvxu5s85dlngfl59kf2srvx8maSeen on
wss://relay.ditto.pubPublished at
2026-10-14 20:34:33 UTCEvent JSON
{
"id": "e2b6d3132bc46d6470bd37fc376b5ce64c7834eb8a60c89388cc77f821170b77",
"pubkey": "a3162b9720f6b515ac4bd22d5ea4abf0f85f5685130dca40f46fe684fe85b255",
"created_at": 1792010073,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/mcc/statuses/117441172166291526",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Downloading PDFs of \"applicative programming with effects\" by Conor McBride¹ and \"Lecture notes on the K machine\" by Frank Pfenning to my hard drive and hoping I remember to read them before I forget why I downloaded them\n\n…wait… what was the \"k machine\" and why did i open up a PDF about it?\n\nUh oh\n\n¹ Brief moment of confusion while I sort out that's a different person from Conor Friedersdorf",
"sig": "dd4f7e234c428b14f51cec8935cf2c1904e47db47078121c9598c5dc607479f3f4bba91d3de1e763cfd4adbe852fc98c4f95cdf39bb9d302d367629dee678958"
}