![@jesper@agda.club cover](https://kbin.chat/media/cache/resolve/user_cover/af/44/af44d9bebeb0fd66c31021d7ddd7092113433a40c913e3f0ebca0ef99f908747.jpg)
Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.
Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography
This profile is from a federated server and may be incomplete. View on remote instance