4 ms·

"this gives us efficient space-time trade-offs" :-(

• dotancohen 8y ago
  Those are HTML entities. Most modern programming languages come with tools to decode this, e.g. in python: text = urllib.parse.unquote(text)
  • jwilk 8y ago
    urllib.parse.unquote() is unrelated to HTML. It undoes URL-encoding: https://docs.python.org/3/library/urllib.parse.html#urllib.parse.unquote https://docs.python.org/3/library/urllib.parse.html#urllib.p... In Python ≥ 3.4, you can use html.unescape() to decode HTML entities: https://docs.python.org/3/library/html.html#html.unescape https://docs.python.org/3/library/html.html#html.unescape
    • dotancohen 8y ago
      You are 100% correct. I mixed the two encodings up. Thanks.