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 weeks paper: https://fermatslibrary.com/p/742e7fc0

* A talk about the paper: https://skillsmatter.com/skillscasts/8261-papers-we-love-meetup

* Reddit thread: https://www.reddit.com/r/ProgrammingLanguages/comments/arveuk/pl_reading_group_week_4_definitional_interpreters/

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.

Cheers!