I've been running a programming language theory reading group on reddit.
I thought I'd bring it over here too as an experiment. You can take part by making notes on "Fermat's library", commenting here or commenting on reddit.
This is a super important paper in the theory of programming languages so I really encourage people to have a read and discuss it if you've got an interest in PLT. Questions welcome, a big part of the value of this group is to be able to help each other understand the ideas.