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 nature.com/articles/d4158 re: shifting power for an approximation of what i mean by liberatory)
Conversation
Replying to
I really want to put the power of rich type systems into the hands of more people! To demystify them and help to make them a natural, first-class part of everyday programming. They are a powerful, useful tool and I don't want them to remain obscure!