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.
skip to main |
skip to sidebar
Stuff Ron Gross finds interesting.
Banners
Subscribe
Tag Cloud
Blog Archive
-
▼
2008
(91)
-
▼
February
(29)
- Google Is Still #1
- Blackout Restaurant & Dialog in the Dark
- Music Sales
- My New Job
- How Prometheus Died
- Bunch Of Links
- Stories Website
- Politically Correct Office
- A Buffer Overflow for TAs
- Faulty Reverse Turing Test
- Grid is a Superb Game
- What do LaTeX, Magical Staves and the Simpsons hav...
- Firefox Saved Passwords
- Stupid Danish Cops
- Interactive RSS
- Occupied Territories
- What You Need to Know to Work For Me
- Fake Sites
- Science Vs Faith
- My First Unfamiliar Reader!
- The Best Incredible Machine Ever
- Too Long, But the End is Amusing
- Some Comics I Like
- Something I Wrote Once
- An Idea for a Startup :)
- 2008 Turing Awards
- Google SMS
- Sex, Cars & Mp3s
- A Very Exciting Snowboard Trip
-
▼
February
(29)
No comments:
Post a Comment