OT: Things we find freaking neat but no place to post

[IPostedWhat]

Damn, he almost made it.

 

[IPostedWhat]

I bet they got crucified for making this?

 

[IPostedWhat]

Needs more explosions!!!!

 

[dash]

Seventeenth century mathematician Johannes Kepler defined some basic rules for the how the planets move, and given his predilections for contemplating spheres, he suggested in 1611 that the most efficient way to stack spheres was in a pyramid formation.

But he was unable to prove it in a mathematically satisfactory way, and the idea remained unproven for 400 years.

New Scientist reports that a scientist named Thomas Hales successfully confirmed Kepler's hypothesis to be true this past Sunday with help from a computer.

Hales first proved it himself by hand in a 300-page paper in 1998, but his solution was only deemed 99% certain to be correct. Seeking that last 1% of certainty, he enlisted help from computers under what he called "The Flyspeck Project."

Two computer programs, Isabelle and HOL Light, went to work formally validating each of the steps in logic required to arrive at the conclusion that spheres are most efficiently arranged in a pyramid shape.

Sure, Hales is glad at having his hard work confirmed to be totally correct, but the real significance of the Flyspeck Project is that computers can do the tedious work of double-checking logical proofs while mathematicians are left to ponder their next great problems.

"This technology cuts the mathematical referees out of the verification process," Hales told New Scientist. "Their opinion about the correctness of the proof no longer matters."

Grocers around the world rejoice as they continue stacking oranges the way they always have.

I love the last line (lol)

 

[IPostedWhat]

 

[forty_three]

Perfect execution of the "High stepping to safety" technique favored by Navy Seals in combat situations.

 

[Phantomphan]

 

[IPostedWhat]

Oh, so that's how they make balloons.

 

[elocomotive]

Needs more explosions!!!!

Are today's kids more courageous? These kids have ZERO flight response. I think I would have been terrified as a 5-year old.

 

[IPostedWhat]

Russia's graduating class of 2014 - "Tanks For The Memories"

 

[IPostedWhat]

 

[dash]

Canada just defeated France 18-16 to make the final of the Women's Rugby World Cup. They'll take on England in the final. France missed the conversion on a late try to send the game into extra time.

 

[buffhockey]

 

[IPostedWhat]

 

[dare2be]

That just makes me want to see the cat being bounced off the ball that the hamster launched from.

 

[forty_three]

 

[elocomotive]

I have so many questions...

 

[jstewismybastardson]

IPW being mounted by a black man

 

[jstewismybastardson]

Canada just defeated France 18-16 to make the final of the Women's Rugby World Cup. They'll take on England in the final. France missed the conversion on a late try to send the game into extra time.

I actually wouldnt mind feeling the thunder in Magali Harveys thighs






/shes no Wendy Mesley though, amirite dash?

 

[jstewismybastardson]

^someone check if that french maid lost her corset on that cutback by Harvey