document.write("«&nbsp;<a href='/news/view?id=116930'>Chrome developer tools to master</a>");document.write(" | ");document.write("<a href='/news/view?id=116932'>Coalgebraic Tools for Randomness-Conserving Protocols. (arXiv:1807.02735v1 [cs.LO])</a>&nbsp;»");