Oh wait I get it’s because it’s an environment mapping names to types—téléscope!
Oh oh I get it because in the nameless representation each INDEX is one greater than the next—TELESCOPE
Ohh I get it because a PI type is an exponential in a CARTESIAN closed category—teleSCOPE.
re: Graphic language, subtweeting, men
You’d think I’d have learned by now.
Graphic language, subtweeting, men
I sometimes forget I can’t make jokes about technical things because all the Men will come and completely miss the joke as it flies over their manheads and mansplain everything to me with their manpeni.
Well done, Man, I commend you on your manpenis, which must be an incredible speciMAN, for you have explained the technical content of my joke so poorly, missing the point so entirely, posting before you have even finished the thread, wherein I answer the question posed (in jest) myself, that the only explanation is a massive quantity, I should guess majority, of the familiar vital fluid must be flowing not into your cerebrum in order to improve your mental faculties, but into your massive, glorious, member!
I think they should warn high school students that if they want to do research it is a LOT of writing. And a surprising amount of presenting and maybe teaching
Like that's not gonna put people off probably... Just a gentle warning about it
And to think that once upon a time after I no longer had to do the concours oratoire I thought to myself, at last, I will never have to do another presentation again if I go into science. WRONG
I also feel bad that I have very devious ideas for catching cheating. monitoring students. but without them ever knowing.
Paren-wielding meta-theorist. Sith Lord of Compilers.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.