“Higher type recursion, ramification and polynomial time”, a #paper showing how to build a type system that restricts you to writing polynomial-time programs. #complexity #pdf
a Rule 110 #cellular-automaton built out of CSS animation rules, showing that CSS is now in some sense Turing-complete.