It looks like you're new here. If you want to get involved, click one of these buttons!
Before becoming a developer, I studied philosophy and math at University, and philosophy in Grad School (8 years ago, now). I've done a moderate amount of formal logic, but never made it more than a chapter into a Category Theory book. I'm hoping to change that last bit, and also to spend a little more time on math than I have for most of the past decade.