ParentFull threadcantankerous·Without formal methods and math, what does programming do to reason about the mounting complexity of modern systems?View on HN