Hacker News on 8 September 2013

• Left with Nothing
• Quark: A secure Web Browser with a Formally Verified Kernel
• Obama administration had restrictions on NSA reversed in 2011
• JPEG image glitching / corruption
• Theranos
• Why hardware development is hard: Verilog is weird
• You are committing a crime right now (2012)
• ODesk vs Elance vs Freelancer vs Guru
• Startup Ideas Every Nerd Has (That Never Work)
• Message threading (1997-2002)