xamuel

119 ms·

1141.
by xamuel 14y ago
Minor nitpick: Godel does not say theorems can't be enumerated , obviously they can be, just use brute force. Rather it says theorems provable from sufficiently strong axioms can't be decided . So if you want to know whether your axiom
1142.
by xamuel 14y ago
>(Wolfram?) Wolfram is largely considered a crackpot by actual scientists and mathematicians, and for very good reason. See: http://masi.cscs.lsa.umich.edu/~crshalizi/reviews/wolfram/
1143.
by xamuel 14y ago
So all China needs is for a Chinese woman to claim the Dalai Lama raped her in China, and China can demand the Dalai Lama be extradited to China! Brilliant!
1144.
by xamuel 14y ago
When I saw this, the first thing I immediately thought was: why don't webcomic authors use this to fix the problem of people linking directly to their images instead of the pages their images are on? This could revolutionize how webcomics
1145.
by xamuel 14y ago
This is one of the worst articles I've ever seen posted at HN. All seven of the writer's (extremely paranoid and passive aggressive) tips could be obsoleted by one single alternative: post your paper on the arXiv. The author seems to hav
1146.
by xamuel 14y ago
Everywhere I've been, "candidate" is a technical term and first-years are definitely NOT. But even if there are universities where you become a candidate upon admission, presumably you remain a candidate all the way to the end, so "...a Ph
1147.
by xamuel 14y ago
Those ridiculously too-good-to-be-true hosting deals are awesome if you've got a blog that nobody ever reads. The instant one of your posts goes viral, expect your page to be unceremoniously shut down with no call or email to you. Which i
1148.
by xamuel 14y ago
I hate how overhyped this article is. It should be titled something like "five basic tweaks to speed up your LAMP webpage". Instead, they're hyping it up as if they'd written their own custom http daemon.
1149.
by xamuel 14y ago
Negative. To publish in an Elsevier journal you must sign away your copyright. The authors do NOT hold copyright. And that's part of why the situation is so ridiculous and urgently needs to be fixed.
1150.
by xamuel 14y ago
The journals would not vanish if the publisher went bankrupt. Their back issues would become accessible through Portico ( http://www.portico.org/digital-preservation/ ), which exists precisely for that purpose. The endgame is ensuring that
1151.
by xamuel 15y ago
Math PhD student here. The issue is that people are confusing two symbols which are distinct: the solidus (/) and the obelus (÷). The latter is rather obsolete and it's not clear why exactly calculators use it. Anyway, this blog post cl