Tune in to the tools and techniques in the Elm ecosystem.
063: The Root Cause of False Positives
August 15, 2022
1:10:22
67.6 MB
Downloads: 0
- Jeroen's tweet on the root cause of false positives
- Epistemology
- Isabellehttps://en.wikipedia.org/wiki/Isabelle_(proof_assistant) 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)