Safe, Borrow-Checked, C++
CppCast
Discussion with Sean Baxter on His Work at Jet Propulsion Lab and Satellite Imaging Projects
Sean Baxter, author of the Circle C++ Compiler, discusses his experience with satellite imaging and the challenges of writing code for devices versus formal verification processes.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
