Jesper Agdakx @agdakx@types.pl

Once Jesper Cockx but now running Agda instead. Assistant professor @ Programming Languages TU Delft.

Other things I care about include:
- Effective Altruism
- Climate change
- Mindfulness and self-compassion
- Creativity and imagination
- Neurodivergence
- Open source software
- Constructive mathematics
- Applied rationality
- AI safety

Hobbies:
- Playing and collecting tabletop role-playing games (@dregntael)
- Playing clarinet & bassoon (https://harmoniedelft.nl/)
- Hiking and landscape photography
- Watching anime (https://www.imdb.com/list/ls031529857/)
- Reading (https://www.goodreads.com/user/show/26066459-jesper)
- Playing board games (https://boardgamegeek.com/collection/user/dregntael?own=1)
- Playing (indie) video games