document.write("«&nbsp;<a href='/news/view?id=68325'>Show HN: VisiData – vi for data</a>");document.write(" | ");document.write("<a href='/news/view?id=68327'>Slow Reflection. (arXiv:1601.08214v2 [math.LO] UPDATED)</a>&nbsp;»");