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 ZanyProgrammer on Monday April 24, 2023 @05:36PM (#35693611)
IIRC basically a Pentagon funded think tank in Silicon Valley, though their best days were really the 1970s and 1980s.
[ Parent | on HN ]
Re:The Palo Alto Research Center (PARC) Will Join SRI Intern... by VagueMag on Monday April 24, 2023 @06:00PM (#35693862)
Yeah SRI was what emerged when military/intelligence related work needed to be separated from Stanford University proper as a result of campus protests in the 60s over the university's involvement in chemical weapons and counterinsurgency research.
[ Parent | on HN ]
Re:The Palo Alto Research Center (PARC) Will Join SRI Intern... by usr1106 on Monday April 24, 2023 @06:20PM (#35694039)
If that is true it gives me the kind of background I was looking for.
[ Parent | on HN ]
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 ]