I started to add JSpecify to my projects, and it's beneficial! Yesterday, we found some bugs, and today I found a lot of unnecessary null checks. jspecify.dev
JSpecify Main | JSpecify
Standard Annotations for Java Static Analysis
jspecify.dev
June 14, 2025 at 10:03 AM
I started to add JSpecify to my projects, and it's beneficial! Yesterday, we found some bugs, and today I found a lot of unnecessary null checks. jspecify.dev
@seb.deleuze.fr avoiding all NullPointerExceptions with JSpecify at @devoxx.fr 🤘
April 16, 2025 at 3:56 PM
@seb.deleuze.fr avoiding all NullPointerExceptions with JSpecify at @devoxx.fr 🤘
Maybe you should reply with a link to JSpecify jspecify.dev ^^
JSpecify Main | JSpecify
Standard Annotations for Java Static Analysis
jspecify.dev
November 16, 2024 at 8:24 AM
Maybe you should reply with a link to JSpecify jspecify.dev ^^
Thanks Toshiaki Maki for creating this nullability-maven-plugin that simplifies NullAway configuration with Maven.
#java #spring #jspecify
ik.am/entries/900/en
#java #spring #jspecify
ik.am/entries/900/en
Making Maven Users Use JSpecify/NullAway More Easily with the Nullability Maven Plugin - IK.AM
This article introduces how to introduce JSpecify and NullAway in Maven and simplify the configuration with the Nullability Maven Plugin.
ik.am
April 20, 2026 at 8:04 AM
Thanks Toshiaki Maki for creating this nullability-maven-plugin that simplifies NullAway configuration with Maven.
#java #spring #jspecify
ik.am/entries/900/en
#java #spring #jspecify
ik.am/entries/900/en
I made a proposal for introducing parameter level contracts to JSpecify in order to avoid the proliferation of `@Contract` annotation variants in the JVM ecosystem. 👍 or feedback welcome on this issue. github.com/jspecify/jsp...
Introduce parameter contracts · Issue #757 · jspecify/jspecify
With projects like Spring, Micrometer and many others starting to leverage JSpecify combined with a nullness checker, there is a very popular ask (both from Spring commiters and from community memb...
github.com
August 13, 2025 at 10:52 AM
I made a proposal for introducing parameter level contracts to JSpecify in order to avoid the proliferation of `@Contract` annotation variants in the JVM ecosystem. 👍 or feedback welcome on this issue. github.com/jspecify/jsp...
Spring Boot 4.0.0-M2 introduces a null-safe API thanks to JSpecify 🎉 Try it with IntelliJ IDEA, Kotlin, or checkers like NullAway and share your feedback.
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
Spring Boot 4.0.0-M2 is available now! spring.io/blog/2025/08...
Spring Boot 4.0.0-M2 available now
Level up your Java code and explore what Spring can do for you.
spring.io
August 22, 2025 at 8:08 AM
Spring Boot 4.0.0-M2 introduces a null-safe API thanks to JSpecify 🎉 Try it with IntelliJ IDEA, Kotlin, or checkers like NullAway and share your feedback.
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
I hope somebody will contribute JSpecify support to VSCode and Eclipse 🤞
#JUnit 6.0.0 is released!
✨ Java 17 and Kotlin 2.2 baseline
🌄 JSpecify nullability annotations
🛫 Integrated JFR support
🚟 Kotlin suspend function support
🛑 Support for cancelling test execution
⏭️ New `--fail-fast` mode for ConsoleLauncher
🧹 Removal of deprecated APIs
docs.junit.org/6.0.0/releas...
✨ Java 17 and Kotlin 2.2 baseline
🌄 JSpecify nullability annotations
🛫 Integrated JFR support
🚟 Kotlin suspend function support
🛑 Support for cancelling test execution
⏭️ New `--fail-fast` mode for ConsoleLauncher
🧹 Removal of deprecated APIs
docs.junit.org/6.0.0/releas...
JUnit Release Notes
docs.junit.org
September 30, 2025 at 8:50 AM
#JUnit 6.0.0 is released!
✨ Java 17 and Kotlin 2.2 baseline
🌄 JSpecify nullability annotations
🛫 Integrated JFR support
🚟 Kotlin suspend function support
🛑 Support for cancelling test execution
⏭️ New `--fail-fast` mode for ConsoleLauncher
🧹 Removal of deprecated APIs
docs.junit.org/6.0.0/releas...
✨ Java 17 and Kotlin 2.2 baseline
🌄 JSpecify nullability annotations
🛫 Integrated JFR support
🚟 Kotlin suspend function support
🛑 Support for cancelling test execution
⏭️ New `--fail-fast` mode for ConsoleLauncher
🧹 Removal of deprecated APIs
docs.junit.org/6.0.0/releas...
🙂 Good news: JSpecify is here and your IDE already supports it.
☹️ Bad news: Migrating your code isn’t as easy as it sounds.
😀 Great news: IntelliJ IDEA 2025.3 brings fixes and alignment to make it all just work👇
jb.gg/jhu8fd
☹️ Bad news: Migrating your code isn’t as easy as it sounds.
😀 Great news: IntelliJ IDEA 2025.3 brings fixes and alignment to make it all just work👇
jb.gg/jhu8fd
One Could Simply Add Nullability Check Support… Without Even Noticing It | The IntelliJ IDEA Blog
In IntelliJ IDEA 2025.3, JSpecify becomes the preferred nullability source. When it’s present on the classpath, the IDE automatically recognizes and even generates JSpecify annotations via…
jb.gg
November 27, 2025 at 3:03 PM
🙂 Good news: JSpecify is here and your IDE already supports it.
☹️ Bad news: Migrating your code isn’t as easy as it sounds.
😀 Great news: IntelliJ IDEA 2025.3 brings fixes and alignment to make it all just work👇
jb.gg/jhu8fd
☹️ Bad news: Migrating your code isn’t as easy as it sounds.
😀 Great news: IntelliJ IDEA 2025.3 brings fixes and alignment to make it all just work👇
jb.gg/jhu8fd
I have updated my github.com/sdeleuze/jsp... repository with PRs that introduce new Gradle and Maven NullAway plugins, respectively maintained by Thomas Broyer and @ik.am.
#java #jspecify #spring
#java #jspecify #spring
GitHub - sdeleuze/jspecify-nullaway-demo
Contribute to sdeleuze/jspecify-nullaway-demo development by creating an account on GitHub.
github.com
April 28, 2026 at 10:16 AM
I have updated my github.com/sdeleuze/jsp... repository with PRs that introduce new Gradle and Maven NullAway plugins, respectively maintained by Thomas Broyer and @ik.am.
#java #jspecify #spring
#java #jspecify #spring
Micrometer starts leveraging JSpecify annotations to express the nullability of its APIs 🤩
micrometer 1.16.0-M1 has been released!
Check out the changelog at https://github.com/micrometer-metrics/micrometer/releases/tag/v1.16.0-M1
Check out the changelog at https://github.com/micrometer-metrics/micrometer/releases/tag/v1.16.0-M1
July 14, 2025 at 10:08 PM
Micrometer starts leveraging JSpecify annotations to express the nullability of its APIs 🤩
Making Maven Users Use JSpecify/NullAway More Easily with the Nullability Maven Plugin ik.am/entries/900/en
Making Maven Users Use JSpecify/NullAway More Easily with the Nullability Maven Plugin - IK.AM
This article introduces how to introduce JSpecify and NullAway in Maven and simplify the configuration with the Nullability Maven Plugin.
ik.am
February 24, 2026 at 8:14 AM
Making Maven Users Use JSpecify/NullAway More Easily with the Nullability Maven Plugin ik.am/entries/900/en
Great JSpecify talk by @netdpb.bsky.social relevant for both #java and #kotlin developers youtu.be/z_IO2_XeW2Q?...
JSpecify: Java Nullness Annotations and Kotlin | David Baker
YouTube video by Kotlin by JetBrains
youtu.be
August 14, 2025 at 5:02 AM
Great JSpecify talk by @netdpb.bsky.social relevant for both #java and #kotlin developers youtu.be/z_IO2_XeW2Q?...
IntelliJ IDEA will use JSpecify as its preferred null-safe library starting from 2025.3.
“The adoption of JSpecify is a great example of how collaboration across the Java ecosystem can create not just another standard, but one that developers actually benefit from.” — Andrei Kogun
jb.gg/vt5qb0
“The adoption of JSpecify is a great example of how collaboration across the Java ecosystem can create not just another standard, but one that developers actually benefit from.” — Andrei Kogun
jb.gg/vt5qb0
Null-safe applications with Spring Boot 4
Level up your Java code and explore what Spring can do for you.
spring.io
November 13, 2025 at 1:00 PM
IntelliJ IDEA will use JSpecify as its preferred null-safe library starting from 2025.3.
“The adoption of JSpecify is a great example of how collaboration across the Java ecosystem can create not just another standard, but one that developers actually benefit from.” — Andrei Kogun
jb.gg/vt5qb0
“The adoption of JSpecify is a great example of how collaboration across the Java ecosystem can create not just another standard, but one that developers actually benefit from.” — Andrei Kogun
jb.gg/vt5qb0
Micronaut 5 adopts the JSpecify nullability annotations.
micronaut.io/2026/05/02/m... #micronaut #micronaut5
micronaut.io/2026/05/02/m... #micronaut #micronaut5
May 3, 2026 at 8:29 AM
Micronaut 5 adopts the JSpecify nullability annotations.
micronaut.io/2026/05/02/m... #micronaut #micronaut5
micronaut.io/2026/05/02/m... #micronaut #micronaut5
We've all hit NullPointerExceptions. Optional helped with return values, but what about parameters? JSpecify (jspecify.dev) finally gives us framework-agnostic annotations to mark nullable/non-nullable parameters. Static analysis can now catch these issues earlier! #Java #JSpecify
JSpecify Main | JSpecify
Standard Annotations for Java Static Analysis
jspecify.dev
August 5, 2025 at 2:00 PM
We've all hit NullPointerExceptions. Optional helped with return values, but what about parameters? JSpecify (jspecify.dev) finally gives us framework-agnostic annotations to mark nullable/non-nullable parameters. Static analysis can now catch these issues earlier! #Java #JSpecify
Want to eliminate the “billion-dollar mistake”?
Learn how JSpecify and Spring help prevent NullPointerException in @seb.deleuze.fr’s talk from #IntelliJIDEAConf 👉 youtu.be/otwr0IniwRk
Learn how JSpecify and Spring help prevent NullPointerException in @seb.deleuze.fr’s talk from #IntelliJIDEAConf 👉 youtu.be/otwr0IniwRk
July 30, 2025 at 12:01 PM
Want to eliminate the “billion-dollar mistake”?
Learn how JSpecify and Spring help prevent NullPointerException in @seb.deleuze.fr’s talk from #IntelliJIDEAConf 👉 youtu.be/otwr0IniwRk
Learn how JSpecify and Spring help prevent NullPointerException in @seb.deleuze.fr’s talk from #IntelliJIDEAConf 👉 youtu.be/otwr0IniwRk
Happy to be back at @mixitconf.org 2025 as a speaker with a brand new talk « Null Safety in Java with JSpecify and NullAway » 🎉
January 27, 2025 at 6:26 PM
Happy to be back at @mixitconf.org 2025 as a speaker with a brand new talk « Null Safety in Java with JSpecify and NullAway » 🎉
🍃 Null Safety in Java with JSpecify and NullAway by @seb.deleuze.fr @ Spring I/O 2025
▶️ Video: youtu.be/5Lbxq6LP7FY
🔗 Slides: 2025.springio.net/slides/null-... #springio25
▶️ Video: youtu.be/5Lbxq6LP7FY
🔗 Slides: 2025.springio.net/slides/null-... #springio25
Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025
YouTube video by Spring I/O
youtu.be
June 12, 2025 at 10:28 AM
🍃 Null Safety in Java with JSpecify and NullAway by @seb.deleuze.fr @ Spring I/O 2025
▶️ Video: youtu.be/5Lbxq6LP7FY
🔗 Slides: 2025.springio.net/slides/null-... #springio25
▶️ Video: youtu.be/5Lbxq6LP7FY
🔗 Slides: 2025.springio.net/slides/null-... #springio25
Lot of great new features like Spring Modulith support, better JSpecify support, Spring Debugger or Virtual thread debugging!
🎉 IntelliJ IDEA 2025.2 is out!
It brings powerful updates to help you stay productive, write better code, and adopt the latest tech with confidence.
Discover what’s new: www.jetbrains.com/idea/whatsnew/
It brings powerful updates to help you stay productive, write better code, and adopt the latest tech with confidence.
Discover what’s new: www.jetbrains.com/idea/whatsnew/
August 6, 2025 at 2:07 PM
Lot of great new features like Spring Modulith support, better JSpecify support, Spring Debugger or Virtual thread debugging!
June 2, 2025 at 1:45 PM
@seb.deleuze.fr’s #IntelliJIDEAConf session is now available!
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
July 15, 2025 at 10:02 AM
@seb.deleuze.fr’s #IntelliJIDEAConf session is now available!
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
See how JSpecify and NullAway can make your Spring apps safer, and what to expect in Spring Framework 7.0.
Watch the full session: youtu.be/otwr0IniwRk
🔄 Just starting to explore JSpecify or thinking of migrating from another nullability library?
Come chat with @tagir-valeev.bsky.social and the team behind the JSpecify support in IntelliJ IDEA – you’ll find them at the @jetbrains.com booth at @javazone.bsky.social 2025!
Come chat with @tagir-valeev.bsky.social and the team behind the JSpecify support in IntelliJ IDEA – you’ll find them at the @jetbrains.com booth at @javazone.bsky.social 2025!
🤯 Null pointer exceptions are still around – and still costly for developers.
#JSpecify 1.0 is a new player aiming to fix that, with growing support throughout the #Java ecosystem, including in IntelliJ IDEA.
👉 jb.gg/os04pq
#JSpecify 1.0 is a new player aiming to fix that, with growing support throughout the #Java ecosystem, including in IntelliJ IDEA.
👉 jb.gg/os04pq
What's New in IntelliJ IDEA
Explore IntelliJ IDEA's latest features and updates to elevate your professional Java and Kotlin development experience.
jb.gg
September 4, 2025 at 8:04 AM
🔄 Just starting to explore JSpecify or thinking of migrating from another nullability library?
Come chat with @tagir-valeev.bsky.social and the team behind the JSpecify support in IntelliJ IDEA – you’ll find them at the @jetbrains.com booth at @javazone.bsky.social 2025!
Come chat with @tagir-valeev.bsky.social and the team behind the JSpecify support in IntelliJ IDEA – you’ll find them at the @jetbrains.com booth at @javazone.bsky.social 2025!
Null pointer exceptions are the billion dollar mistake. With Spring Boot 4 & Spring Framework 7 now fully on board with JSpecify, it's time to fix them for good. @0.5ritter.de from the Spring team shows you how. 👇
youtu.be/tpz-FSs6oO4
youtu.be/tpz-FSs6oO4
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…
youtu.be
June 24, 2026 at 3:32 PM
Null pointer exceptions are the billion dollar mistake. With Spring Boot 4 & Spring Framework 7 now fully on board with JSpecify, it's time to fix them for good. @0.5ritter.de from the Spring team shows you how. 👇
youtu.be/tpz-FSs6oO4
youtu.be/tpz-FSs6oO4
I have just merged into Spring Framework main branch the huge commit (3458 files changed) that migrates the codebase to JSpecify annotations. That will allow Spring Framework 7 and related portfolio projects to provide next-level null-safety support to avoid NullPointerException at runtime.
Null-safety :: Spring Framework
docs.spring.io
December 19, 2024 at 10:52 AM
I have just merged into Spring Framework main branch the huge commit (3458 files changed) that migrates the codebase to JSpecify annotations. That will allow Spring Framework 7 and related portfolio projects to provide next-level null-safety support to avoid NullPointerException at runtime.
Very happy to have my 2 talks accepted at @devoxxfr.bsky.social : « Optimize your Spring Boot applications with CDS and Project Leyden » and « Null Safety in Java with JSpecify and NullAway » 😊
February 5, 2025 at 6:19 AM
Very happy to have my 2 talks accepted at @devoxxfr.bsky.social : « Optimize your Spring Boot applications with CDS and Project Leyden » and « Null Safety in Java with JSpecify and NullAway » 😊