Said paper in html rendered by texmacs [1] and past discussion [2] 1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html https://www.texmacs.org/joris/ffnlogn/

Said paper in html rendered by texmacs [1] and past discussion [2] 1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html https://www.texmacs.org/joris/ffnlogn/ffnlogn.html 2: https://news.ycombinator.com/item?id=24991447 https://news.ycombinator.com/item?id=24991447