Reminiscing this and that, on the web since 1994.
Posted 2012-04-22 19:50. Tagged python, unicode, hack, fileinput.
When iterating over a set of input files in Python, how to decode the lines of each file with the correct encoding?
I wrote a hook for the fileinput module to look for a -*- coding: foo -*- marker in the first lines of each file.
Posted 2008-04-12 15:50. Tagged characters, markup, unicode, hyphen.
There is a lot of dashes and hyphenation marks in Unicode. Here’s the more important ones and when to use them — and how your browser handles them.
Publicerad 2000-08-27 10:28. Taggat characters, markup, unicode.
Den här sidan är dels en lista över några tecken som är bra att ha i tekniska samanhang, och dels en test av hur din browser hanterar dem.