eastWestMath

11 ms·

61.
by eastWestMath 9y ago
Typed assembly is a thing - it’s mainly to ensure the compiler itself is correct, but it does give stronger guarantees. I think Frank Pfenning at CMU has written a language that’s dependently typed all the way down - so it’s IR and assembly
62.
by eastWestMath 9y ago
Lots of people remember the Irish and Indian famines.
63.
by eastWestMath 9y ago
Wouldn’t you be paying sales/service tax on Google ads, and by not paying for its own ads Google circumvented those taxes giving itself a competitive advantage?
64.
by eastWestMath 9y ago
I just looked on the Apple store app and you can get a Mac mini with a 3.0ghz dual core i7 and 16 gb of ram.
65.
by eastWestMath 9y ago
>Yet there are still people who do not need this guidance and who are still making equally moving contributions but are not recognized or rewarded for their work. And there’s substantially more people spinning their wheels and wasting th
66.
by eastWestMath 9y ago
That’s exactly why saying our projects get recognition “just because we’re paying for a degree” is insulting. Getting into these research groups and receiving funding is usually pretty competitive, and we spend a lot of time on these projec
67.
by eastWestMath 9y ago
>Why should a person who pays a university to give them a project to do get a degree and recognition I have a few issues with this comment. I am a graduate student and while I personally work on the theory side, I have labmates involved
68.
by eastWestMath 9y ago
Yeah, I’m pretty sure a lot of IRA funding came out of Boston. Turns out there were children and grandchildren of potato famine refugees who were still pretty pissed - who’d have thunk it.
69.
by eastWestMath 9y ago
You just needed to replace the battery...
70.
by eastWestMath 9y ago
Someone else pointed out that Apple announced the deprecation of AFP 4 years ago - it’s a bit unfair to say Apple caught you off guard here.
71.
by eastWestMath 9y ago
As someone else pointed out, the deprecation of AFP was announced over 4 years ago, 8 years into this servers lifespan (it’s a 2006 model, right?). This was a problem their network administrator should have been aware of for 4 years, that’s
72.
by eastWestMath 9y ago
Well if you’re not aware of an artists politics you can easily find yourself consuming propaganda. It’d be foolish not to exercise any restraint in that regard.
73.
by eastWestMath 9y ago
Should viewers have decided whether or not Weinstein should still be producing movies? There’s clearly a point where the press around someone becomes too toxic to have a close business relationship with them.
74.
by eastWestMath 9y ago
The market did handle it, there was enough bad press for YouTube so that it was no longer a good business decision to continue their partnership with Paul.
75.
by eastWestMath 9y ago
I’m a category theorist so I’m going to nitpick - the claim that all concrete mathematical objects are specific sets is either tautological (a concrete category is literally one where each object has an underlying set) or untrue (I can thin
76.
by eastWestMath 9y ago
Yeah the entire NCAA system is basically funded by young men playing basketball and football, a few who are objectively being cheated out of millions of dollars (because the ncaa lobbies the nfl and nba to have minimum age requirements).
77.
by eastWestMath 9y ago
I don’t know a why you’re getting downvoted. I find, at least in my department, international students don’t get the same opportunities Canadians do. There’s definitely an archetype of a CS professor who does “interdisciplinary research” wi
78.
by eastWestMath 9y ago
It’s been a while since I’ve done serious statistical work (I’m a logician. There’s many different kinds of distributions (i.e. lines through a field), from which you would make very different inferences - relationships which satisfy a powe
79.
by eastWestMath 9y ago
How does this work with packages like TiKZ or TiKZ-CD? Right now I’m perfectly happy with auctex and aquamacs, but if this did real-time tikz rendering then I would be sold.
80.
by eastWestMath 9y ago
Well it does signal the end of China’s main selling point for American companies...
81.
by eastWestMath 9y ago
Maybe I was unclear, they did bachelors degrees at universities and then later went to trade school.
82.
by eastWestMath 9y ago
I don’t know why it has to be one of the other, university generally isn’t vocational training. I know lots of people who went to university and then did a trades program, I don’t think any of them really regret getting their degree. Of cou
83.
by eastWestMath 9y ago
Clojure did not invent immutable data structures!!
84.
by eastWestMath 9y ago
Eh, everyone but the set theorists ignores the set theorists at this point. I think some exciting things happened in the 60's with forcing, but a lot of the subsequent developments seem pretty contrived.
85.
by eastWestMath 9y ago
Every professor I know who’s involved with programming contests is pretty open that it’s about passing programming tests.
86.
by eastWestMath 9y ago
I think there's some pretty high variance in the quality of machine learning PhDs - some professors are pretty upfront that they have a team of graduate students throwing algorithms at datasets and seeing what sticks. I can't imag
87.
by eastWestMath 9y ago
Well of course there’s more citations 40 years in - there’s a lot of prior work that deserves credit!
88.
by eastWestMath 9y ago
No, I’m saying sophistry contributes nothing to the conversation. I don’t care about convincing you about the subject at hand: you have the opinion of someone who’s invested too much into justifying their ignorance to actually pick up a tex
89.
by eastWestMath 9y ago
And you’re just doubling down on sophistry. Why should anyone take you seriously in this conversation?
90.
by eastWestMath 9y ago
No, I’m pretty sure there’s a pretty large body of academic and industrial research on proving program correctness that you can’t just hand wave away with sophistic “but what if your type signature is wrong” nonsense. And there’s a huge dif

More ›