thinking machines, $50b valuation aside, is a fantastic name thinky, an even better nickname