Java, null, and JSpecify

Kevin Bourrillion gives an introductory presentation on JSpecify, a project spearheading a set of standard annotations for Java static analysis, specifically for tracking null. JSpecify: https://jspecify.dev/ My Twitch channel: https://twitch.tv/nipafx ~~~ Chapters ~~~ 0:00 Intro 1:47 JSpecify overview 2:28 The problem with null and annotations 11:53 The design of JSpecify 15:31 The current status 23:00 Outro Tags: #Java #JDK