Bend 2 is live!
Victor is a brilliant engineer. He built formal verification for the EF 7 years before leadership started talking about it as a priority. He pivoted the company to "symbolic AI" way before AI could solve Millennium Problems and vibe coding was a word. He was so focused on parallel computing he coded a computer from scratch. You should try bend. If you're also a developer and love terminals, you should follow the official site and install the script. But for everyone else I build this site, to help you give your AI superpowers. Check the demos and paste the prompt! So what is it? You've heard about AI solving Erdos Problems every day. How do they do it? They can do it because math has been…
ProgrammingAIScience
