Email or username:

Password:

Forgot your password?
chris's posts Post Back to profile
chris martens

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:

convivial.tools/PapersPublic/c

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.

13 September at 16:53 | Open on hci.social
7 comments
Devine Lu Linvega

@chrisamaphone this is super neat, I didn't know you were into rewriting : )

13 September at 16:55 | Open on merveilles.town
chris martens

@neauoire mostly when it results from thinking about forward-chaining logic programs, but yes!

13 September at 16:59 | Open on hci.social
Devine Lu Linvega

@chrisamaphone currently reading the paper, it's nice a intersection of domains I love. I'll keep it handy for people interested in breaking into RW systems

13 September at 17:00 | Open on merveilles.town
chris martens

this could be relevant to you if:

- you are working on anything involving linear logic and want more examples of applications.

- you like thinking about games (video and/or tabletop) as rule systems and would like a way to prototype them at that level

- you have thought about implementing a linear logic programming language but don't know where to start

- you have a student or friend who is curious about linear logic and you want to point them to a beginner-friendly tutorial

13 September at 16:57 | Open on hci.social
Go Up