Well if you look at the categorical semantics of differentiation, it takes in a function A -> B and spits out AxA -> B. It’s a fairly well developed area of logic/type theory (even at the level of term rewriting systems), it seems the author of the blog post missed it. I probably would have emailed him some references if I’d seen the initial announcement...
All the people I know who went into music therapy needed a masters degree (on top of a background in music). Am I crazy for expecting a mental health profession to require some sort of education/licensure?
There’s a reason why intuitionistic logic comes into studying Lie Groupoids, but I’m not quite sure you understand why. It’s great to see some enthusiasm, but I’d recommend spending a few months working through Barr and Wells before you start publicly advocating like this.
Ehhh, that's a bit of simplistic take on the Unidan story, a lot of scientists were happy to see him go. He spent a lot of time marketing himself so that he became THE biology guy on reddit. The problem is that biology is a pretty broad field, so a lot of his answers were basically wikipedia recaps paraphrased into his "Unidan" voice - answers by people actually knowledgable in the matter at hand would get drowned out (and downvoted by Unidan's alternate accounts, of course).
Uh, I mean, I’m a graduate student at a pretty good Canadian school and this hasn’t been my experience with the Chinese undergrads I teach or grad students I’ve worked with. I’m not saying they’re weak or anything, I just haven’t really seen anything to suggest they’ve been through a much more rigorous education program.
Well yeah, you need to be pretty far along in your mathematical education before you can learn proof based mathematics on your own. One thing I notice when marking undergraduate work is I can tell they mean the right thing, but what they actually wrote is absolutely wrong. A self learner, even armed with a solution manual, will not fix those mistakes.
Screw it, I’ll go against the grain. This is why it’s foolish for CS departments to invest so heavily into trendy areas - either the trend dies, and the faculty member is useless, or the trend is so hot that the faculty members will be hired away. So many schools are desperately hiring ML people to start their own data science stream, and they’re competing with major companies for the top talent.
It’s funny how some disciplines banded together decades ago to found their own open access journals, but other disciplines are still train wrecks in that regard.
I’m a bit nervous for the graduate student in this equation. There’s a lot of angry people in the iota subreddit - maybe the iota foundation is trying to direct an angry internet mob at this student.
The lab director should have handled all communications.
It honestly gave me flashbacks to a few email chains I've had with students in my tutorials. It's really obvious when someone is asking for clarification but it's not in good faith
"Can you explain to me what you think I did wrong in my program? I can assure you everything is correct. Otherwise you're clearly drunk and out to get me."
Smart contract languages are pretty funny - I have yet to see an actual programming language theorist weigh in on them. I read one blogger who was very excited about the type system he was making for his language, but he never actually explained what a type-safe smart contract would entail (i.e. what invariants are encoded into the type system, why do these invariants do the thing, etc).
>It is a great example of someone (the "expert") convincing a non-technical person that they are the "ninja rockstar 11x post-quantum hash function expert".
It's hilarious that he thought that would work with a security researcher at MIT.
I recognize one of the IOTA foundation's members. I won't say his ego wasn't out of control and several professors asked him to take down "papers" from arxiv for being sloppy.
My undergrad math department had a class on mathematical logic (set theory, Peano arithmetic) that was required to take higher level math classes. Wrote down some basic statements (conjunction, modus ponens, etc) and said if this didn’t seem fairly obvious you should reconsider your math major.
I'm sorry, but it just sounds like you're a terrible functional programmer. There are basic software engineering principles you need to use when using a functional language, just like any other programming language.