document.write("«&nbsp;<a href='/news/view?id=96140'>An infinite branch in a decidable tree. (arXiv:1801.00423v2 [math.LO] UPDATED)</a>");document.write(" | ");document.write("<a href='/news/view?id=96142'>Ask HN: How do you find freelance work?</a>&nbsp;»");