Start / Elm Radio / 063 the root cause of false positives

063: The Root Cause of False Positives

70 min • 15 augusti 2022

Jeroen's tweet on the root cause of false positives
Epistemology
Isabelle and TLA+ (proof systems)
Precautionary principle
array-callback-return ESLint rule
elm-review's ModuleNameLookupTable
Jeroen's Safe unsafe operations in Elm blog post
Jeroen's Lambda Days 2022 talk (video not yet published)

Kategorier

Poddar Teknologi

Förekommer på

00:00 -00:00