korrents

Our readingWhat is a korrent?

Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour.

Drawn from what Hillel Wayne said

Subjectformal proof
What this subject means

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

What Hillel Wayne actually said

  1. Hillel Wayne Writer and consultant on formal methods
    I think the case of TLA+ and most, not all, but most formal methods, they shine the most in highly computational domains, where most of the problems are highly technical and not like business embedded.

    Where this was said

    Watch from 0:50:29 plays here

    ↗Formal methods with Hillel Wayneyoutube.com

    29 Jul 2026 · video · 1h 24m · spoken · machine transcript

    All 24 korrents from this recordingthis one is 15th

Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us

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

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map