There's also a post, which this links at the end, describing algorithmic improvements:

https://research.googleblog.com/2017/05/efficient-smart-repl...