catgary

21 ms·

211.
by catgary 5y ago
Not every type constructor is a functor.
212.
by catgary 5y ago
Right, Gawker posted pornography made without a subject’s consent. Then when they were sued about it, they kept the illegal pornography up on their website despite a court order. I don’t like Peter Thiel, but to be honest I think more compa
213.
by catgary 5y ago
I mean, Gawker got destroyed when they ignored court orders to take down pornography that was made without the subject’s consent.
214.
by catgary 5y ago
That’s pretty affiliated, my guy. Comments like that are a bad look, and I’m sure your friend would appreciate it if you took down that comment, or reworded it in a kinder manner.
215.
by catgary 5y ago
Yeah, my understanding is that analysts are often quite strong in that domain of mathematical logic (there’s a similar where algebraic topologists are often incredibly comfortable with categorical logic).
216.
by catgary 5y ago
> But they have investors. Their investors care about portfolio returns, not the elite networks of the VC administrators. I mean, those investors are often part of those networks.
217.
by catgary 5y ago
So, I think the point you’re missing is that how results are proved is just as important as the existence of a proof (in fact, I’d say it’s often more important). That’s why people are often excited about new proofs of old theorems, and w
218.
by catgary 5y ago
> The beauty of maths is that it exists independent of all other considerations. This seems to be where Perelman comes from. Perhaps Perelman goes further. It's hard to say without knowing more of his story, which Perelman doesn&#x2
219.
by catgary 5y ago
Did you seriously not read the rest of my comment, which was about how mathematics is practiced as an ends unto itself?
220.
by catgary 5y ago
I think it's important to remember that the Millennium Prize problems were chosen partly because they would drive the development of new mathematics (it’s not as though the Poincare conjecture or Fermat’s last theorem are useful things
221.
by catgary 5y ago
The hiring process is like, 80% about marketing hype, right? Like you have to manufacture consent for the public to just accept that a private institution has a monopoly on search and browsers. It's pretty clever, I'm surprised Mi
222.
by catgary 5y ago
Yeah, this “intent is the only thing that matters” mindset is a naive perspective on communication. People like to act as though there's some liberal bogeyman reaching for social currency by acting “woke”, when what has generally happe
223.
by catgary 5y ago
And then the leopards at their faces, as it were.
224.
by catgary 5y ago
Brauer has clearly had a different experience with classical mechanics and engineering physics courses than I did…
225.
by catgary 5y ago
I feel like Hagino had talked about coinductive data types in the early 90’s.
226.
by catgary 5y ago
Moggi solved it in his thesis in ‘88.
227.
by catgary 5y ago
I just want to remind you that a family of four muslims was run over by a bigot in London, Ontario in the last week. And that in 2015, Harper and the CPC traded in a dog whistle for a bullhorn when he talked about “old-stock Canadians” and
228.
by catgary 5y ago
They literally dug up 200 kids outside a residential school like a week ago.
229.
by catgary 5y ago
Amjad would have been a pretty amazing reference before this incident (and I’m 80% sure it’s blown over at this point…)
230.
by catgary 5y ago
I think the unique thing about Canada is that students “fall into” prestigious institutions by virtue of being good students who grew up in the area. Basically every student in Toronto with a 90% average in high school can go to UofT. This
231.
by catgary 5y ago
I don’t think school really figures into people’s thought process in Canada. UofT and UBC are massive, and as long as you check the boxes you get in. People in the Saskatchewan may prefer URegina because it’s closer to home, someone from Ne
232.
by catgary 5y ago
Yeah, I think Amjad would be fully justified in saying “Hey, I’m not comfortable with this. I don’t think keeping that website up is worth throwing away a strong reference from the CEO of a highly funded company - do you?”. A reference&#x2F
233.
by catgary 5y ago
I’m sorry that I’m aware of the Armenian genocide and get weirded out when people act like it didn’t happen or was justified. Would you keep watching a movie that took the stance “slavery wasn’t so bad” or “well we can all agree Hitler took
234.
by catgary 5y ago
I’m sorry I’m aware of Armenian genocide, and the genocide denial aspect of the film is well detailed in the movie’s Wikipedia page so it took all of ten minutes to confirm what was happening. To be fair, I think it helped that it is a pret
235.
by catgary 5y ago
Yeah, once I was watching the Ottoman Lieutenant with my wife and parents - I turned it off because the film seemed to be denying the Armenian genocide.
236.
by catgary 5y ago
But what would the cost be to those western Oregonians? I just feel like in their position I’d be tempted to say “don’t let the door hit you on your way out.”
237.
by catgary 5y ago
I mean, stuff like school board and police departments are often organized by county, no?
238.
by catgary 5y ago
Would Oregon necessarily be against this? This seems like a great way to (a) get rid of nut jobs from the state legislature, and (b) get rid of a bunch of counties that sinkholes (financially speaking).
239.
by catgary 5y ago
Consoles have existed for decades applying similar rules to software distribution, no?
240.
by catgary 5y ago
> You don't need a humanities degree to document your local coal mine's history or contribute to your local art culture. Well you don’t need a CS degree to contribute to your town’s tech sector, but it sure helps.

More ›