pendell

Current Hyperfixation: Wizard of Oz

  • He/Him

I use outdated technology just for fun, listen to crappy music, and watch a lot of horror movies. Expect posts about These Things. I talk a lot.

Check tags like Star Trek Archive and Media Piracy to find things I share for others.


You must log in to comment.

in reply to @zenoverflow's post:

Oh, computer scientists already made one! Unfortunately, due to technical limitations, it can't predict the answer. But it will print "solved!" as soon as the answer is found! Here it is:

loop {}
println!("solved!");

we once talked to Edwin Brady, who wrote Idris, about a notion we had at the time that it matters whether the compiler terminates. he said in practice if it doesn't, the programmer will hit ^C and everything will be fine. we're convinced he was right, at least for that scenario.