Typed JSON, a binary-encoded serialization of JSON-like documents | Hacker News Reader