WE'RE ALL MAD HERE.

Hi, I'm Helena and this is a compilation of things i like.

Namely/mostly: Sherlock, Star Trek, Supernatural, Doctor Who. Sometimes movies and sometimes space stuff. Science of all sorts because it's fascinating. Also, quotes.

You are always welcome to talk to me. I mean it - you are.

fivepips:

super power ideas:

  • ability to manipulate coefficients of friction at will. make all those sports players slide around the field as if on ice skates
  • ability to create background music out of nowhere. old man falls over? chicken dance. in your exams? it’s the final countdown. the examiners don’t know where the music is coming from. they are becoming nervous
  • ability to command an army of living ventriloquist dolls to freak out your enemies
  • ability to morph all clothes to fit you
  • ability to conjure glitter out of thin air. live your life like an 80’s diva who has just crashed into a four year old’s craft table
#YES TO ALL

minim-calibre:

ethiopienne:

whenever i get overwhelmed by life i remember i’m just a 3-pound brain piloting a large slab of flesh so of course i’m gonna make mistakes

This is a good way of putting things. 

I’ve seen brains. They’re pretty clunky. 

(via ihadtimetokill)

#brains awww #maths #quote

The Greek word for return is nostos. Algos means suffering. So nostalgia is the suffering caused by an unappeased yearning to return.

—Kundera, Milan. Ignorance

(Source: wordsnquotes, via fivepips)

#language

Scooping the Loop Snooper

curiosamathematica:

No general procedure for bug checks will do.
Now, I won’t just assert that, I’ll prove it to you.
I will prove that although you might work till you drop,
you cannot tell if computation will stop.

For imagine we have a procedure called P
that for specified input permits you to see
whether specified source code, with all of its faults,
defines a routine that eventually halts.

You feed in your program, with suitable data,
and P gets to work, and a little while later
(in finite compute time) correctly infers
whether infinite looping behavior occurs.

If there will be no looping, then P prints out “Good.”
That means work on this input will halt, as it should.
But if it detects an unstoppable loop,
then P reports “Bad!”—which means you’re in the soup.

Well, the truth is that P cannot possibly be,
because if you wrote it and gave it to me,
I could use it to set up a logical bind
that would shatter your reason and scramble your mind.

Here’s the trick that I’ll use—and it’s simple to do.
I’ll define a procedure, which I will call Q,
that will use P’s predictions of halting success
to stir up a terrible logical mess.

For a specified program, say A, one supplies,
the first step of this program called Q I devise
is to find out from P what’s the right thing to say
of the looping behavior of A run on A.

If P’s answer is “Bad!”, Q will suddenly stop.
But otherwise, Q will go back to the top,
and start off again, looping endlessly back,
till the universe dies and turns frozen and black.

And this program called Q wouldn’t stay on the shelf;
I would ask it to forecast its run on itself.
When it reads its own source code, just what will it do?
What’s the looping behavior of Q run on Q?

If P warns of infinite loops, Q will quit;
yet P is supposed to speak truly of it!
And if Q’s going to quit, then P should say “Good.”
Which makes Q start to loop! (P denied that it would.)

No matter how P might perform, Q will scoop it:
Q uses P’s output to make P look stupid.
Whatever P says, it cannot predict Q:
P is right when it’s wrong, and is false when it’s true!

I’ve created a paradox, neat as can be,
and simply by using your putative P.
When you posited P you stepped into a snare;
Your assumption has led you right into my lair.

So where can this argument possibly go?
I don’t have to tell you; I’m sure you must know.
A reductio: There cannot possibly be
a procedure that acts like the mythical P.

You can never find general mechanical means
for predicting the acts of computing machines;
it’s something that cannot be done. So we users
must find our own bugs. Our computers are losers!

Geoffrey K. Pullum, A proof that the Halting Problem is undecidable

#oh mY GOD #this makes me so happy you cannot imagine #it's so satisfying to read #I smiled the entire time #poem #blodröda femman #göteborg #men när vi missade den kunde vi skolka och se på serier istället #much more better #så det var faktiskt lite blodröda femmans förtjänst när vi hade det episkt #Anna #vi tänker inte som bussar för i grunden vore det inte gynnsamt #words to live by #no pun intended #reference
see the thing is i just really don’t want to study

see the thing is i just really don’t want to study

#driver's license #blargh #star trek

ruedesarchives:

SPN episode gifset: Do You Believe In Miracles? (9x23)

(n.b. this is a big set - 147 frames per gif - and Tumblr tends to screw up the timing of the animation on large sets from time to time. The animation IS properly synched so if it’s out of sequence, trust me, it will settle and play correctly eventually. Reloading the page or opening in a new tab often works.)

(via brightfallenstars)

#supernatural

kamikazeworld:

fantasticsteve:

ohyousourwolf:

Why is it that evil villains always find poison to inject into their victims like just literally fill the syringe with air and just stick the needle between their toes or something. It’ll mimic a heart attack and the victim will die pretty quick and NO ONE WILL ASK MANY QUESTIONS BECAUSE IT’LL LOOK LIKE A HEART ATTACK

first of all how do you know this information i feel like the government doesnt want you to know that

image

(via queen-of-carven-stone)

#quotes