Tinder redesigns profile pages with prompts, info tags and quiz
Tinder is revamping its profile pages to make them more informative and create easier starting points for conversations. The company is launching features like profile prompts as conversation starters, profile quizzes, basic info tags, and dark mode. Let’s look at these new features in details. The Match-group-owned app is rolling
Read moreOpen source Notion alternative AppFlowy gets big-name backers and lands on the cloud
A new startup is targeting the lucrative workplace productivity space with an open source approach to project and knowledge management — and it has received backing from a who’s who of investors from across the technology spectrum. AppFlowy, as the company is called, has raised $6.4 million in funding from
Read moreOpenAI 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 more