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
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
Public Key
npub19g08hs25dvevtvylm49vv369qswlan35uhuz6uqz07s92wdspzus4jgnhcNIP-05 Address
jesper@agda-club.mostr.pubProfile Code
nprofile1qqsz58nmc92xkvk9kz0a6jkxgazsg807ec6wt7pdwqp8lgz48xcq3wgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qzxthwden5te0wfjkccte9eeks6t5vehhycm99ehkuegj3hrfnPublishing to
relay.mostr.pub relay.mostr.pub
relay.shitforce.one relay.shitforce.one
relay.nos.social relay.nos.social
Author Public Key
npub19g08hs25dvevtvylm49vv369qswlan35uhuz6uqz07s92wdspzus4jgnhc