News for hackers. Stuff that matters.

A comment on The Palo Alto Research Center (PARC) Will Join SRI International. Parent comment

Re:The Palo Alto Research Center (PARC) Will Join SRI Intern... by Animats on Monday April 24, 2023 @06:37PM (#35694179)
Yes. I dealt with them a lot in my aerospace days.

Boyer and Moore used to work there. I used their theorem prover for early proof of correctness work.

[ Parent | on HN ]

There are no comments on this comment yet.