OpenAI co-founders Sam Altman and Greg Brockman to join Microsoft
Sam Altman and Greg Brockman and many of their former OpenAI colleagues will join Microsoft, the software conglomerate’s chief Satya Nadella said Monday, capping an intense three days discussion following the sudden departure of the AI startup’s executives. At Microsoft, the former OpenAI members will lead a “new advanced AI
Read MoreCruise co-founder and CEO Kyle Vogt resigns
Kyle Vogt, the serial entrepreneur who co-founded and led Cruise from a startup in a garage through its acquisition and ownership by General Motors, has resigned, according to an email sent to employees Sunday evening that TechCrunch has viewed. In a separate internal email, also viewed by TechCrunch, GM Chair
Read MoreDecoupling formal theorem proving effort
Terence Tao has been experimenting with formal theorem proving using Lean and writing about his experience. Here’s something Tao said on Mathstodon that I thought was interesting. It is remarkable how much “decoupling” is achieved by the Lean+Blueprint combo. Contributors can work locally on proving a lemma, without necessarily fully
Read MorePartitioning dots and dashes
Given a set of dots and dashes, how many ways can they be partitioned into a set of Morse code letters? There is at least one way, since you could take each dot to be an E and each dash to be a T. If you have a sequence of n
Read MoreCruise’s mea culpa and everything that stood out at the LA Auto Show
The Station is a weekly newsletter dedicated to all things transportation. Sign up here — just click The Station — to receive the newsletter every weekend in your inbox. Subscribe for free. Welcome back to The Station, your central hub for all past, present and future means of moving people and packages from
Read MoreInside Brex and Ramp’s AI ambitions
Welcome back to The Interchange, where we take a look at the hottest fintech news of the previous week. If you want to receive The Interchange directly in your inbox every Sunday, head here to sign up! This week, we dig into spend management companies’ AI aspirations, and one U.K. fintech’s recent
Read MoreMost of ESPN’s accounts went dark after Disney dropped advertising on X
The Verge Most of ESPN’s accounts were inactive yesterday after Disney announced on Friday that it was done advertising on X, formerly Twitter. Disney’s decision followed posts by platform owner Elon Musk agreeing with antisemitic and white power accounts. AwfulAnnouncing spotted the inactivity yesterday, noting that the main ESPN account
Read MoreWith Amo, the founder of Zenly wants to make social apps social again
In 2018, I wrote a TechCrunch article stating that 2018 was “the year social networks were no longer social.” Reflecting on that article, I’m not sure that 2018 was the turning point. But the premise of the article still holds up well. At some point, social networks were no longer
Read MoreIndia and Australia World Cup final shatters streaming records on Hotstar
In India, few events garner as much attention as a cricket game. And there’s no match for a World Cup final. The Sunday game has already topped 55 million concurrent viewers, shattering the 53 million milestone that was set just earlier this week. With no high-profile cricket game any time
Read MoreInactive Google Accounts Face Deletion Starting December 1
If you possess a Google account that has remained inactive or unsigned for at least two years, it is advisable to log in promptly. Google has declared that commencing December 1, 2023, it will initiate the deletion of inactive accounts as part of a new policy aimed at safeguarding users
Read More