Hah, I went to a few of his talks | Hacker News

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

		symbogra 4 months ago \| parent \| context \| favorite \| on: Reproducing the AWS Outage Race Condition with a M... Hah, I went to a few of his talks

Insanity 4 months ago [–]

Who are you guys talking about lol

shakna 4 months ago | [–]

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

symbogra 4 months 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

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