Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
Insanity
7mo ago
0 comments
Save
Share
Who are you guys talking about lol
0 comments
2 comments · 1 top-level
top
newest
oldest
shakna
7mo ago
· 1 in thread
Likely Marc Brooker, who has given some pretty great talks.
symbogra
7mo 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
