About Jesper Agdakx 🔸

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Effective Altruism
- Veganism
- Neurodiversity
- Mindfulness and Engaged Buddhism
- Woodwind instruments (particularly bassoon and clarinet)
- Hiking and landscape photography

Lists

Timeline

jesper has no activity yet