Earlier quoted context omitted.
Just gay. :)
So, by the standards of his time, nuts.
Solve the halting problem, $300-$1000
81–86 of 86 posts
Re: Solve the halting problem, $300-$1000
#82Earlier quoted context omitted.
Assuming Alan is using a Turing-complete language, how exactly do you propose to "just try all possible values"? Given an infinite loop, what values are you trying? And it's a freshman problem to prove that the halting problem is undecidable. (It's also in about a million CS and math textbooks.) You could always just say "To demonstrate that your program works, show the output of it running on itself, given this inpu…
We're demonstrating that we've solved the problem as stated, not demonstrating that the halting problem can be solved. There is no time frame for how long your test program can run (in the clients wishes), so even if there is an infinite loop in the program fed in - your own test program also waits infinitely. Because your program never stops, and is basically still doing it's job, the client cannot tell you that you…
while 1, {}
Not sure if you meant this, but remember that it is not possible to write a program that always gives the correct answer, just in an unpredictably large amount of time.Re: Solve the halting problem, $300-$1000
#83Re: Solve the halting problem, $300-$1000
#84Re: Solve the halting problem, $300-$1000
#85Earlier quoted context omitted.
One time I outsourced the creation of a simple Wordpress template which I didn't have time to do. I paid $300. Despite being given a pre-cut Photoshop file, the people could not figure out simple CSS bugs or even create the CSS necessary for the tabs. I spent more time managing them (aka teaching ) than it would have taken me to do it, in the end I had to do half of it anyway and this entire sick ordeal took nearly t…
There are some fiendishly good psd to html companies out there that produce good css very quickly. I think psd2html is the one I've used reliably in the past.
Re: Solve the halting problem, $300-$1000
#86The replies were all removed, I've mirrored the page pre-moderation: http://www.wabdo.com/fred/bugfinder.html