[benj111]

While I'd never heard of the language or compiler before, so unless you want a title that covers the blog post, I don't know how you want to get rid of your objections.

[avgcorrection]

Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT”

This is in the power of the submitter since the submitter is the author of this piece.

[cinntaile]

That would be an incorrect description of the content. The point of the article isn't to introduce the language, the point is to sollicit feedback.