eastWestMath

Exactly what do you not wish to share publicly? Signing a petition is public by definition.

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.

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.

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.

This just in: web dev body shop is perfectly happy with bootcamp grads.

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.

I prove them.

As a theorist, not it goddamn doesn't.

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.

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.

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, then you have an incredibly naive idea of what theoretical computer science entails. Hint: there's a lot of abstract algebra.

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."

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/social phenomenon is a testament to the amazing work PL researchers have done over the years.

I feel like mathematicians are the ones who get to decide what constitutes basic algebra.

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 make certain inferences without a secondary source. Oral examinations would work just as well, of course, but those are usually considered more stressful.

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 used in math is almost always extensional, and type checking an extensional type theory isn't computable. Huge chunks of math, from analysis to chaos theory, are simply not computable.

> 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 math is not, in fact, computable (axiom of choice, law of excluded middle, etc). I think the problem is way too many "computer scientists" are pretty much software engineers.

>A reoccurring theme was to mock the principals son, who was in our grade and acted like a prince.

Err, cyber bullying?

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?

I mean, we have similar programs in Canada and it isn't a problem...

>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 package manager is probably far more rooted in computer science than machine learning (which is basically just applied statistics: software engineering edition).

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.