Description

• 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)