Hacker News on 20 May 2014

• Why I was forced to shut down Lavabit
• Level3 is without peer, now what to do?
• Using the wrong dictionary
• New DuckDuckGo design
• When AES(☢) = ☠ – a crypto-binary trick
• China bans use of Windows 8 on government computers
• Microsoft announces the Surface Pro 3
• Questions for Donald Knuth
• Script-injected "async scripts" considered harmful
• The desktop and the developer