Episode 63
063: The Root Cause of False Positives
We explore false positives and negatives in static analysis tools, and how Elm helps us avoid them.
August 15, 20221h 10m
Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
- Jeroen's tweet on the root cause of false positives
- Epistemology
- Isabelle and TLA+ (proof systems)
- Precautionary principle
array-callback-returnESLint rule- elm-review's ModuleNameLookupTable
- Jeroen's Safe unsafe operations in Elm blog post
- Jeroen's Lambda Days 2022 talk (video not yet published)