>scare quotes I don't think the author had malicious intent. Unfortunately, we use quote marks for at least 2 different meanings: (1) <scare_quote>type check

>scare quotes I don't think the author had malicious intent. Unfortunately, we use quote marks for at least 2 different meanings: (1) <scare_quote>type checking</scare_quote> ... as dismissive sarcasm (2) <term_of_art_quote>type checking</term_of_art_quote> ... as a delimiters for industry vocabulary Based on all the other uses of quotes in the blog post, he's using it as (2) terms of art. Some style guides suggest using italics instead of quotes for terms of art but a nice property of "quotes" is that it survives copy & paste into plain text files.