document.write("«&nbsp;<a href='/news/view?id=85164'>Are all BSDs created equally? A survey of BSD kernel vulnerabilities [video]</a>");document.write(" | ");document.write("<a href='/news/view?id=85166'>Ask HN: What was the best CS paper you read in 2017?</a>&nbsp;»");