Jesper Agdakx @agdakx@types.pl
- Pronouns
- He/they
- Website
- https://jesper.cx
- PGP
- 42dd565502cfa3768fda297748c6e03082b16e63
- Alt account
- @dregntael@dice.camp
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
The 36th #Agda Implementors' Meeting will happen in Delft on 10-16 May! Find all the details and register at https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI. Proposals for talks, discussions, and code sprints are welcome too!
#Agda 2.6.3 has (finally) been released! Get yours now at https://hackage.haskell.org/package/Agda-2.6.3/changelog and get a complimentary performance boost to your Agda code FOR FREE!
Listening to the Type Theory Forall podcast with Kevin Buzzard (@xenaproject). Really interesting view on how theorem provers are viewed in mathematics and where formal mathematics is heading. It's making me think about what the Agda community could learn from this. Strongly recommended you give it a listen!
https://www.typetheoryforall.com/2023/01/16/26-Kevin-Buzzard.html#07a08a85
I didn't expect we would ever see a replacement of #Agda's oldest components, but here it is: https://github.com/agda/agda/pull/6410
New PR for adding explicit polarity annotations to #Agda: https://github.com/agda/agda/pull/6385 Really looking forward to having this, check it out!
Just one of the very exciting code sprints at the #Agda meeting in Edinburgh: explicit polarity annotations (screenshot posted by Josselin Poiret on Zulip).
#introduction I'm a programming languages researcher who works on bringing ideas from dependent type theory into practice. I am also one of the core developers of the #Agda dependently typed programming language slash proof assistant. I am currently assistant professor in the Programming Languages group at TU Delft.
I blog very irregularly about Agda and stuff on my website: https://jesper.sikanda.be/blog.html
In my free time, I play clarinet and bassoon and role-playing games of the tabletop variety. I'm also a proud member of Giving What We Can.
- Pronouns
- He/they
- Website
- https://jesper.cx
- PGP
- 42dd565502cfa3768fda297748c6e03082b16e63
- Alt account
- @dregntael@dice.camp
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
