3 ms·
Ah yeah, that's the unfortunate part of those communities haha. But every community has some of those. :) When you say "conferences", do you mean academic conf
by DonaldPShimoda 7y ago
Ah yeah, that's the unfortunate part of those communities haha. But every community has some of those. :)
When you say "conferences", do you mean academic conferences or industry/language-specific conferences?
I found that there were plenty of people deep into category theory at ICFP this year (an academic conference), but most of them had very reasonable perspectives on the utility of CT and things to that effect.