document.write("«&nbsp;<a href='/news/view?id=150388'>Chrome OS’ Instant Tethering now works with more than 30 Android smartphones</a>");document.write(" | ");document.write("<a href='/news/view?id=150390'>Coded Elastic Computing. (arXiv:1812.06411v2 [cs.IT] UPDATED)</a>&nbsp;»");