AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Nova: The Group of Novas
Nova is a way to compress the work that happens in two separate transactions into one. It was inspired by other projects that tried to do better recursion, like construct better recursive snarks. Microsoft Research sort of operates in both worlds: academic and industry.