![@aleks@hachyderm.io avatar](https://kbin.social/media/cache/resolve/avatar_thumb/64/f4/64f4975b50a0a5970f8f436761b7769fdaf588abdde91ad1793e2ccca4b2c01e.jpg)
![@aleks@hachyderm.io](https://kbin.social/media/cache/resolve/user_cover/2f/e6/2fe64e43041e9d6584059fc04de35686e73274e9969f0f07f068d1cd5437c852.jpg)
![@aleks@hachyderm.io avatar](https://kbin.social/media/cache/resolve/avatar_thumb/64/f4/64f4975b50a0a5970f8f436761b7769fdaf588abdde91ad1793e2ccca4b2c01e.jpg)
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.