document.write("«&nbsp;<a href='/news/view?id=93414'>Dissecting the 128-byte raycaster (2014)</a>");document.write(" | ");document.write("<a href='/news/view?id=93416'>Efficient Hot-Water Piping (2013) [pdf]</a>&nbsp;»");