Yup, I checked it out, some cool ideas in there. Owl and I were talking about our deterministic algos for SR under another recent HN post on SR, which seems to be having a small moment.

https://news.ycombinator.com/item?id=50171936