It looks like you're new here. If you want to get involved, click one of these buttons!
Hello all. Long-time programmer and math dilettante. Worked on the Scala compiler for many years. Recently decided to take at least six months off of work for full-time study of some subjects which have been elusive to pick up in drive-by fashion, with the deeper aspects of category theory one of the highest priorities. Through what could only have been divine providence, this course appeared at the very same moment.
I'm @contrarivariant on twitter.