Code, Bike, Run. All Cars Are Barricades. Interests: (computational) linguistics, type theory, logic, software engineering, music, respectful parenting, and tasty things. Profile pic alt: my ugly mug in sunglasses (middle aged white man) Banner alt: a pink lotus blossom on a dark green background of leaves.
Tags: