just a little bit of self promotion, as a treat:
i think more people should read and cite my paper on my using multiset rewriting (secretly: linear logic) to represent game mechanics, showcasing my programming language ceptre:
https://www.convivial.tools/PapersPublic/ceptre-tog.pdf
there was a much earlier paper i wrote towards the end of my phd (2015) that described the language, but this one is a proper implementation-independent definition, meant to show how one could implement these ideas from scratch.
chris martens /
npub15p…mwhd2
2024-09-13 16:53:30
Author Public Key
npub15pejcagya70mssj8a5dp6htdkdw93h4wzk952favkktwh40sqs3scmwhd2Seen on
wss://relay.mostr.pubPublished at
2024-09-13 16:53:30Event JSON
{
"id": "f8caeaaec503c3aef654e96574acc19d4d009da510f42f2b5f7887ca5e00d1eb",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1726246410,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/113131284742320660",
"activitypub"
]
],
"content": "just a little bit of self promotion, as a treat:\n\ni think more people should read and cite my paper on my using multiset rewriting (secretly: linear logic) to represent game mechanics, showcasing my programming language ceptre:\n\nhttps://www.convivial.tools/PapersPublic/ceptre-tog.pdf\n\nthere was a much earlier paper i wrote towards the end of my phd (2015) that described the language, but this one is a proper implementation-independent definition, meant to show how one could implement these ideas from scratch.",
"sig": "03f1224f8be851b09df3d4fd1be023a45fd6ce652960d6ac97a203636984645e34da988cace8c59236661e80d545815c6ef21cd6aba11cbd58300065ad3a14a0"
}