Code, Bike, Run.
All Cars Are Barricades.
Interests: (computational) linguistics, type theory, logic, software engineering, music, respectful parenting, and tasty things.
This profile is from a federated server and may be incomplete. Browse more on the original instance.