## Comment: Re:Nonetheless a good day (Score 4, Informative) 264 264

## Comment: Re:Cost (Score 5, Informative) 264 264

## Comment: Most Powerful Laser? (Score 1) 294 294

The US Navy has broken the existing record for the power of a laser.

[...]and package it as a 100 kW weapons system[...]

So, NIF isn't a thing anymore? Or is 100kW more than 500TW and someone forgot to tell me?

## + - NVIDIA to build ARM based cores

## Comment: Re:How? (Score 1) 147 147

In the Incompleteness Theorem, a system of axioms is complete if, for all statements in the system, either the statement or its negation is provable from the axioms. A system is consistant if there exist no statements for which both the statement and its negation are provable.

Basically, his "proof" is "Hey, we don't want a contradictory or unfinished definition, right? And those words mean the same thing as consistant and complete! So, Godel!"

## Comment: Correct. (Score 5, Insightful) 315 315

The bottom line is that there are limits to how small things can get with current technology.

They're right, SSDs won't replace hard drives with the current technology. If only we had a way to improve technology over time!

## Comment: Wait. (Score 5, Insightful) 312 312

## Comment: How do they know? (Score 2, Insightful) 118 118

Astronomers are having difficulty pinning down the galaxy's exact mass, but it's clearly the biggest bruiser within 1.5 billion light years of home

I mean, it's the largest galaxy they've seen at this point. But, if a galaxy of that size can go undiscovered for this long, how do they know there's not another one within 1.5 billion light years that's larger? Did they look at all of it, and just leave this little section for last?

Or is the summary just fabricating things that aren't in the article?

## + - Millenium Prize awarded - Poincaré conjecture->

*The Clay Mathematics institute has announced its acceptance of Dr. Grigoriy Perelman's proof of the Poincaré conjecture and awarded the first Millenium Prize. Poincaré questioned whether there exists a method for determining whether a three-dimensional manifold is a spherical: is there a 3-manifold not homologous to the 3-sphere in which any loop can be grdually shrunk to a single point? The Poincaré conjecture is that there is no such 3-manifold, i.e. any boundless 3-manifold in which the condition holds is homeomorphic to the 3-sphere. A sketch of the proof using language intended for the lay reader is available at Wikipedia.*

Link to Original Source

## Comment: Re:NO NO NO NO NO (Score 1) 367 367

## Comment: Re:Do you hear me now?? (Score 0, Offtopic) 510 510

## Comment: Re:Actually the 47th (Score 1) 232 232

And it's easily proven:

If 2^x - 1 is prime, then neither 2^x - 1 nor 2^x is divisible by 3. Of any 3 consecutive integers, one must be divisible by 3. Therefore 2^x + 1 is divisible by 3.

Therefore 2*(2^x+1) = 2^(x+1) + 2 is divisible by 3, and so is 2^(x+1) - 1.

A (completely useless) counterexample: Let x = 2.

## Comment: Re:I understand these modern times and all... (Score 1) 875 875

... but seriously, how is access to a broadband Internet connection a legal right? Somebody please explain this to me, because the article doesn't give any supporting logic.

They made a law that says everyone gets it. Isn't that all something needs to be a legal right?