Before I started doing research, I saw SAT solvers as academically interesting but without practical uses ouside of other academic applications. I've since then changed my mind, and I want to change yours, because modern SAT solvers are neat, fast and almost criminally underused by the industry. … »
After having to deal with low-quality bug reports in our issue tracker, I've decided to write down some rules for writing a good bug report, and why the quality of bug reports is important for the person opening them as well as for the maintainer. … »
My previous post about CMake provided a simple CMakeLists.txt for a small, self-contained, project. In practice, very few project are fully self-contained, as they either depend on external libraries, or are themselves libraries that other projects depend on. … »
The end of semester is here and, as I grade our students semestral works, I get to use CMakeLists of dubious quality. After seeing the same errors repeat over and over again, I decided to write a short tutorial towards writing simple CMakeLists. … »
The end of semester is here and, as I grade our students semestral works, I get to use Makefiles of dubious quality. After seeing the same errors repeat over and over again, I decided to write a short tutorial towards writing simple Makefiles. … »