Ask HN: Anyone using proportional fonts for coding?

(I don't find them distracting and I enjoy messing with typography.)

I'm curious about any less obvious pros and cons, as well as recommendations for any fonts to try.