Catch2 and std::random with Martin Hořeňovský

<p style="margin: 0in; font-family: Calibri; font-size: 11.0pt;"> 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.</p> <h3 style= "font-weight: bold; -webkit-font-smoothing: antialiased; font-size: 18px; padding: 0px; margin: 20px 0px 10px 0px; border: 0px initial initial;"> News</h3> <ul style= "padding: 0px 0px 0px 30px; margin: 15px 0px 15px 0px; border: 0px initial initial;"> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href= "http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/#mailing2020-05" target="_blank" rel="noopener">2020-05 Standards mailing</a></li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href="https://www.youtube.com/watch?v=EzQ7YIIo1rY" target="_blank" rel="noopener">Jonathan Teach Jason Rust!</a>)</li> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px initial initial;" href= "https://www.reddit.com/r/cpp/comments/fidita/c_events_affected_by_coronavirus/" target="_blank" rel="noopener">C++ Events affected by Coronavirus</a></li> </ul> <h3 style= "font-weight: bold; -webkit-font-smoothing: antialiased; font-size: 18px; padding: 0px; margin: 20px 0px 10px 0px; border: 0px initial initial;"> Links</h3> <ul style= "padding: 0px 0px 0px 30px; margin: 15px 0px 15px 0px; border: 0px initial initial;"> <li style= "padding: 0px; margin: 0px; border: 0px initial initial;"><a style= "color: #4183c4; text-decoration: none; padding: 0px; margin: 0px; border: 0px init