Mono has a bug in the built in .NET json serializer that causes your program to fail immediately with an IL code failure, which is kind of fine, because the .NET people who wrote the built in json serializer love xml too much, and treat json like an idiot step brother of xml by making you use the xml parsing classes, which is quite unfortunate because the chief benefit of using json is not having to use an xml parser, which is just fine because the time it took to write my own weakly-typed json parser was significantly less than the time I spent investigating the mono bug, which is perfect because I originally wanted a weakly-typed json parser anyway. Other People's Code: it sucks.
Generating 1 trillion small 3-SAT instances overnight would cost roughly $3000, which is the price of a Ninja 250 circa 2000ish.
With 34 computers, I could generate 1 trillion instances in 1 month. These estimates are quite rough.
I've generated 30 million so far.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment