I wonder if (and increasingly suspect that) we’ll see a surge in interest in formal methods. Specification languages like TLA+ have been beasting in academia for years but have ~zero traction in industry. This might change now that verification is suddenly the only leg of the stool left standing for how humans can instill trust in software.
I wonder if (and increasingly suspect that) we’ll see a surge in interest in formal methods. Specification languages like TLA+ have been beasting in academia for years but have ~zero traction in industry. This might change now that verification is suddenly the only leg of the stool left standing for how humans can instill trust in software.
That's a really good point, Evan. I'd completely forgotten about TLA+ and loom etc. Maybe they will have their renaissance moment now!