December 2011
1 post
SCOOPING THE LOOP SNOOPER
A proof that the Halting Problem is undecidable
No general procedure for bug checks succeeds. Now, I won’t just assert that, I’ll show where it leads: 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,...
October 2011
9 posts
“((lambda (x) (requiescat-in-pace x)) ‘john-mccarthy)”
– via (via fooyeahcode)
RIP Dennis Ritchie
printf("Goodbye world");
“The last good thing written in C was Franz Schubert’s Symphony Number 9.”
– Erwin Dieterich
Happy Ada Lovelace Day! →
4 tags
September 2011
2 posts
“If builders built buildings the way programmers wrote programs, the first...”
– (unknown)
August 2011
13 posts
2 tags
“There are only two kinds of languages: the ones people complain about and the...”
– Bjarne Stroustrup
July 2011
3 posts
"Anyone editing code on a production server is... →
June 2011
6 posts
May 2011
8 posts
obama@whitehouse:~$ sudo chmod +x /bin/laden
April 2011
6 posts
Two computer scientists created an algorithm to... →
programmingmeetsmath:
vananhcao:
“C++ : Where friends have access to your private members.”
Oh god.
Sorry, you won’t get this unless you know an object-oriented programming language.
Funny! :))
March 2011
14 posts
“90% of coding is debugging. The other 10% is writing bugs.”
– Bram Cohen, author of the BitTorrent protocol. (via alt-4326)
http://programming-motherfucker.com/ →
The Motherfucking Manifesto For Programming, Motherfuckers