eastWestMath

8 ms·

31.
by eastWestMath 8y ago
Huh?
32.
by eastWestMath 8y ago
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 seem
33.
by eastWestMath 8y ago
There’s a fairly large body of work on the differential lambda calculus that you seem to have missed...
34.
by eastWestMath 8y ago
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?
35.
by eastWestMath 8y ago
Just because more than one person/group of people looks at something does not mean they are all looking at non-overlapping aspects of a large thing.
36.
by eastWestMath 8y ago
Many people at the top of their field suffer from depression. Floer was a 28 year old tenured professor at Berkeley when he killed himself.
37.
by eastWestMath 8y ago
>His family said in a statement that he died after "a battle with depression."
38.
by eastWestMath 8y ago
My university explicitly rewards TAs with high reviews. I swear I’ve walked in on people handing out assignment solutions.
39.
by eastWestMath 8y ago
It can be even worse - I’ve seen TAs who basically serve up assignment solutions trying to get high ratings.
40.
by eastWestMath 8y ago
No.
41.
by eastWestMath 8y ago
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 sta
42.
by eastWestMath 8y ago
They have found a way around that problem...they expel students who share solutions.
43.
by eastWestMath 8y ago
Posting your coursework on a publicly available forum is clearly academic dishonesty, what are you talking about?
44.
by eastWestMath 8y ago
Nah you want to use something like Tikzit for string diagrams.
45.
by eastWestMath 8y ago
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 broa
46.
by eastWestMath 8y ago
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 see
47.
by eastWestMath 8y ago
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
48.
by eastWestMath 8y ago
The public school system is absolutely not a re-education camp, you loon.
49.
by eastWestMath 8y ago
But the value of bitcoin could very easily stabilize at 0 if it falls out of vogue...
50.
by eastWestMath 8y ago
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 hire
51.
by eastWestMath 9y ago
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.
52.
by eastWestMath 9y ago
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
53.
by eastWestMath 9y ago
My point is it’s funny. It’s a group of charlatans dealing with a competent person for the first time.
54.
by eastWestMath 9y ago
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
55.
by eastWestMath 9y ago
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 expl
56.
by eastWestMath 9y ago
>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 s
57.
by eastWestMath 9y ago
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.
58.
by eastWestMath 9y ago
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 see
59.
by eastWestMath 9y ago
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.
60.
by eastWestMath 9y ago
That's literally the opposite of what he's saying - the entire point of monads are their uniform interface for different abstractions.

More ›