document.write("«&nbsp;<a href='/news/view?id=119535'>Show HN: Pinpointer, a Firefox extension to share links to page elements</a>");document.write(" | ");document.write("<a href='/news/view?id=119537'>Steps Toward Super Intelligence Part I: How We Got Here</a>&nbsp;»");