It's definitely something I would make known/have made known in my resumes/applications, especially my training with modern symbolic logic/metalogic! But yes,

It's definitely something I would make known/have made known in my resumes/applications, especially my training with modern symbolic logic/metalogic! But yes, even philosophy in general I think has some more organic agreement to coding beyond that. The hardest language anyone could grok is probably the First Critique and works like that, and really understanding it is quite akin to the abstract kinds of thinking you need for coding.