The very first git commit happened 13-Feb-2016, 5 years ago. In February 2016 it wasn't a 'book', but rather a collection of my blog posts. This is how it looked like, see here. In 28-Feb-2016 it got its '15 minutes of fame' at Hacker News.
But it all was started even earlier, in August 2012, ~8.5 years ago, with my first experiments with Z3 and program synthesis.
Today it's a ~615pp book.
A little bit of history from the ChangeLog file.
Thanks to everyone who has helped me.
Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.