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)