Interesting Links for 31-01-2014

• Smoking ban in cars with children unenforceable
  (tags: politics law smoking cars )
• Currying vs partial function application (in C#)
  (tags: programming c# )
• Nine Things to Expect from HTTP/2
  (tags: internet web http )
• Dredging rivers won't stop floods. It will make them worse
  (tags: rivers environment )
• Grumpy Disney is the new best thing ever
  (tags: disney funny cats )
• Pregnant women: You are doing it wrong
  (tags: pregnancy advice women )
• Vitamins effective in treating ADHD symptoms
  (tags: vitamins adhd )
• David Cameron using _Crime Dramas_ to justify universal spying on your internet access.
  (tags: uk politics surveillance spying conservatives )

Any suggestions for how to handle Dates in JSON?

Because JSON doesn't support a standard date format I'm going to have to serialise/deserialise to _something_. A quick google has found me numerous different approaches - anyone care to point me at a specific best practice?

(If it helps, the server is Java and serialises via GSON. But that allows me to override with any formatting I like for a given type, so I can happily adjust to whatever makes most sense.)