Comment by remywang

Said paper in html rendered by texmacs [1] and past discussion [2]

1: https://news.ycombinator.com/item?id=24991447