Catch2 and std::random

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.