I don't think I have posted here about probably my favourite paper, and I have recently been reminded that it might be a good idea: https://intelligence.org/files/ParametricBoundedLobsTheorem.pdf
It's about achieving cooperation in the open-source version of the Prisoner's Dilemma in practice. (It's predecessor paper about doing this with infinite resources is also pretty good.) It uses Löb's theorem in such a beautiful way and the end result is somewhat surprizing, especially to people not used to thinking about provability.
Unlikely anyone would be interested, but I'm passionate enough to gladly explain the ideas in this paper and generally things about Löb's theorem personally. I'll probably write this down at some point, but for now anything up to a Jitsi meeting is on the table if you, dear reader, are interested.
