The looming problem of slow and brittle proofs in SMT verification | Dark Hacker News