Hacker News new | ask | show | jobs
by symbogra 222 days ago
Hah, I went to a few of his talks
1 comments
Insanity 222 days ago
Who are you guys talking about lol
link
shakna 222 days ago
Likely Marc Brooker, who has given some pretty great talks.
link
symbogra 222 days ago
It wasn't him although he did give some good talks. It was another guy who headed up the formal verification group. The used it for finding bugs in caches and whatnot
link