Catch2 and Std::random
Posted on Thursday, May 21, 2020
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.
Show Notes
News
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
Guests
Martin Hořeňovský
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 maintains Catch2, a popular C++ unit testing framework, in the little free time he has left.
See a mistake? Edit this post!