Is it still a proof if it takes 4 minutes on a 4 GHz 12-core CPU?
Schlagwort: Programmieren
Tetreassuring.
Summary: it is possible to play Tetris and guarantee that you will score at least one line, no matter which pieces are given to you, i.e., even assuming they are chosen adversarially.
Uniband.
Some artists will benchmark your utf8 support: [...]
dustri.org: Horrible edge cases to consider when dealing with music
Only quoted.
Beware of bugs in the above code;
I have only proved it correct, not tried it.
Peta reduce.
1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"
One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages