Skip to content

Provable Functions at CppCon 2019

41 min Episode 215
Provable Functions at CppCon 2019

Listen to “Provable Functions at CppCon 2019”

Episode synopsis


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.
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


JetBrains


ZARZA Studio — Your station on air today: library, music clock, schedule, studio and reports, from the browser.

Meet ZARZA Studio
— on air now — stations in the catalogue 2,021,865 podcasts — countries