This one -- its first occurrence was in '96, several years before Google-the-com... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

vitus on Aug 8, 2022 | parent | context | favorite | on: Automated Reasoning at Amazon: A Conversation

This one -- its first occurrence was in '96, several years before Google-the-company was founded.

https://www.floc2022.org/history

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