Just published a new video on Spring Boot 4's null safety features with JSpecify! Finally, nullness is explicit in your APIs, no more guessing what might return null. Your future self will thank you.
Watch: youtu.be/QlGnaRoujL8
#SpringBoot #Java #NullSafety
Watch: youtu.be/QlGnaRoujL8
#SpringBoot #Java #NullSafety
⛔ Stop NullPointerExceptions Before Production in Spring Boot 4 with Null Safety
YouTube video by Dan Vega
youtu.be
November 5, 2025 at 4:34 PM
Just published a new video on Spring Boot 4's null safety features with JSpecify! Finally, nullness is explicit in your APIs, no more guessing what might return null. Your future self will thank you.
Watch: youtu.be/QlGnaRoujL8
#SpringBoot #Java #NullSafety
Watch: youtu.be/QlGnaRoujL8
#SpringBoot #Java #NullSafety
Spring va inclure la librairie JSpecify, pour gérer la "null-safety" au sein du framework 🍃
La dépendance est portée par "spring-core", et sera transitive. Les anciennes annotations "Null" implémentées par Spring Framework ont été marquées "@Deprecated" 💀
La dépendance est portée par "spring-core", et sera transitive. Les anciennes annotations "Null" implémentées par Spring Framework ont été marquées "@Deprecated" 💀
November 4, 2025 at 8:03 AM
Spring va inclure la librairie JSpecify, pour gérer la "null-safety" au sein du framework 🍃
La dépendance est portée par "spring-core", et sera transitive. Les anciennes annotations "Null" implémentées par Spring Framework ont été marquées "@Deprecated" 💀
La dépendance est portée par "spring-core", et sera transitive. Les anciennes annotations "Null" implémentées par Spring Framework ont été marquées "@Deprecated" 💀
Le FinistDevs revient à ses racines de JUG !
🗓️ Jeu 13 nov 18h30
📍 Zenika Brest
👨💻 @snicoll.be – Spring Boot : Chapitre 4
Découvrez les nouveautés de Spring Boot 4.0 : JSpecify, Jackson 3.0, RestClient…
🍕 Pizzas & boissons
➡️ www.meetup.com/finistdevs/e...
🗓️ Jeu 13 nov 18h30
📍 Zenika Brest
👨💻 @snicoll.be – Spring Boot : Chapitre 4
Découvrez les nouveautés de Spring Boot 4.0 : JSpecify, Jackson 3.0, RestClient…
🍕 Pizzas & boissons
➡️ www.meetup.com/finistdevs/e...
FinistDevs | Meetup
Twitter: @FinistDevsSite web: https://finistdevs.orgLe FinistJUG est un groupe d'utilisateurs Java ayant pour but de réunir les acteurs du langage (professionnels, communautés open source, institution...
meetup.com
November 3, 2025 at 10:16 AM
Le FinistDevs revient à ses racines de JUG !
🗓️ Jeu 13 nov 18h30
📍 Zenika Brest
👨💻 @snicoll.be – Spring Boot : Chapitre 4
Découvrez les nouveautés de Spring Boot 4.0 : JSpecify, Jackson 3.0, RestClient…
🍕 Pizzas & boissons
➡️ www.meetup.com/finistdevs/e...
🗓️ Jeu 13 nov 18h30
📍 Zenika Brest
👨💻 @snicoll.be – Spring Boot : Chapitre 4
Découvrez les nouveautés de Spring Boot 4.0 : JSpecify, Jackson 3.0, RestClient…
🍕 Pizzas & boissons
➡️ www.meetup.com/finistdevs/e...
We've been using github.com/bohnman/pack... to automatically generate `package-info.java` files in all of our packages with `@javax.annotation.ParametersAreNonnullByDefault` annotation (I know 😅, but was the "best" annotation).
Migrating to JSpecify when we upgrade to #SpringBoot 4 will be trivial 😎
Migrating to JSpecify when we upgrade to #SpringBoot 4 will be trivial 😎
GitHub - bohnman/package-info-maven-plugin: Generates package-info.java files from a template file
Generates package-info.java files from a template file - bohnman/package-info-maven-plugin
github.com
October 31, 2025 at 1:13 PM
We've been using github.com/bohnman/pack... to automatically generate `package-info.java` files in all of our packages with `@javax.annotation.ParametersAreNonnullByDefault` annotation (I know 😅, but was the "best" annotation).
Migrating to JSpecify when we upgrade to #SpringBoot 4 will be trivial 😎
Migrating to JSpecify when we upgrade to #SpringBoot 4 will be trivial 😎
Spring Boot 4's null-safety is here! 🎯
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
October 31, 2025 at 12:53 PM
Spring Boot 4's null-safety is here! 🎯
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@NullMarked (JSpecify + NullAway) makes nullness explicit. No more guessing if findUserByEmail() returns null.
IDE catches NPEs at compile-time. Your type signatures finally tell the truth.
@seb.deleuze.fr and @snicoll.be do you know if jspecify/or nullaway allows a way to declare that a variable that is annotated with @PathVariable(required = false) and is not an Optional is automatically marked as Nullable?
October 24, 2025 at 11:25 AM
@seb.deleuze.fr and @snicoll.be do you know if jspecify/or nullaway allows a way to declare that a variable that is annotated with @PathVariable(required = false) and is not an Optional is automatically marked as Nullable?
JsonUnit 5 has been released:
- Jackson 3 support
- Support for Spring 7 RestTestClient
- JSpecify nullability annotations
- Jackson 3 support
- Support for Spring 7 RestTestClient
- JSpecify nullability annotations
October 13, 2025 at 6:51 AM
JsonUnit 5 has been released:
- Jackson 3 support
- Support for Spring 7 RestTestClient
- JSpecify nullability annotations
- Jackson 3 support
- Support for Spring 7 RestTestClient
- JSpecify nullability annotations
Java testing framework JUnit 6.0 brings Java 17 & Kotlin 2.2 requirements, unified artifact versioning, JSpecify nullability annotations, module removals, JFR functionality integration, deterministic order of @Nested classes, improved CSV support, and more.
buff.ly/botYq75
buff.ly/botYq75
October 6, 2025 at 9:31 AM
Java testing framework JUnit 6.0 brings Java 17 & Kotlin 2.2 requirements, unified artifact versioning, JSpecify nullability annotations, module removals, JFR functionality integration, deterministic order of @Nested classes, improved CSV support, and more.
buff.ly/botYq75
buff.ly/botYq75
#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...
JSpecify and NullAway: A fresh take on nullsafety in the Java world
Introduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3].…
buff.ly
September 27, 2025 at 10:00 AM
Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all.
info.michael-simons.eu/2025/09/26/j...
info.michael-simons.eu/2025/09/26/j...
JSpecify and NullAway: A fresh take on nullsafety in the Java world
Introduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3]. De...
info.michael-simons.eu
September 26, 2025 at 2:05 PM
Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all.
info.michael-simons.eu/2025/09/26/j...
info.michael-simons.eu/2025/09/26/j...
In a world in which ur library cannot know if it's used in an environment with NullAway, you will need to add checks like this still with JSpecify:
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
September 26, 2025 at 10:44 AM
In a world in which ur library cannot know if it's used in an environment with NullAway, you will need to add checks like this still with JSpecify:
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
Objects.requireNonNull(summand, "One summand is required");
Or just throw in an additional `@lombok.NonNull` to have the above check generated ;)
2/9. "Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025" ⸱ +9k views ⸱ 12 Jun 2025 ⸱ https://youtube.com/watch?v=5Lbxq6LP7FY
Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025
Spring I/O 2025 - 21-23 May, BarcelonaSlides: https://2025.springio.net/slides/null-safety-in-java-with-jspecify-and-nullaway-springio.pdfJSpecify is a set o...
youtube.com
September 17, 2025 at 6:24 AM
2/9. "Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025" ⸱ +9k views ⸱ 12 Jun 2025 ⸱ https://youtube.com/watch?v=5Lbxq6LP7FY
Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!
Release NullAway 0.12.10 · uber/NullAway
This release contains significant improvements to inference support for generic method calls in JSpecify mode (#1075).
We expect that many more valid calls will pass NullAway, but that some new bug...
github.com
September 16, 2025 at 6:59 PM
Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!
Truth library update to JSpecify 1.0.0 is coming (no ETA but should be reasonably soon 🤞🏼).
September 10, 2025 at 1:56 PM
Truth library update to JSpecify 1.0.0 is coming (no ETA but should be reasonably soon 🤞🏼).
(Dependency management for JSpecify is what I added, too)
September 10, 2025 at 1:47 PM
(Dependency management for JSpecify is what I added, too)
Main reason for runtime retention is the various use cases where you may want to check if a parameter, for example, is optional. Conceptually that augments the type system.
I will ask Google to update that library to JSpecify 1.0.0.
JSpecify backward compatibility should make dep management safe.
I will ask Google to update that library to JSpecify 1.0.0.
JSpecify backward compatibility should make dep management safe.
September 10, 2025 at 1:43 PM
Main reason for runtime retention is the various use cases where you may want to check if a parameter, for example, is optional. Conceptually that augments the type system.
I will ask Google to update that library to JSpecify 1.0.0.
JSpecify backward compatibility should make dep management safe.
I will ask Google to update that library to JSpecify 1.0.0.
JSpecify backward compatibility should make dep management safe.
While I do like idea about #JSpecify for #Java, here's my reason number one not to ship in one of my libraries as dependency until someone forces me… The annotations' retention policy is runtime time, hence the lib ships with your lib and than this obviously is gonna happen…
September 10, 2025 at 1:23 PM
I just noticed that #JSpecify is gaining some real momentum. Looking forward to using it!
Start Here | JSpecify
Quick links: [Release] | [GitHub] | [User Guide] | [Javadoc] | [Spec] | [Wiki] |
jspecify.dev
September 8, 2025 at 3:57 PM
I just noticed that #JSpecify is gaining some real momentum. Looking forward to using it!
Another quick tip because we only teach people java 7 and barely java 8 in schools: Lombok is really nice for not having to write getters and setters immediately yourself but only when necessary.
If you wanna round nullity then you can use jspecify but very few apis return null if ever.
If you wanna round nullity then you can use jspecify but very few apis return null if ever.
September 4, 2025 at 9:18 AM
Another quick tip because we only teach people java 7 and barely java 8 in schools: Lombok is really nice for not having to write getters and setters immediately yourself but only when necessary.
If you wanna round nullity then you can use jspecify but very few apis return null if ever.
If you wanna round nullity then you can use jspecify but very few apis return null if ever.
🔄 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 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:01 AM
🤯 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
En mettant à jour mes cours, je tombe par hasard sur JUnit 6 : baseline en Java 17, utilisation des annotations JSpecify pour la null-safety (à combiner à la compilation avec NullAway par exemple).
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Upgrading to JUnit 6.0
✅ The programmer-friendly testing framework for Java and the JVM - junit-team/junit-framework
github.com
September 4, 2025 at 7:12 AM
En mettant à jour mes cours, je tombe par hasard sur JUnit 6 : baseline en Java 17, utilisation des annotations JSpecify pour la null-safety (à combiner à la compilation avec NullAway par exemple).
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Ils ont déjà écrit une doc de migration depuis la version 5 : github.com/junit-team/j...
Demoing the brilliance of JSpecify and NullAway support in IntelliJ IDEA with #Spring, #Java and #Kotlin at #SpringOne — thanks to Andrei Kogun and @dashaun.com !
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
August 28, 2025 at 3:00 PM
Demoing the brilliance of JSpecify and NullAway support in IntelliJ IDEA with #Spring, #Java and #Kotlin at #SpringOne — thanks to Andrei Kogun and @dashaun.com !
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our
Read more in the InteliJ IDEA 2025.2 What’s New: jb.gg/uq8our