That mathematics is thought to be consistent justifies the use of Proof by Contradiction.

In addition, Proof by Contradiction can be used to infer the consistency of mathematics by the following simple proof:

The self-proof is a proof by contradiction.
Suppose to obtain a contradiction, that mathematics is inconsistent.
Then there is some proposition Φ such that ⊢ Φ and ⊢ ¬Φ.
Consequently, both Φ and ¬Φ are theorems that can be used in the proof to produce an immediate contradiction.
Therefore mathematics is consistent.

https://docs.google.com/file/d/0B79uetkQ_hCKbkFpbFJQVFhvdU0/edit?usp=sharing

For legacy reasons, an implementation using the 1900 date base system shall treat 1900 as though it was a leap year. [Note: That is, serial value 59 corresponds to February 28, and serial value 61 corresponds to March 1, the next day, allowing the (nonexistent) date February 29 to have the serial value 60. end note] A consequence of this is that for dates between January 1 and February 28, WEEKDAY shall return a value for the day immediately prior to the correct day, so that the (nonexistent) date February 29 has a day-of-the-week that immediately follows that of February 28, and immediately precedes that of March 1.

#pragma GCC poison
Sometimes, there is an identifier that you want to remove completely from your program, and make sure that it never creeps back in. To enforce this, you can poison the identifier with this pragma.

72c78e8 2012-01-05 Michel Ludwig Make it compile without viewer interface again
82ab009 2012-01-06 Michel Ludwig Now really make it compile without viewer interface

"SQL is the Fortran of databases - nobody likes it much, the language is ugly and ad hoc, every database supports it, and we all use it."

-- John Levine. Flex & Bison: text processing tools

Czytając Pańską książkę Symfonia C++ (a raczej jej skan) spostrzegłem Pana fascynację do satanizmu wyrażoną w wielu przykładach, w których podaje Pan wielokrotnie jako przykładową liczbę 666, a nawet jako string "a imię jego 44", w którym próbuje przekazać nam Pan poprzez słowa Mickiewicza, odniesienie początkowych słów "Z matki obcej" jako siły personifikującej moc natury w tym seksualność i inne popędy.

Symfonia C++Standard, Programowanie w języku C++ orientowane obiektowo, Tom II, Jerzy Grębosz, Wydanie trzecie B - rozszerzone i poprawione, Listy od czytelników strona L

"Sądząc po jakości kodu głównym elementem developmentu było noszenie kalesonów na głowie"

<KToff> every time you abuse the Schrödinger's cat thought experiment, God kills a kitten. And doesn't.

The meta-Turing test counts a thing as intelligent if it seeks to devise and apply Turing tests to objects of its own creation. -- Lew Mammel, Jr.

./configure
(...)
checking if 1=2... no, thanks heaven

Chodzenie po wodzie i tworzenie oprogramowania wg specyfikacji są łatwe, o ile woda i specyfikacja są zamrożone.

Dlaczego linuksiarze uwielbiają drobne dziewczyny ?
Bo lubia się pieprzyć z drobiazgami

> How about a sysctl that does "for the love of kbaek, don't ever kill these
> processes when OOM. If nothing else can be killed, I'd rather you panic"?

An aircraft company discovered that it was cheaper to fly its planes
with less fuel on board. The planes would be lighter and use less fuel
and money was saved. On rare occasions however the amount of fuel was
insufficient, and the plane would crash. This problem was solved by
the engineers of the company by the development of a special OOF
(out-of-fuel) mechanism. In emergency cases a passenger was selected
and thrown out of the plane. (When necessary, the procedure was
repeated.) A large body of theory was developed and many publications
were devoted to the problem of properly selecting the victim to be
ejected. Should the victim be chosen at random? Or should one choose
the heaviest person? Or the oldest? Should passengers pay in order not
to be ejected, so that the victim would be the poorest on board? And
if for example the heaviest person was chosen, should there be a
special exception in case that was the pilot? Should first class
passengers be exempted? Now that the OOF mechanism existed, it would
be activated every now and then, and eject passengers even when there
was no fuel shortage. The engineers are still studying precisely how
this malfunction is caused.

I can’t even say what’s wrong with PHP, because— okay. Imagine you have uh, a toolbox. A set of tools. Looks okay, standard stuff in there.

You pull out a screwdriver, and you see it’s one of those weird tri-headed things. Okay, well, that’s not very useful to you, but you guess it comes in handy sometimes.

You pull out the hammer, but to your dismay, it has the claw part on both sides. Still serviceable though, I mean, you can hit nails with the middle of the head holding it sideways.

You pull out the pliers, but they don’t have those serrated surfaces; it’s flat and smooth. That’s less useful, but it still turns bolts well enough, so whatever.

And on you go. Everything in the box is kind of weird and quirky, but maybe not enough to make it completely worthless. And there’s no clear problem with the set as a whole; it still has all the tools.

Now imagine you meet millions of carpenters using this toolbox who tell you “well hey what’s the problem with these tools? They’re all I’ve ever used and they work fine!” And the carpenters show you the houses they’ve built, where every room is a pentagon and the roof is upside-down. And you knock on the front door and it just collapses inwards and they all yell at you for breaking their door.

That’s what’s wrong with PHP.

At the source of every error which is blamed on the computer you will find at least two human errors, including the error of blaming it on the computer.