Bend plans compiler and proof-kernel rewrites alongside a $20 million raise
A Bend developer says he’s preparing a trip to San Francisco for the raise and plans two small teams: BendCore for the language and SupGen for symbolic AI research.
TLDR
In a September 29 post, a Bend developer said he plans to rewrite its proof kernel and compiler in Bend, target web apps and AMD GPUs, and build out libraries and a 3D game engine. He said he’s preparing a San Francisco trip for a $20 million raise. He also said BendHub was recently published, letting people share named, versioned libraries and discuss packages.
Combined views
11.6K
2 Sources, first seen 2h ago
