EPISODE · Aug 15, 2022 · 1H 10M
063: The Root Cause of False Positives
from Elm Radio · host Dillon Kearns
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)
What this episode covers
We explore false positives and negatives in static analysis tools, and how Elm helps us avoid them.
NOW PLAYING
063: The Root Cause of False Positives
0:00
1:10:22
1×
No transcript for this episode yet
Similar Episodes
Similar Podcasts
La Corrobra
Canal Extremadura
El espacio de la radio pública que pone en valor las lenguas autóctonas de Extremadura: el estremeñu, la fala y el portugués rayano.Con Juan Pedro Sánchez.
Radio Maria Kenya
Radio Maria Kenya
A Christian voice in Kenya and in the World
The Brackenfield Records
Anvil Audio Productions
An off-beat homage to classic radio detectives of the 1940s and '50s, The Brackenfield Records offers comforting genre fare, sitting somewhere between cosy and hard-boiled crime fiction.Whether it's dealing with unfaithful spouses, off-the-rails celebrities, crooked businesspeople, or gun-toting no-gooders, Brackenfield never falters!
DarkCompass
Hard Rock Hell Radio
DarkCompass brings you some of the best New Independent and Unsigned Music Every Week, from around the world.
Frequently Asked Questions
How long is this episode of Elm Radio?
This episode is 1 hour and 10 minutes long.
When was this Elm Radio episode published?
This episode was published on August 15, 2022.
What is this episode about?
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...
Can I download this Elm Radio episode?
Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!