Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them.

Drawn from what Hillel Wayne said

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

nuclear power Fission as an energy source: what it costs, what it risks, and whether anything else can do the job.

A private bookmark. Not a position, and never counted.

What Hillel Wayne actually said

Word for word, with the source under each one. They did not write this page.

Do you hold this korrent?Do you also believe this?

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.