Some tips and tricks for the CP-SAT solver. ...
List of tools I use daily ...
Some notes about Japanese ...
Things to listen and/or watch during conmute. ...
Notes about the book. ...