Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Hah, I went to a few of his talks


Who are you guys talking about lol


Likely Marc Brooker, who has given some pretty great talks.


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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: