Comment by brk

I guess we are recycling company names now? https://en.wikipedia.org/wiki/Thinking_Machines_Corporation

(I know, Corp vs. Lab).