This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Jesper Agdakx 🔸

@jesper@agda.club

Joined: Invalid Date

990

Followers

232

Following
ProfileTrailsStatistics

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
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography

Lists

jesper has no public lists

Timeline

jesper has no activity yet