👩💻 Join our community of thousands of amazing developers!
In January, I visited New York to give a talk at Jane Street on “Abstractions for Expressive, Efficient Parallel and Distributed Computing” as part of their Tech Talks series. The Jane Street folks produced a nice video of the talk, and it’s now available on YouTube! This is a wide-ranging talk about things I’ve worked on in the last several years — LVars, ParallelAccelerator, and neural network verification — tying them together with the theme of “finding the right high-level abstractions to...