A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
תוכן מסופק על ידי Dillon Kearns and Jeroen Engels. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Dillon Kearns and Jeroen Engels או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
063: The Root Cause of False Positives
MP3•בית הפרקים
Manage episode 337861137 series 2653315
תוכן מסופק על ידי Dillon Kearns and Jeroen Engels. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Dillon Kearns and Jeroen Engels או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
- 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)
96 פרקים
MP3•בית הפרקים
Manage episode 337861137 series 2653315
תוכן מסופק על ידי Dillon Kearns and Jeroen Engels. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Dillon Kearns and Jeroen Engels או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
- 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)
96 פרקים
همه قسمت ها
×ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.