eastWestMath

46 ms·

1. 181.▲
   by eastWestMath 10y ago

   Exactly what do you not wish to share publicly? Signing a petition is public by definition.
2. 182.▲
   by eastWestMath 10y ago

   Lots of languages have these features and it works fine. Finding the type of an expression is one of the canonical applications of a constraint solver.
3. 183.▲
   by eastWestMath 10y ago

   I'm confused, shouldn't people be supplying type signatures to make the compilers job easier? I use plenty of lambdas in Haskell, but my top level functions are always typed.
4. 184.▲
   by eastWestMath 10y ago

   I think that's a bit tone deaf. He doesn't think he owns his street so it doesn't occur to him that other people feel that way, and that's a pretty fair stance. That mindset is why a lot of people hate the suburbs.
5. 185.▲
   by eastWestMath 10y ago

   This just in: web dev body shop is perfectly happy with bootcamp grads.
6. 186.▲
   by eastWestMath 10y ago

   Yeah, I know mathematicians are often incredibly productive during their post-docs. Mind you, if you aren't its a kiss of death to your academic career.
7. 187.▲
   by eastWestMath 10y ago

   I prove them.
8. 188.▲
   by eastWestMath 10y ago

   As a theorist, not it goddamn doesn't.
9. 189.▲
   by eastWestMath 11y ago

   I'm at a Canadian school and work for a pretty well known prof (well known in my field, at least). The more I've encountered people who've always been in "elite" institutions, the less I've been impressed.
10. 190.▲
    by eastWestMath 11y ago

    If they're just terms, then it doesn't matter that they're terms from abstract math. However, this way there's the benefit that it's super easy to find resources, since you have all of the mathematical literature.
11. 191.▲
    by eastWestMath 11y ago

    I didn't say it's included, I'm saying anyone capable of a bachelor's degree in STEM is capable of picking it up. And if you think you were a "theory" person, but don't know the basics of abstract algebra,
12. 192.▲
    by eastWestMath 11y ago

    If it's something a sophomore with no background beyond calculus can handle, it is simple stuff. It's ridiculous that treating software engineers as though they have a bachelor's degree in STEM makes you a "LambdaBro.&qu
13. 193.▲
    by eastWestMath 11y ago

    I don't think you understand that a programming language is a formal language that gets interpreted by a machine. It's pretty much mathematical logic the whole way down, and the fact that you can think they're a cultural&#x2F
14. 194.▲
    by eastWestMath 11y ago

    I feel like mathematicians are the ones who get to decide what constitutes basic algebra.
15. 195.▲
    by eastWestMath 11y ago

    Saying timed exams in math test for speed is a simplification. Perhaps at the underclassmen level, but I've found for a lot of upper level courses the tests were more about making sure you have certain concepts internalized and can mak
16. 196.▲
    by eastWestMath 11y ago

    Dude, I'm a grad student in categorical logic and I've worked with PLT. That's why I used them as an example. To formalize most math, the simply typed lambda calculus won't do, you need dependent types. But the logic use
17. 197.▲
    by eastWestMath 11y ago

    > I'd say that CS was a superset of math, not the other way around. "Computer" is just the name we give to the whole class of physical tools we use to study information. Then you'd be ignoring that a whole mess of mat
18. 198.▲
    by eastWestMath 11y ago

    >A reoccurring theme was to mock the principals son, who was in our grade and acted like a prince. Err, cyber bullying?
19. 199.▲
    by eastWestMath 11y ago

    I'm sorry - both you and your brother have been expelled, and you think the fault is with the system and not how you're being raised?
20. 200.▲
    by eastWestMath 11y ago

    I mean, we have similar programs in Canada and it isn't a problem...
21. 201.▲
    by eastWestMath 11y ago

    >Writing a package manager (been done before, a lot of times) is far different from writing machine learning algorithms (new field, blazing the trail for the industry). One requires an engineer, one requires a scientist. I mean, a packag
22. 202.▲
    by eastWestMath 11y ago

    I mean, that's a little strong. My undergrad degree is in math, so I would be thrilled if I was sitting in an interview and was being asked questions like that instead of stuff about how computers actually work.