I love this paper; it's extremely easy to read, but still gets into rigorous proof. Despite their explanation, I still had to hack together something in Java a

I love this paper; it's extremely easy to read, but still gets into rigorous proof. Despite their explanation, I still had to hack together something in Java and step through it with a debugger for it to actually make sense to me. Once I did it worked fine, and after looking through each iteration I more or less got it. Here's the code if anyone wants to look at it [1], though just a disclaimer that I wrote this in like ten minutes just to hack something so it's not beautiful or anything like that. It's so simple that I don't think I made any mistakes though obviously if I did let me know and I'll be slightly embarrassed. [1] https://gist.github.com/Tombert/993ada32270f809bdaa6452065f84bf7 https://gist.github.com/Tombert/993ada32270f809bdaa6452065f8...