Conversation

Notices

1. バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Tuesday, 03-Aug-2021 11:51:14 JST バツ子（痛いの痛いの飛んでけ;;
   "what was the stumbling block that you hit, or that people hit, when trying to learn about category theory?""oh, the biggest stumbling block is that mathematicians, they just don't explain things the way that's easy to understand ????. it's like, when you read a mathematical paper or a book, it's written in a certain style, you know?""is it that it's written for mathematicians to understand and not programmers?""i think it's a culture, it's a culture thing you know it's like, there's even, being a physicist, you know, i see the difference in culture between physics and mathematics. in physics you know we had this great guy feynman who, he would always try to explain things in the simplest terms, and he loved giving talks to outsiders trying to explain quantum field theory, you know, and mathematicians don't do that. they write these abstract papers and, if you don't get it, you know, it's like you're stupid because you don't get it, you know?, you shouldn't be reading this. whereas feynman had the opposite like 'if i can't explain it it means i can't understand it' "https://chtbl.com/track/7D91G/traffic.libsyn.com/secure/corecursive/035_-_CT.mp3
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Tuesday, 03-Aug-2021 12:03:20 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • mia
     @mia mmm, have thought since HS, feels like maths' problem is a syntax problem, like it's basically this massive feature-creep programming language designed by thousands of people over thousands of years and all of them disagreed with each other and then every paper has to spend pages describing it's own custom extensions
   • mia (mia@movsb.0x0.st)'s status on Tuesday, 03-Aug-2021 12:03:21 JST mia

     in reply to
     @shmibs remember that one time spending a day trying to chew through this 12 page paper on an algorithm which i then implemented in about 50 or so lines of Cscrew that, i’m here to get work done not to feel smart
     バツ子（痛いの痛いの飛んでけ;; likes this.
   • バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Tuesday, 03-Aug-2021 12:04:46 JST バツ子（痛いの痛いの飛んでけ;;

     in reply to

     • mia
     @mia and then you have undefined behaviour everywhere...