document.write("«&nbsp;<a href='/news/view?id=61662'>Why Kotlin Is Better</a>");document.write(" | ");document.write("<a href='/news/view?id=61664'>[$] LWN.net Weekly Edition for May 18, 2017</a>&nbsp;»");