[vslira]

Speaking for myself (and I bought Hillel's recently published Logic for Programmers): It's not clear to me which formal method I should use. I'm certain the answer is "there's a different best one for each situation", but I don't want to know one for each problem I'll face. I'd rather have a definitive answer to what is the second best for all situations, similar to how we can answer "python" to that question when the question is about general programming

[antonvs]

> similar to how we can answer "python" to that question when the question is about general programming

An ironic claim in the context of formal methods.

[dahart]

Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python.

[mrkeen]

The most widely available, useful, and best-bang-for-buck formal method is using a good type system.