Wow, this is great! I have read TLA blogposts before and I was always under impression that it was a whole bunch of complexity for little benefit. This one show

Wow, this is great! I have read TLA blogposts before and I was always under impression that it was a whole bunch of complexity for little benefit. This one shows a great performance on a real case which would be complex to solve in real life.