These are the things I think about

givememountaindew: What I have learned during my time with...

Sat, 25 May 2013 22:31:16 -0500

givememountaindew:

What I have learned during my time with bangs. I had to return to step one this weekend.

we accept the notes we think we deserve

Sat, 25 May 2013 22:30:30 -0500

we accept the notes we think we deserve

fuckyeahtattoos: Heart beat and waves. I swim and love the...

Sat, 25 May 2013 22:20:25 -0500

fuckyeahtattoos:

Heart beat and waves. I swim and love the water. It simply makes my heart happy. Done by Shane Baker at Powerline Tattoo in Cranston RI.

Really simple bit awesome tatoo

Photo

Fri, 24 May 2013 20:59:31 -0500

Photo

Fri, 24 May 2013 20:48:35 -0500

Photo

Fri, 24 May 2013 20:48:14 -0500

Photo

Fri, 24 May 2013 20:47:31 -0500

sluttyoliveoil: onlylolgifs: Macaroni being made make it...

Fri, 24 May 2013 19:41:58 -0500

sluttyoliveoil:

onlylolgifs:

Macaroni being made

make it rain

ruraljackdaw: psilentasincjelli: ruraljackdaw: voyagesofabookworm: thatwhoviansynesthete: wearej...

Fri, 24 May 2013 19:41:51 -0500

ruraljackdaw:

psilentasincjelli:

ruraljackdaw:

voyagesofabookworm:

thatwhoviansynesthete:

wearejohnlocked:

hungarian:

do british people have a special £ key on their keyboards

how do you hashtag ??????

hashtag is over by the enter key don’t you worry your lil butt

wait

what… what do American keyboards look like then?

oh

"Am I a good person? Deep down, do I even really want to be a good person, or do I only want to seem..."

Fri, 24 May 2013 19:40:52 -0500

“Am I a good person? Deep down, do I even really want to be a good person, or do I only want to seem like a good person so that people (including myself) will approve of me? Is there a difference? How do I ever actually know whether I’m bullshitting myself, morally speaking?”

- David Foster Wallace, Consider the Lobster and Other Essays (via romanceplanet)

