danharaj

66 ms·

631.
by danharaj 8y ago
> Only in the sense that you can compare them, but then, you can compare anything, so literally anything is comparable in that sense, which robs the word of all meaning. I think there's quite a bit more in common between a 1400&#x27
632.
by danharaj 8y ago
Classical logic is optimized for the verification that no contradiction is made and convenient mathematical manipulation: Boolean algebras are very nice. Unfortunately intuition goes out the window. On the other hand I found intuitionistic
633.
by danharaj 8y ago
You might be surprised to learn that there are entire disciplines of scholarship dedicated to comparing countries, organizations, and groupings of people.
634.
by danharaj 8y ago
The Higgs boson was predicted in 1967 whereas the article talks about physics in the last 40 years, which excludes that prediction. 40 years is not a particularly cherry-picked number. If HEP hadn't produced a confirmed prediction in
635.
by danharaj 8y ago
Only if evolution is much slower than technological development for our dumber ancestors. If it would have taken them a million years, then they would have gotten smarter before they could do it.
636.
by danharaj 8y ago
You don't have to be an asshole all the time to be an asshole.
637.
by danharaj 8y ago
I haven't noticed. In fact, it's been a several weeks since my commute was interrupted severely. I hear the green line is doing pretty badly though.
638.
by danharaj 8y ago
There were never famines under capitalist rule.
639.
by danharaj 8y ago
I mean, Marx specifically thought that communism could not be achieved by jumping from a pre-industrialized economy and skipping capitalism.
640.
by danharaj 8y ago
A spectre is haunting Hacker News...
641.
by danharaj 8y ago
Are you saying that it is physically impossible for the Israeli government to collaborate with antisemites?
642.
by danharaj 8y ago
Well, first of all, something like antisemitism doesn't have to be self-consistent to be a thing. Second of all, actually, other Jewish billionaires are also targeted: https://www.cnn.com/2018/10/28/polit
643.
by danharaj 8y ago
He's Jewish and a billionaire.
644.
by danharaj 8y ago
No. It's a tradition far older than that.
645.
by danharaj 8y ago
There's a reason why George Soros is singled out among liberal billionaires by certain right wing groups, and it certainly isn't evidence.
646.
by danharaj 8y ago
Right, that is the formula for multisets, or bags as they are also called.
647.
by danharaj 8y ago
Maybe it's a broader proble with society.
648.
by danharaj 8y ago
> Would you consider drones and smart bombs bad when the alternative is carpet bombing? No one was ever going to carpet bomb a wedding.
649.
by danharaj 8y ago
> classical linear logic embeds into intuitionistic. Wait, really? As I understand it there are things provable in LL that can't be proved in ILL. Can't find the citation though. It should be noted that double negation transla
650.
by danharaj 8y ago
A constitutional republic is a form of representative democracy. You do not understand because you misunderstand.
651.
by danharaj 8y ago
Care to guess what you've said about yourself with this critical comment? :^)
652.
by danharaj 8y ago
In other words, people here are more concerned with a phenomenon that is measurably rare relative to the downright epidemic that people are seeking to counteract. I think that says a lot about one's values.
653.
by danharaj 8y ago
> but it should be roughly 50-50. Why do you think that?
654.
by danharaj 8y ago
None of those quotes are particularly hard to understand, even excised from their context.
655.
by danharaj 8y ago
There is a difference between a function `f` and the expression `x + 2` in your example. In fact, `f` as a function completely hides the expression from which it was defined. Usually functions are considered equal if they have the same valu
656.
by danharaj 8y ago
Where did you get that idea?
657.
by danharaj 8y ago
> You don't care at that point, but you don't destroy the information either. You know that (R, +) forms a group and you might use that group structure to, say, efficiently sum a list of reals - but you know that the answer is
658.
by danharaj 8y ago
Undoing the Demos by Wendy Brown
659.
by danharaj 8y ago
> Most abstraction isn't about state at all (you won't find state anywhere in the definition of a group, say). Sure, but you also wouldn't care that π is defined as an equivalence class of cauchy sequences if you're t
660.
by danharaj 8y ago
> The defining characteristic of OOP is that hidden state. Hidden state is the characteristic of abstraction, period. OOP has no special claim to it.

More ›