korrents

Our readingWhat is a korrent?

Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop.

Drawn from what Hillel Wayne said

Subjectsformal proofsoftware quality
What these subjects mean

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

software quality Whether a program is any good and how anyone would know: tests, review, debt, and what a suite cannot cover.

What Hillel Wayne actually said

  1. Hillel Wayne Writer and consultant on formal methods
    I love formal methods, but I think it's a fairly niche tool for most people and I think like property-based testing is in general going to be useful for more people.

    Where this was said

    Watch from 1:05:13 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 17th

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