There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in.

Added to korrents 21 Jan 2019 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• The hard part of verification is not proving the code correct but working out what the specification should say. HWHillel Wayne21 Jan 2019similar wording
• Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. MKMartin Kleppmann22 Apr 2026similar wording
• AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. MKMartin Kleppmann22 Apr 2026similar wording
• Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. GSGrant Sanderson30 Jun 2026similar wording
• Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. HWHillel Wayne21 Jan 2019similar wording

On the map

Open the map on its own page →