![CppCast artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts113/v4/4b/34/de/4b34de74-31c2-c7c3-9d6b-442c184fec59/mza_7586470928670684207.png/100x100bb.jpg)
Provable Functions at CppCon 2019 with Lisa Lippincott
CppCast
English - September 20, 2019 03:16 - 41 minutes - 40.5 MB - ★★★★★ - 105 ratingsTechnology Education How To embedded engineering cplusplus cpp developers gamedevelopment programming Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Rob and Jason are joined by Lisa Lippincott in this special episode recorded at CppCon. They first discuss some of the conference highlights and favorite talks so far. Then Lisa gives an overview of her "Truth of a Procedure" talk. Later they talk about Lisa's work on the ISO committee, her thoughts on Contracts and much more.
Lisa Lippincott designed the software architectures of Tanium and BigFix, two systems for managing large fleets of computers. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic, and wants to make computer-checked proofs of correctness a routine part of programming. Links C++Now 2019: Lisa Lippincott "The Truth of a Procedure" C++Now 2018: Lisa Lippincott "The Shape of a Program" Layout-compatibility and Pointer-interconvertibility Traits Signed Integers are Two's Complement Sponsors Backtrace
Announcing Visual Studio Extension - Integrated Crash Reporting in 5 Minutes
Rob and Jason are joined by Lisa Lippincott in this special episode recorded at CppCon. They first discuss some of the conference highlights and favorite talks so far. Then Lisa gives an overview of her "Truth of a Procedure" talk. Later they talk about Lisa's work on the ISO committee, her thoughts on Contracts and much more.
Lisa Lippincott designed the software architectures of Tanium and BigFix, two systems for managing large fleets of computers. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic, and wants to make computer-checked proofs of correctness a routine part of programming. Links C++Now 2019: Lisa Lippincott "The Truth of a Procedure" C++Now 2018: Lisa Lippincott "The Shape of a Program" Layout-compatibility and Pointer-interconvertibility Traits Signed Integers are Two's Complement Sponsors Backtrace
Announcing Visual Studio Extension - Integrated Crash Reporting in 5 Minutes