But I'm guessing that you've figured out after reading your own comment that the musical sharp symbol is not rendered in all mediums (including HN). Were I required to search for reference material related to Microsoft's C-like language using proper typography, I'd have to go cut-and-paste the symbol from a WikiPedia page because I don't know how to get it from keyboard to textfield otherwise.

IMO, yeah, maybe not the best choice by MSFT. But pragmatically, we all know what "#" means in that context even if it's not correct. All the Monday-morning-quarterbacking in the world isn't going to change that. So I'm as all for an academic discussion as the next person, but that's all it is.

I assume there was supposed to be a sharp after the first C?

Microsoft, the inventor and trademark owner, use # on their website.