The Weekly Weird - 2014-09-12
- Let's start off with the most important video you'll see this week: https://www.youtube.com/watch?v=txj6ROnIUIo
- I'm sure this will come as a shock but spreadsheets have bugs! http://www.haskell.org/pipermail/haskell-cafe/2014-August/115586.html
- Some very good information on how Google fights spam from an ex-googler: https://moderncrypto.org/mail-archive/messaging/2014/000780.html
- RIP SHA-1: http://blog.chromium.org/2014/09/gradually-sunsetting-sha-1.html
- Adam Langley has a nice pair of posts about formally verifying C code. Tl;dr: it's really freaking hard for even trivial code: https://www.imperialviolet.org/2014/09/07/provers.html and https://www.imperialviolet.org/2014/09/11/moveprovers.html/
- Did you try unplugging it and plugging it back in?
