#neuhier I previously lived in Darmstadt, but now I live in Mexico. I participate in a Discord-based reading group for the Types and Programming Languages book, we just finished covering Simply Typed Lambda Calculus. If interesting, please let me know and I can help get you up to speed and you can join us.

just moved my account from x0r.be but it seems i can't access the list of people i follow after having migrated all the people that follow *me*. Oh well, I can start from scratch :O