[DRMacIver]

I mean, I guess I am? I'm technically doing a PhD in it at the moment, but my opinions on philosophy of mathematics don't have much to do with the finer details of test-case reduction.

My actual degree, which is where most of my philosophy of mathematics opinions were developed, is in very pure mathematics. I've done quite a lot of software development since and that's definitely shaped the framing, but the core philosophy is one that I've had since long before I knew much about computer science at all.