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

When

Monday, October 26, 7 PM

Where

Mox, 1680 Mission St, San Francisco, CA 94103, USA

Price

Free

Source fetched

Fri, Oct 23

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: Bend: SF Lean meetup: Weekly presentations and discussions about formal…

See the original listing on lu.ma Open in the SF Events calendar