#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.