Professional
Bend A Linear Proof Language That Matches C Performance and Runs on GPUs
Mon, Oct 26 · 19:00 –
20:00
20:00
MoxMox
Badges are our best guess from the listing, but may contain errors.
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."...
Heat level
Heat level
Intel Contribs