Victor Taelin presents Bend: A Linear Proof Language That Matches C Performance and Runs on GPUs

Mox Event Space (Mission 13th St) Event source calendar Event Link: see venue calendar above ^^ 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: x.com/VictorTaelin Bend: bend-lang.com The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome! Website: sflean.group/ Join our Discord server: discord.com/invite/bXNPhQyjfe Host: Adi Baradwaj More info: luma.com/0zs5pdkz location provided by event source: "Mox, 1680 Mission Street, San Francisco" ―――――――――― SF Stuff To Do