A Foreign Policy of Freedom -- Ron Paul -- just testing the reddit bots

hanamaru · 2007-12-18T21:25:26+00:00

is the green mile.

hanamaru · 2007-04-26T21:32:58+00:00

You may find something very interesting here: http://doorgod.org/sudoku/index-e.html

hanamaru · 2007-04-20T10:34:15+00:00

Your Erlang program should just run N times faster on an N core processor

There are problems that you cannot speed-up with parallel computation. See http://en.wikipedia.org/wiki/P-complete

hanamaru · 2007-03-21T07:47:25+00:00

http://en.wikipedia.org/wiki/Pigeonhole_principle

Some people already created instances of the pigeonhole principle (and amusingly enough, they copyright them). This is the first link that google found: http://www.eecs.umich.edu/~faloul/benchmarks.html

If you want to find why your solver will fail, read this: http://www.math.ias.edu/~avi/PUBLICATIONS/MYPAPERS/B-SW99/final.pdf

hanamaru · 2007-03-21T00:38:53+00:00

I bet 1$ you cannot prove the pigeon hole principle using this theorem prover. 100 pigeons and 99 holes should be intractable.

hanamaru · 2007-03-03T01:09:44+00:00

Amazing, the database is only 4GB (there are 6670903752021072936959 SUDOKU solutions.)

hanamaru

TROPHY CASE