Related post (and highly recommended!) from yesterday:

The Silent (R)evolution of SAT https://news.ycombinator.com/item?id=36079115