My blog has moved! Redirecting...

You should be automatically redirected. If not, visit http://ripper234.com and update your bookmarks.

Showing posts with label Turing. Show all posts
Showing posts with label Turing. Show all posts

20 February 2008

Faulty Reverse Turing Test

I got this PDF attachment from Technion, and opening it directly took too long for some reason (Gmail is terribly slow for me lately), so I tried Gmail's "View as HTML". Apparently, it thinks I'm a bot:

05 February 2008

2008 Turing Awards

Just thought to tell everyone that the 2008 Turing Award will be given to two guys that invented Model Checking, that has a very loose connection to my own master thesis. How loose? Both relate to Temporal Logic, that's it.