Nah, you can do it on Reddit because they use Markdown instead of HN's homegrown comment formatter. In case you ever need to post a proportional font code sample over there, the trick is to use for all the leading spaces, and also add two regular spaces at the end of each line before the last one.