Skip to content
Log in Join free
Episode from the podcast CppCast
Provable Functions at CppCon 2019 artwork

Episode

Provable Functions at CppCon 2019

Released Thursday, September 19th 2019 41 min

Show notes

About this episode

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 from CppCast

All episodes

Learning C++ With C++26's Reflection

56 min

In this episode, Mathieu and Jason are joined by Ryan Keane to discuss his duck library, which allows polymorphism-like behaviour through reflection, along with his journey of learning C++ through exploring C++26's reflection mechanisms. Links rjk::duck - Zero boilerplate generic type erasure, powered by C++26 reflection - Ryan Keane Beautiful Type Erasure with C++26 Reflection - Ryan Keane A Duck Does More Than Quack: Synthesizing VTables with C++26 Reflection - Ryan Keane (CppCon 2026) P4148: protocol: Structural Subtyping for C++ - Jonathan Coe et al.

Safety and Interoperability with Rust and C++

1 hr 9 min

Mathieu and Jason are joined by Jon Bauman to discuss safety and interoperability between Rust and C++. They dig into what "safety" really means (there are several categories of safety), what can and can't be guaranteed, how C++ could become a memory-safe language, and the challenges of making Rust and C++ work well together. Jon is currently looking for sponsorship to continue this important work. You can contact Jon via Joncppcast@shumi.org. Links Jon's talks - YouTube playlist P3874R1: Should C++ be a memory-safe language? - Jon Bauman, Timur Doumler, Nevin Liber, Ryan McDougall, Pablo Halpern, Jeff Garland, Jonathan Müller P3874 R1 Should C++ be a memory-safe language? - cplusplus/papers issue #2475 C++ Interoperability Initiative problem statement - Rust Foundation BorrowSanitizer - an LLVM sanitizer for finding aliasing violations across Rust, C and C++ C++/Rust Interop Problem Space Mapping - Rust Project Goals 2025H2 Miri example on the Rust Playground There is no memory safety without thread safety - Ralf Jung RustBelt: Logical Foundations for the Future of Safe Systems Programming - MPI-SWS Understanding and Evolving the Rust Programming Language - Ralf Jung's PhD thesis

Running Conferences and Processing Credit Cards with Kevin Carpenter

1 hr 7 min

Mathieu and Jason are joined by Kevin Carpenter to discuss all aspects of being involved with a conference: from regular attendee, to volunteering, to speaker, volunteer coordinator, and catering concerns. Kevin also shares some of his insights into how credit card processing works, along with some of the challenges he's encountered. In this episode Jason also gives the guest some homework assignments for future conferences! News How fast is C++26's std::hive? - Daniel Lemire Tonight, ShadPS4 joins the hunt: uncovering bugs in the most popular PS4 emulator - Nikita Terentev, PVS-Studio

From Self Taught to Committee Member's First Accepted Paper

1 hr 3 min

Jason and Mathieu are joined by the self-taught Alex (Waffl3x) to discuss the C++ standards committee, defaulted post-fix operators, and self-taught computer engineering. Alex shares his experience of joining the C++ Committee and his efforts to get more people involved. News Mateusz needs help with his logarithmic unit design EuroLLVM 2026 security related talks A set of papers related to safety in the July mailing Brno mailing (2026-07) Links Deducing this Clarify the behavior of floating-point overflow

40 Years of Programming and Embeddable Programming Languages with Mark Guidarelli

1 hr 16 min

Jason and Mathieu are joined by Mark Guidarelli to discuss the history of C++ and esoteric programming languages, Mark's own development history spanning four decades, and what "merging" used to mean before source control. News The code::dive 2026 call for papers is open Gor Nishanov, author of C++ coroutines, recently passed away C++ Documentary was released Check out the C++ Perf Quiz Links trix - Mark Guidarelli Mazes for Programmers - Jamis Buck Game Oriented Assembly Lisp - Wikipedia OpenGOAL Practical File System Design with the Be File System - Dominic Giampaolo (Internet Archive)

This podcast, its content and its artwork are not owned by, affiliated with, or endorsed by Castquire.

Up next

  1. Nothing queued. Use + Queue on any episode to line it up.

0:00 0:00

Cookies

We set only what the site needs to sign you in and remember your theme. No advertising, no analytics. Read more.