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.
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
Martin Hořeňovský is currently a researcher at Locksley.CZ, where he works on converting large master-key systems to SAT. He has taught modern C++ at Czech Technical University in Prague, and main ...
click to see more