Nulls are dead - Moritz Halbritter | IntelliJ IDEA Tech Talks

Null pointer exceptions have been called the billion dollar mistake. They are a common source of bugs and frustration. JSpecify aims to fix that, and with Spring Boot 4 and Spring Framework 7 now fully on board, it's time to take a closer look. In this episode, Moritz Halbritter from the Spring team walks us through what this means for your Spring projects and how to adopt JSpecify in practice. Using a live demo, we migrate an existing Spring Boot application, tackling problems along the way. See how to use JSpecify for the contract, IntelliJ IDEA for the developer experience, Spring for the framework, and NullAway for the build guarantee. Whether you're maintaining a large codebase or publishing a library, this episode gives you the tools to start eliminating null pointer exceptions in your applications. Timestamps 00:00:00 – Intro 00:01:09 – What is JSpecify? 00:03:21 – Adding JSpecify to your application 00:08:23 – Add NullAway plugin to check for nullability in the build 00:15:25 – Adding NullMarked to your code 00:18:38 – Fixing false positives 00:33:45 – Using IntelliJ IDEA to find nullability problems 00:38:47 – Using JSpecify with Kotlin 00:45:13 – Adding null checks if you don’t have any 00:51:36 – Summary Links Demo app: https://github.com/mhalbritter/todo-a... Null Safety in Spring Applications With JSpecify and NullAway by Sébastien Deleuze:    • Null Safety in Spring Applications With JS...   Qodana: https://www.jetbrains.com/qodana/ JSpecify: https://jspecify.dev/about/ Libraries that use JSpecify: https://deps.dev/maven/org.jspecify%3... Migrate from Spring Framework annotations to JSpecify: https://docs.openrewrite.org/recipes/... Making JSpecify/NullAway Easier for Maven Users with the Nullability Maven Plugin: https://ik.am/entries/900/en NullAway: https://github.com/uber/nullaway ErrorProne: https://errorprone.info/ Strengthening Kotlin for Backend Development: A Strategic Partnership With Spring: https://blog.jetbrains.com/kotlin/202... How Spring Boot Really Works (From a Core Engineer) - Moritz Halbritter | The Marco Show:    • How Spring Boot Really Works (From a Core ...   Follow Moritz Halbritter: GitHub: https://github.com/mhalbritter Twitter: https://x.com/m_halbritter Bluesky: https://bsky.app/profile/0.5ritter.de LinkedIn:   / moritz-halbritter-9301a1b1   Follow Marit van Dijk: Twitter: https://x.com/MaritvanDijk77 Bluesky: https://bsky.app/profile/maritvandijk... YouTube:    / @maritvandijk   LinkedIn:   / maritvandijk   Website: https://maritvandijk.com/ Join us: Website: https://jb.gg/website Blog: https://jb.gg/blog X:   / intellijidea   Bluesky: https://bsky.app/profile/intellijidea... LinkedIn:   / intellijidea   Facebook:   / intellijidea   Download IntelliJ IDEA: https://jb.gg/download-intellij-idea