Chris Martens
chrisamaphone
who out there is working on tools for {programming, digital creativity} in the pursuit of *liberatory* technology, as a reframing of concepts like usable/accessible/learnable? (see https://www.nature.com/articles/d41586-020-02003-2 re: shif
Read more
Multiset rewriting, petri nets, PDDL planning, linear logic, and vector addition systems, are all different representational systems with large overlapping isomorphic fragments. This makes it hard to look up related
Read more
Programming Languages as a discipline has traditionally been approached using the research methods of mathematics: formal definition and proof. There are some who challenge us to approach it as a
Read more