I don't know much about them, but how they decided to call themselves strikes me as ... unwise: https://bookanalysis.com/dune/thinking-machines/

(They could have just as well picked Skynet.)

Pretty sure it's a reference to https://en.wikipedia.org/wiki/Thinking_Machines_Corporation, the famous supercomputer company from the 80s-90s where Richard Feynman briefly worked.

[deleted]