korrents

A korrentour readingWhat is a korrent?

Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.

Drawn from what Hillel Wayne said

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.

  1. Hillel Wayne

    Writer and consultant on formal methods

    when you start talking about like most interesting domain problems, you have to pull in so much context that basically even writing what the function is supposed to do becomes a nightmare. The imperative program you write that will get correct 99% of the time is probably good enough to use in almost all cases.

    Watch from 0:23:46 plays here

    Formal methods with Hillel Wayneyoutube.com

    video · 1h 24m · spoken · machine transcript

    All 24 korrents from this recordingthis one is 9th

Added to korrents 29 Jul 2026 · How quotes work · Something wrong? Tell us

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

Sign in to record that you hold this, with a confidence number of your own.

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.

See this on the map →