sinobug: Female Wasp Moth (family Erebidae, subfamily...

Fri, 24 May 2013 17:35:34 -0500

Female Wasp Moth (Erebidae, Arctiinae, Syntomini)

Female Wasp Moth (Erebidae, Arctiinae, Syntomini)

sinobug:

Female Wasp Moth

(family Erebidae, subfamily Arctiinae)

by Sinobug (itchydogimages) on Flickr.
Pu’er, Yunnan, China

See more Chinese moths on my Flickr site HERE…

Photo

Fri, 24 May 2013 17:34:51 -0500

the-adequate-gatsby: It’s 3 am You hear a noise in your kitchen You go to investigate It’s me...

Fri, 24 May 2013 04:56:47 -0500

the-adequate-gatsby:

It’s 3 am

You hear a noise in your kitchen

You go to investigate

It’s me sitting at your table

I ask you to sit down

“I want to know why you though that comment on my post was necessary.”

Omgggggggg thiss issssossssooooooooo meee

the-adequate-gatsby: It’s 3 am You hear a noise in your kitchen You go to investigate It’s me...

Fri, 24 May 2013 04:56:22 -0500

the-adequate-gatsby:

It’s 3 am

You hear a noise in your kitchen

You go to investigate

It’s me sitting at your table

I ask you to sit down

“I want to know why you though that comment on my post was necessary.”

kittiezandtittiez: 1. He forgot to post it anonymously 2. He...

Fri, 24 May 2013 04:56:03 -0500

kittiezandtittiez:

1. He forgot to post it anonymously

2. He sent it to himself.

3. He’s correcting his own grammar.

4. His correction is wrong.

5. He spelled grammar wrong.

6. He’s insulting his own blog.

7. HE ACTUALLY ANSWERED IT.

Wu tang is for everybody.

Thu, 23 May 2013 23:49:06 -0500

Wu tang is for everybody.

Boy Scouts vote to lift ban on gay youth

Thu, 23 May 2013 23:18:40 -0500

Boy Scouts vote to lift ban on gay youth:

GRAPEVINE, Texas — The Boy Scouts of America voted Thursday to end its controversial policy banning gay kids and teens from joining one of the nation’s most popular youth organizations, ditching membership guidelines that had roiled the group in recent years. Over 61 percent of &

As an Eagle scout I am so glad the BSA finally cleared one of the few blemishes on a great organization.

science: Soap Bulles, Honeycombs, Snowflakes, Oranges on top of...

Thu, 23 May 2013 23:07:50 -0500

science:

Soap Bulles, Honeycombs, Snowflakes, Oranges on top of Each Other, and Programming Language Compilers

The Beijing National Aquatics Center , aka the “Water Cube”, constructed for the 2008 Summer Olympics, is based on the Weaire–Phelan structure. The what now?

In 1887, Lord Kelvin, notable for his achievements in thermodynamics, asked himself the following question: what is the most efficient bubble foam? To be precise, what is the structure of bubbles of equal volume with the least surface area? Kelvin proposed a slightly curved variant of the bitruncated cubic honeycomb, inspired by the honeycombs of bees. This structure, Kelvin thought, must be the most efficient way to construct a foam, like the one you’d observe when blowing soap bubbles.

An aside about bees. Two hypotheses about the hexagonal nature of bee cells have been proposed. One says that its efficiency at filling space while minimizing surface area (i.e., resource use) is why this design evolved. Another says that, far from geometric perfection, it is simply the way cells get deformed when bees try to squeeze their cells into each other—and observes that individual cells constructed outside the grid are irregular and not at all space-efficient.

For a hundred years, mathematicians considered Kelvin’s solution to be optimal. It seemed obvious, but no one could produce a formal proof of its efficiency. Then, in 1993, physicist Denis Weaire and his student Robert Phelan made a computer simulation and discovered a different structure, now bearing their names, which was slightly more efficient. This structure is non-obvious in that it employs two different kinds of cells, which nevertheless fulfill the formal criteria by having equal volume.

Something to think about when considering the similar ball stacking problem, which is even more obvious on first look. In 1611, the astronomer Johannes Kepler conjectured that the face-centered cubic packing—also known as the way to stack balls that results naturally from putting one ball on top of the other, in the way seen at any supermarket stack of oranges—is the most efficient packing. Slightly less than 26% of space is left unfilled by this arrangement. There are other known ball stackings with the same efficiency, but none that are more efficient. There’s a funny story about Kepler’s essay, On the Six-Cornered Snowflake: Kepler didn’t have money to buy his friend a Christmas present, because his employer hadn’t paid him for some time. Instead, Kepler wrote his friend a meditation on nothing, since he had nothing to give, in which he considers the closest things to nothing that were then known, such as snowflakes.

In 1998, mathematician Thomas Hales produced a proof of Kepler’s conjecture. This proof is widely accepted by mathematicians, but since it is a computer-assisted proof by exhaustion, meaning it runs through all the possibilities and checks to see if any is better than Kepler’s, it’s very hard to follow and to verify. This is why mathematicians remain skeptical to computer-aided proofs and prefer ones that aren’t. Another famous theorem, the four-colorem theorem, which states that any map can be colored with no more than four different colors such that no adjacent regions share the same color, was also proven by a computer-assisted proof by exhaustion.

But mathematicians aren’t Luddites. They don’t distrust computers by reflex. In fact, there is a theoretical result that is grounds for optimism about the future of mathematical proofs. Known as the Curry-Howard isomorphism, it establishes a correspondence between computer programs and formal proofs. The Coq proof assistant has a programming language designed with this isomorphism in mind. One of its applications is programming language semantics. Semantics is the field that studies meaning, and programming language semantics is about how compilers and interpreters—the programs that translate code written in a higher-level programming language into machine code—actually translate. Does the compiler translate the code as intended, or could there be bugs that make it mistranslate? Coq can help verifying that a compiler translates the code exactly as intended.

obeseblackguy: do she got a booty

Thu, 23 May 2013 18:03:53 -0500

obeseblackguy:

do she got a booty

obeseblackguy: she dooooo

Thu, 23 May 2013 18:03:48 -0500

obeseblackguy:

she dooooo