https://book.nixsoftware.net/product/problems-and-solutions/