Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.

Talk to me about:
- Agda and dependently typed programming
- Tabletop role-playing games @dregntael
- Neurodivergence
- Mindfulness and self-compassion
- Effective altruism
- Creativity and imagination
- Climate change and transformative justice
- Playing bassoon and clarinet
- Hiking and landscape photography
- Books (https://www.goodreads.com/user/show/26066459-jesper)
- Anime (https://www.imdb.com/list/ls031529857/)
- Board games (https://boardgamegeek.com/collection/user/dregntael?own=1)