<ul><li><a href="https://twitter.com/jfmengels/status/1556320460958310400">Jeroen's tweet on the root cause of false positives</a></li><li><a href="https://en.wikipedia.org/wiki/Epistemology">Epistemology</a></li><li><a href="https://isabelle.in.tum.de/">Isabelle</a> and <a href="https://lamport.azurewebsites.net/tla/tla.html">TLA+</a> (proof systems)</li><li><a href="https://en.wikipedia.org/wiki/Precautionary_principle">Precautionary principle</a></li><li><a href="https://eslint.org/docs/latest/rules/array-callback-return"><code>array-callback-return</code> ESLint rule</a></li><li>elm-review's <a href="https://package.elm-lang.org/packages/jfmengels/elm-review/latest/Review-ModuleNameLookupTable">ModuleNameLookupTable</a></li><li>Jeroen's <a href="https://jfmengels.net/safe-unsafe-operations-in-elm/">Safe unsafe operations in Elm</a> blog post</li><li>Jeroen's Lambda Days 2022 talk (video not yet published)</li></ul>

Jeroen's tweet on the root cause of false positivesEpistemologyIsabelle and TLA+ (proof systems)Precautionary principlearray-callback-return ESLint ruleelm-review's ModuleNameLookupTableJeroen's Safe unsafe operations in Elm blog postJeroen's Lambda Days 2022 talk (video not yet published)

<ul><li><a href="https://twitter.com/jfmengels/status/1556320460958310400" rel="noopener noreferrer">Jeroen's tweet on the root cause of false positives</a></li><li><a href="https://en.wikipedia.org/wiki/Epistemology" rel="noopener noreferrer">Epistemology</a></li><li><a href="https://isabelle.in.tum.de/" rel="noopener noreferrer">Isabelle</a> and <a href="https://lamport.azurewebsites.net/tla/tla.html" rel="noopener noreferrer">TLA+</a> (proof systems)</li><li><a href="https://en.wikipedia.org/wiki/Precautionary_principle" rel="noopener noreferrer">Precautionary principle</a></li><li><a href="https://eslint.org/docs/latest/rules/array-callback-return" rel="noopener noreferrer">array-callback-return ESLint rule</a></li><li>elm-review's <a href="https://package.elm-lang.org/packages/jfmengels/elm-review/latest/Review-ModuleNameLookupTable" rel="noopener noreferrer">ModuleNameLookupTable</a></li><li>Jeroen's <a href="https://jfmengels.net/safe-unsafe-operations-in-elm/" rel="noopener noreferrer">Safe unsafe operations in Elm</a> blog post</li><li>Jeroen's Lambda Days 2022 talk (video not yet published)</li></ul>

063: The Root Cause of False Positives

Tune in to the tools and techniques in the Elm ecosystem.

Share 063: The Root Cause of False Positives

Sign up to save your podcasts

063: The Root Cause of False Positives

063: The Root Cause of False Positives