Bend: A Linear Proof Language That Matches C Performance and Runs on GPUs – Victor Taelin, HigherOrderCO
About This Event
Abstract:
"Bend is a proof language whose programs run as fast as C on one core, and in parallel on GPUs. Its checker verifies proofs in seconds, so you can write large programs that are proven correct and still fast. I'll show how it works, and how its core relates to Lean."
Speaker: https://x.com/VictorTaelin
Bend: https://bend-lang.com
The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Website: https://sflean.group/
Join our Discord server: https://discord.com/invite/bXNPhQyjfe
Hosted by
We email you a private link showing how many people find this event through Mimetic. Tick the box if you are open to sponsors for events like this one and we will get in touch when there is interest. Anything from there is yours to decide.
Want the other 60 SF AI events this week? One email, Monday morning.
Unsubscribe anytime.
Tell us who you are and what you sell. A person at Mimetic reads it and gets back to you by email. Nothing is charged here and we do not sell attendee data.
Get a free growth analysis for your company
See how your website, messaging, and go-to-market strategy stack up, in minutes.
Get My Free AnalysisMore SF events like this
Weekly Accountabili-tea Circle: Reflection & Planning #37 - Members Only
Open Source AI Week 2026 | Open Weight Debate Night
Web Data for Startups #01 — AI Agents & Automation
Filipinos in AI - Let's Meet
