undefined | Better HN

0 pointsInsanity4mo ago0 comments

Who are you guys talking about lol

0 comments

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

j / k navigate · click thread line to collapse

0 pointsInsanity4mo ago0 comments

Who are you guys talking about lol

0 comments

shakna4mo ago

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

symbogra4mo 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

j / k navigate · click thread line to collapse