David 5 days ago The 8 worst technology flops of 2025 MIT Technology ReviewThe 8 worst technology flops of 2025The Cybertruck, sycophantic AI, and humanoid robots all made this year’s list of the biggest technology failures. #Technology
David 6 days ago Prediction: AI will make formal verification go mainstream Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog #AI #ComputerScience
David 1 week ago ‘Greetings, earthlings’: Nvidia-backed Starcloud trains first AI model in space as orbital data center race heats up CNBC‘Greetings, earthlings’: Nvidia-backed Starcloud trains first AI model in space as orbital data center race heats upThe company's Starcloud-1 satellite is running Gemma, an open model from Google, marking the first time in history that an LLM has been trained in ... #AI #Datacenters
David 2 weeks ago Does AI Therapy Have a Future? https://cacm.acm.org/news/does-ai-therapy-have-a-future/ #AI #Psychology