Rob and Jason are joined by Martin Hořeňovský. They first discuss some ISO papers and Jason learning Rust from his cousin Jonathan. Then Martin tells them about his work maintaining Catch 2, including his plans for future updates of the unit testing library. Martin also talks about SAT solvers and problems with std::random. News 2020-05 Standards mailing Jonathan Teach Jason Rust!) C++ Events affected by Coronavirus Links Catch2 CppCon 2019: Martin Hořeňovský "Solve Hard Problems Quickly Using SAT Solvers" P2058 Make std::random_device Less Inscrutable P2059 Make Pseudo-random Numbers Portable P2060 Make Random Number Engines Seedable Sponsors PVS-Studio. Write #cppcast in the message field on the download page and get one month license Read the article "Checking the GCC 10 Compiler with PVS-Studio"covering 10 heroically found errors despite the great number of macros in the GCC code. Use code JetBrainsForCppCast during checkout at JetBrains.com for a 25% discount