Apart from the typesetting, is this different from this submission from earlier in the day?

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