CppCast

Provable Functions at CppCon 2019

Listen Later
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

      ...more
      View all episodesView all episodes
      Download on the App Store
      CppCastBy Phil Nash & Timur Doumler
      • 4.8
      • 4.8
      • 4.8
      • 4.8
      • 4.8

      4.8

      106 ratings

      More shows like CppCast

      View all
      Philosophize This! by Stephen West

      Philosophize This!

      15,213 Listeners

      Software Engineering Radio by se-radio@computer.org

      Software Engineering Radio

      271 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      289 Listeners

      The a16z Show by Andreessen Horowitz

      The a16z Show

      1,087 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      626 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      585 Listeners

      The Amp Hour Electronics Podcast by The Amp Hour (Chris Gammell and David L Jones)

      The Amp Hour Electronics Podcast

      231 Listeners

      Python Bytes by Michael Kennedy and Brian Okken

      Python Bytes

      214 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      142 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      501 Listeners

      Signals and Threads by Jane Street

      Signals and Threads

      72 Listeners

      ADSP: Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

      ADSP: Algorithms + Data Structures = Programs

      37 Listeners

      Two's Complement by Ben Rady and Matt Godbolt

      Two's Complement

      31 Listeners

      ACQ2 by Acquired by Ben Gilbert and David Rosenthal

      ACQ2 by Acquired

      280 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      62 Listeners