nmrm2

24 ms·

451.
by nmrm2 11y ago
This is a slippery slope argument, and in this case it doesn't make any sense. We can't know every trigger, but it'd be pretty surprising if a description of rape wasn't one. Your argument has the same flaws as the argum
452.
by nmrm2 11y ago
Your comparison is hyperbolic for two reasons. First, most universities are NOT censoring content or attaching warnings to texts. Period. This is obvious from the article. Second, there's a difference between warnings and censorship.
453.
by nmrm2 11y ago
>I'm surprised it isn't working. Remember this next time someone suggests getting rid of tenure or cutting federal research funding. Especially for areas of research that are politically or economically hot (climate/envi
454.
by nmrm2 11y ago
He was merely stating how nice it would be for the department to have an industry voice involved in the search. Of course it can be hard to find high-quality people in industry who are willing to volunteer their time to the university in or
455.
by nmrm2 11y ago
Out of pure curiousity, 1) how many extra hours did your employee work (i.e. over an 8 hour work day)? 2) if extra hours > 16, how do you feel about that? (FYI as an employee I'm pretty eye-rolly if I get a day off as a "favor&
456.
by nmrm2 11y ago
A little bit like the anti-procrastination feature on hn.
457.
by nmrm2 11y ago
Conspicuously absent in Bill Gross's "four types" theory at the first link is the Engineer -- the person (team) who actually creates the thing all the high-paid celebrities will hype/sell. All four types are essentially
458.
by nmrm2 11y ago
Someone down voted this? Archival-grade hosting is pretty expensive -- it means the cost of publishing a paper is the cost of serving that paper (and keeping backups, maintaining the software infrastructure, etc) for... ever. Typically both
459.
by nmrm2 11y ago
Wasn't me, but you might've been downvoted because the book description states: The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example. So, there is a proof ass
460.
by nmrm2 11y ago
Agreed. But I think this is important to point out. It's not as if scientists are lazy or greedy -- they spend the most time and get no benefit out of publications in journals in the status quo. There just aren't compelling altern
461.
by nmrm2 11y ago
1 - Publicly available archival-quality publishing for all science done in the US would cost at least millions a year to administer. The idea is nice, but is just an idea without the funding to make it happen. 2 - Peer review problems could
462.
by nmrm2 11y ago
I'd assume the book has probably been in the works for a while.
463.
by nmrm2 11y ago
Oh definitely. But TBF it's far easier to move what's essentially a giant fancy boat than it is to uproot a structure on land. When it comes to really massive (predictable) storms, I'd rather be living on an easily movable bo
464.
by nmrm2 11y ago
> I think of this as a kind of bootstrapping procedure Sure, but a lot of the reasons they list are essential. E.g., calmer waters near large bodies of land and therefore in sovereign water. Proximity to supply chains that lead to&#x2F
465.
by nmrm2 11y ago
> They are piggybacking on the already-established international legal framework. Well, no. Being out on the open sea would put them within the international legal framework. They're piggybacking on some national legal framework,
466.
by nmrm2 11y ago
Does anyone else find it ironic that they have a big page about the failure of modern democracies to protect rights and how setting out to the sea can free us from tyrannical governments with run-away spending, followed by [1]: The Floatin
467.
by nmrm2 11y ago
> If it were a technical journal, maybe they wouldn't be related. But they're definitely related for a popular article. Hence my last paragraph -- they're only related in the sense that the entire formal methods/ver
468.
by nmrm2 11y ago
You also don't have to prove a theorem in order to use it. To give an elementary example, you can conjecture that a given mapping is something-morphism between two groups and use that morphism to carry out a proof about one group in te
469.
by nmrm2 11y ago
TLA+ is better described as a verification tool than as a proof assistant, and is better suited to analysis of software systems than to analysis of the sort of mathematics in which Voevodsky is involved. The most striking characteristics th
470.
by nmrm2 11y ago
In principle, yes. In actuality, you can always introduce new axioms and work with them. http://en.wikipedia.org/wiki/Homotopy_type_theory#Univalence...
471.
by nmrm2 11y ago
"What is justice/fairness?" is one of those philosophical questions that will never be closed. Claiming that there exists some ground truth definition of fair is, frankly, naive. Terms like "just" and "fair&quo
472.
by nmrm2 11y ago
There's a fundamental mismatch between the claim you're making and the evidence you're presenting in support of that claim.
473.
by nmrm2 11y ago
The 60ish percent number almost definitely includes community college ("2 year") degrees, which German apprenticeships mirror. The percentage of Americans with a bachelors degree is closer to 28 percent.
474.
by nmrm2 11y ago
> limit ownership of firearms Slavery limited, among other far more obvious things, access to firearms. > control speech to stop anti-american and pro-british propaganda and the like http://en.wikipedia.org/wiki/A
475.
by nmrm2 11y ago
> You're missing the point that managing a _consistent_ income of $1440/mo is far easier than doing so for an _inconsistent_ income which averages to $1440. I think my point was exactly that now we're just comparing degr
476.
by nmrm2 11y ago
Speaking of politicians with CS degrees, Herman Cain has an MS in CS [1]. Not sure what my point is. [1] http://en.wikipedia.org/wiki/Herman_Cain
477.
by nmrm2 11y ago
Surviving on 1440 in many parts of California would not be nearly as easy as you make it sound. One wrong step (e.g., a high medical bill -- even with insurance) and you're into the endless cycle of credit card debt with no way out. (e
478.
by nmrm2 11y ago
"Having been rescued from the clutches of object-orientation by early exposure to Mathematica" I kind of laughed at this line, because this seems like a situation where the author came to the correct conclusion for all the wrong
479.
by nmrm2 11y ago
I tend to agree with this. Whenever I'm tutoring and students are having trouble with some piece of syntax, that's almost always the most trivial problem. I've often encountered students who think they need help with syntax,
480.
by nmrm2 11y ago
No, the squatters have just moved to the .tld level where they can extract even more value. That's what this entire article was about.

More ›