News for hackers. Stuff that matters.

A comment on Automated Reasoning at Amazon: A Conversation. Parent comment

Re:Automated Reasoning at Amazon: A Conversation by vitus on Monday August 08, 2022 @07:08PM (#32392242)
This one -- its first occurrence was in '96, several years before Google-the-company was founded.

https://www.floc2022.org/history

[ Parent | on HN ]

There are no comments on this comment yet.