Lamport+Microsoft was the first thing that I thought of when I read the comment.... | Hacker News

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

dfc 11 months ago | parent | context | favorite | on: Solving LinkedIn Queens with SMT

Lamport+Microsoft was the first thing that I thought of when I read the comment. FWIW he retired at the beginning of this year.

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