Provable Functions at CppCon 2019

Posted on Thursday, Sep 19, 2019

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.

RxCpp and Executors

Posted on Thursday, Mar 7, 2019

Rob and Jason are joined by Kirk Shoop to talk about the RxCpp library and the future of Executors in C++.

Kona Trip Report

Posted on Thursday, Feb 28, 2019

Rob and Jason are joined by Peter Bindels to talk about features approved at the ISO C++ Kona meeting for C++20 including Modules, Coroutines and much more.

Analyzing Undefined Behavior

Posted on Thursday, Feb 21, 2019

Rob and Jason are joined by John Regehr to talk about his job as a professor at the University of Utah teaching C++ courses and some of his research projects including souper and csmith.

Leaf and 'What is Programming?'

Posted on Thursday, Feb 14, 2019

Rob and Jason are joined by Edaqa Mortoray to talk about his experience designing the Leaf language and writing it’s compiler in C++, and his book ‘What is Programming?’

libc++

Posted on Thursday, Jan 31, 2019

Rob and Jason are joined by Eric Fiselier to talk about libc++ and his contributions to the library.