Hacker News new | ask | show | jobs
by benj111 1193 days ago
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.
1 comments

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.

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.