1 Star2 Stars3 Stars4 Stars5 Stars (No Ratings Yet)
Loading ... Loading ...

Posts tagged ‘Turing’

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:

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.