Where did the 10x come from? I thought we were discussing the trade-offs of typing a little more to guarantee correctness, or at least eliminate a class of sof

Where did the 10x come from? I thought we were discussing the trade-offs of typing a little more to guarantee correctness, or at least eliminate a class of software errors. You're doing that Appeal to the Extremes Fallacy: https://www.logicallyfallacious.com/tools/lp/Bo/LogicalFallacies/30/Appeal-to-Extremes https://www.logicallyfallacious.com/tools/lp/Bo/LogicalFalla...