danharaj

71 ms·

691.
by danharaj 8y ago
> It's also revealing how the unique ability of humans to overcome their fundamental biological nature can be quite impressive and inspiring. That ability is itself part of the fundamental biological nature of humans, or whatever. T
692.
by danharaj 8y ago
What?
693.
by danharaj 8y ago
> that simply means The point is that it's not simple. It will require significant advances in computer science.
694.
by danharaj 8y ago
Why can they? You can't assume fully explicit proofs are practical just because they're plausible. The justification of practicality will be highly nontrivial. If its impractical to write such a textbook then code folding gets you
695.
by danharaj 8y ago
I own a copy of the HoTT book :) > Namely the way in which mathematicians structure proofs has fallen behind the ways in which software engineers structure programs (which are isomorphic to proofs). The problem is that the required struc
696.
by danharaj 8y ago
> Mathematics is very strict science with axioms and following theorems. Mathematics textbooks would be intractably longer if they spelled out every step in explicit, formal detail. And then the proofs wouldn't make sense to people
697.
by danharaj 8y ago
As is often the case, the proliferation of modifiers negates the original sense: Marxism-Leninism vs Marxism.
698.
by danharaj 8y ago
Quantify those issues. At the scale of millions of people (I'm going to assume your 50 million was a typo, not that you're innumerate or gullible), one must quantify. If 100 people out of 100,000 who migrate cause problems, and th
699.
by danharaj 8y ago
I think this retort sounded better in your head than out in the open.
700.
by danharaj 8y ago
Well, for one, intersectionality is about how one describes reality, it is by no means normative and a cursory glance at the wikipedia page indicates as much, with citations if one is so inclined to put any effort at all in thinking critica
701.
by danharaj 8y ago
This is a bad faith interpretation of intersectionality.
702.
by danharaj 8y ago
Like what?
703.
by danharaj 8y ago
They've always thought like this.
704.
by danharaj 8y ago
These aren't extraordinary claims by any means. Historically New York politics have been exceptionally corrupt.
705.
by danharaj 8y ago
Literally a century of changes besides the FDA's role also intervened. The FDA is, to be honest, shit compared to how it could be if it were a better run organization. But it's still better than throwing entire industries to the w
706.
by danharaj 8y ago
They tried banning alcohol? It didn't work? It would be nice if alcohol consumption diminished, but that ship sailed sailed like, 9000 years ago . But no, it's got to be the smarmy wine drinkers who read actual physical copies of
707.
by danharaj 8y ago
We live in a civil society which means we figure out together what our mutual obligations are. Did you not get the memo?
708.
by danharaj 8y ago
Give me a break. Things sucked without the FDA.
709.
by danharaj 8y ago
A page on large numbers is good if it eventually points to Harvey Friedman's work.
710.
by danharaj 8y ago
Nah. I'd prefer a 4 day work week, thanks. Now, if we had the autonomy to both choose how much we work? Sure. But we can't. Gosh I bet there were people making the same argument about working on 7 days a week too.
711.
by danharaj 8y ago
You shouldn't take advice on building a stable financial system from 1920s economists either. Take lessons from their failures? Yes. Not what the GP was saying.
712.
by danharaj 8y ago
Oh damn that'd be great. Similarly, foreign keys in json(b).
713.
by danharaj 8y ago
Vaporizing is much easier on the lungs and the dosage per hit is smaller and more easily controlled (by adjusting the temperature) than smoking.
714.
by danharaj 8y ago
Hardship and misery aren't the same thing.
715.
by danharaj 8y ago
We shouldn't get any banking advice from anyone from the 1800's.
716.
by danharaj 8y ago
The implication was that management was using a worker's final paycheck as leverage to pressure them into signing an NDA. That's using wage theft as a threat.
717.
by danharaj 8y ago
Wage theft in the US is measured in billions of dollars per year. Imagine what other abuses that aren't so flagrant and easy to quantify proliferate.
718.
by danharaj 8y ago
Matter to matter, actually. LHC shoots protons and antiprotons at each other, also it can shoot heavy nuclei and anti-nuclei at each other. Other types of colliders can also use electrons and positrons. https://home.cern/abo
719.
by danharaj 8y ago
> If the factor keeping the stem disparity in place is implicit bias, it is one of the strongest social forces ever to exist Gender? Yea. Gender may very well be the most powerful, persistent, and ancient of social forces.
720.
by danharaj 8y ago
> Some of the labeling heard today What do you have in mind, in particular?

More ›