Last week I wrote about the various problem with using C++'s standard library (mainly <random>) to generate random numbers. This week I will outline what I think are the (standardizable) solutions to fix the functionality in <random> and make it widely usable. … »
I found myself once again writing a long forum post about the problems with standard-provided random number generation facilities (both C++'s <random>, and C's rand) in C++. Since I keep writing these, I decided to write it all down into one blog post so that I can link it to people later. … »
In part 1 of this series, we built a Sudoku solver based on translating Sudoku to SAT and then giving the resulting SAT instance to a SAT solver. We also … »
I just got home from the second conference I gave a talk at during September and decided to write about my experiences while I am slowly decompressing. … »
In the previous two parts we used a SAT solver as a black box that we feed input into, and it will (usually quickly) spit out an answer. In this part, we will look at how SAT solvers work and what heuristics and other tricks they employ in their quest for performance. … »
I am planning to create a branch for the next major version of Catch2 soon, and doing so brings some questions about Catch2's future. … »
I just spent a week investigating the use of YubiKey and GPG (Gnu Privacy Guard) in our company for security purposes. During that week I've read many tutorials on GPG, some obsolete, some not, and had to piece how to get GPG + YubiKey working from WSL. Then I wrote everything down in this post. … »