Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
it's weird, isn't it? i thought non-compsci mathematicians being interested in formalisation would be a good thing, but mostly what it's gotten us is mathematicians pissing around trying to get confabulators to make them redundant.
then i remember that they always hated type theory anyway and have no inclination to learn how to use it.