chris martens chrisamaphone@hci.social

not a real worm but apparently a real doctor

Teaching game design and programming languages. Making rule systems, languages, notations, abstractions, little programs, and research papers.

Sometimes wanton shitposter. Sometimes too earnest to make jokes.

¬(∀x. free(x)) ⇒ ¬∃x. free(x)