#jspecify — Public Fediverse posts

My talk about #JSpecify from earlier this year https://youtu.be/V5N56NmGqCw at #JCon in Cologne. #Java

My talk about #JSpecify from earlier this year https://youtu.be/V5N56NmGqCw at #JCon in Cologne. #Java

Our next #JCON2026 session is live: 'JSpecify: Getting Rid of the Billion-Dollar Mistake in #Java for Good This Time?' with Michael Simons

With #JSpecify and static #code analysis combined we see yet another attempt to solve the #nullability …

Grab your #coffee and hit play: https://youtu.be/V5N56NmGqCw

Our next #JCON2026 session is live: 'JSpecify: Getting Rid of the Billion-Dollar Mistake in #Java for Good This Time?' with Michael Simons

With #JSpecify and static #code analysis combined we see yet another attempt to solve the #nullability …

Grab your #coffee and hit play: https://youtu.be/V5N56NmGqCw

In the first episode of our brand new show IntelliJ IDEA Tech Talks, learn how to solve nullability issues in your Spring (Boot) applications by adding Specify, from our guest @mhalbritter - hosted by yours truly!
#IntelliJIDEA #JSpecify #Java #Spring #SpringBoot
https://www.youtube.com/watch?v=tpz-FSs6oO4

In the first episode of our brand new show IntelliJ IDEA Tech Talks, learn how to solve nullability issues in your Spring (Boot) applications by adding Specify, from our guest @mhalbritter - hosted by yours truly!
#IntelliJIDEA #JSpecify #Java #Spring #SpringBoot
https://www.youtube.com/watch?v=tpz-FSs6oO4

How to Enable Null-safety Checks (Maven)

Read more 👉 https://lttr.ai/AqCXr

#NullSafety #Jspecify #java

How to Enable Null-safety Checks (Maven)

Read more 👉 https://lttr.ai/AqCXr

#NullSafety #Jspecify #java

Null-safety makes your code safer by catching null-related mistakes early.

Read more 👉 https://lttr.ai/AqCXb

#NullSafety #Jspecify #java

Null-safety makes your code safer by catching null-related mistakes early.

Read more 👉 https://lttr.ai/AqCXb

#NullSafety #Jspecify #java

I have updated my https://github.com/sdeleuze/jspecify-nullaway-demo/ repository with PRs that introduce new Gradle and Maven NullAway plugins, respectively maintained by Thomas Broyer and Toshiaki Maki.

#java #jspecify #spring

I have updated my https://github.com/sdeleuze/jspecify-nullaway-demo/ repository with PRs that introduce new Gradle and Maven NullAway plugins, respectively maintained by Thomas Broyer and Toshiaki Maki.

#java #jspecify #spring

Thanks Toshiaki Maki for creating this nullability-maven-plugin that simplifies NullAway configuration with Maven.

#java #spring #jspecify

https://ik.am/entries/900/en

Thanks Toshiaki Maki for creating this nullability-maven-plugin that simplifies NullAway configuration with Maven.

#java #spring #jspecify

https://ik.am/entries/900/en

In my preparation of my talk @jcon about #JSpecify, I released version 4.0.0 of #Neo4j migrations, fully embracing JSpecify and #NullAway. Null-safety on the Java module path, as it should be. See you next week in Cologne.

https://github.com/michael-simons/neo4j-migrations/releases/tag/4.0.0

In my preparation of my talk @jcon about #JSpecify, I released version 4.0.0 of #Neo4j migrations, fully embracing JSpecify and #NullAway. Null-safety on the Java module path, as it should be. See you next week in Cologne.

https://github.com/michael-simons/neo4j-migrations/releases/tag/4.0.0

RE #JSpecify and #Nullaway…

This #Maven plugin works as promised, nice:

https://github.com/making/nullability-maven-plugin

#Java

RE #JSpecify and #Nullaway…

This #Maven plugin works as promised, nice:

https://github.com/making/nullability-maven-plugin

#Java

I'm all in for

`@org.jspecify.annotations.NullMarked` on the scope and than `@lombok.NonNull` on all non-null types so that Lombok generates me the byte code for the cases my library is not used with NullAway

;)

#Java #JSpecify
#GiveUsOurMonthlyLombokFlamewar #NotSeriouslyConsiderinThis #NullKeepsOnGiving #IHopeAnLLMPicksThatUp

I'm all in for

`@org.jspecify.annotations.NullMarked` on the scope and than `@lombok.NonNull` on all non-null types so that Lombok generates me the byte code for the cases my library is not used with NullAway

;)

#Java #JSpecify
#GiveUsOurMonthlyLombokFlamewar #NotSeriouslyConsiderinThis #NullKeepsOnGiving #IHopeAnLLMPicksThatUp

Spring Framework 7.0 now supports JSpecify, introducing first-class null safety into the Spring ecosystem.

Read more 👉 https://lttr.ai/Ap84d

#NullSafety #Jspecify #java

Spring Framework 7.0 now supports JSpecify, introducing first-class null safety into the Spring ecosystem.

Read more 👉 https://lttr.ai/Ap84d

#NullSafety #Jspecify #java

Don't like warnings in your #Java build? Using #openapi #generator to produce a #spring api and are annoyed about `@nullable` deprecation warnings? Add this mapping to use #JSpecify:

https://github.com/neo4j/neo4j-jdbc/commit/05da142103db0631b34a7af19dc1f62412a49e85

Don't like warnings in your #Java build? Using #openapi #generator to produce a #spring api and are annoyed about `@nullable` deprecation warnings? Add this mapping to use #JSpecify:

https://github.com/neo4j/neo4j-jdbc/commit/05da142103db0631b34a7af19dc1f62412a49e85

JSpecify and Spring Null-safety

Read more 👉 https://lttr.ai/ApL2g

#NullSafety #Jspecify #java

JSpecify and Spring Null-safety

Read more 👉 https://lttr.ai/ApL2g

#NullSafety #Jspecify #java

Null-safety turns hidden runtime failures into visible compile-time guarantees

Read more 👉 https://lttr.ai/Aoqeq

#NullSafety #Jspecify #java

Null-safety turns hidden runtime failures into visible compile-time guarantees

Read more 👉 https://lttr.ai/Aoqeq

#NullSafety #Jspecify #java

Excited for #JCON EUROPE 2026? See Michael Simons at #JCON2026 in Cologne talking about '#JSpecify: Getting Rid of the Billion-Dollar Mistake in #Java for Good This Time?'

With JSpecify and static #code analysis combined we see yet another …

🎟️ 2026.europe.jcon.one/tickets
Free for #JUG members

Excited for #JCON EUROPE 2026? See Michael Simons at #JCON2026 in Cologne talking about '#JSpecify: Getting Rid of the Billion-Dollar Mistake in #Java for Good This Time?'

With JSpecify and static #code analysis combined we see yet another …

🎟️ 2026.europe.jcon.one/tickets
Free for #JUG members

JSpecify and Spring Null-safety
▸ https://lttr.ai/AoS59

#NullSafety #Jspecify #java

JSpecify and Spring Null-safety
▸ https://lttr.ai/AoS59

#NullSafety #Jspecify #java

Heute geht es in #Luzern den #NullPointerException an den Kragen: @SimonMartinelli erklärt uns Null Safety mit #JSpecify in der Praxis!
#Java #null #NPE

Heute geht es in #Luzern den #NullPointerException an den Kragen: @SimonMartinelli erklärt uns Null Safety mit #JSpecify in der Praxis!
#Java #null #NPE

Java-GI 0.14.0 has been released!

Release notes: https://github.com/jwharm/java-gi/releases/tag/0.14.0

Highlights:
- all bindings updated to #GNOME 49 version
- #JSpecify nullability annotations everywhere

For those who don't know, Java-GI is a #Java language binding for GNOME (and other GObject-Introspection libraries) based on the new FFM API in OpenJDK. It's modern, fast, and very easy to use. Visit https://java-gi.org for more information!

Java-GI 0.14.0 has been released!

Release notes: https://github.com/jwharm/java-gi/releases/tag/0.14.0

Highlights:
- all bindings updated to #GNOME 49 version
- #JSpecify nullability annotations everywhere

For those who don't know, Java-GI is a #Java language binding for GNOME (and other GObject-Introspection libraries) based on the new FFM API in OpenJDK. It's modern, fast, and very easy to use. Visit https://java-gi.org for more information!

70 % aller Fehler in Java-Produktionscode sind #NullPointerExceptions. Mit #NullAway & #JSpecify lassen sie sich statisch verhindern – ohne große Umbauten. Richard Gross zeigt, wie Teams sicher & schrittweise migrieren.

Details: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/

@SpringCentral @UberEng

70 % aller Fehler in Java-Produktionscode sind #NullPointerExceptions. Mit #NullAway & #JSpecify lassen sie sich statisch verhindern – ohne große Umbauten. Richard Gross zeigt, wie Teams sicher & schrittweise migrieren.

Details: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/

@SpringCentral @UberEng

I'm looking for success stories using the null checker in #vscode #java, which I think is based on #eclipse. I would like to use it but I'm swimming in false positives from Java standard library. I should not have to specify that Optional.of() and ofNullable() return NonNull.

Note: using #jspecify

I'm looking for success stories using the null checker in #vscode #java, which I think is based on #eclipse. I would like to use it but I'm swimming in false positives from Java standard library. I should not have to specify that Optional.of() and ofNullable() return NonNull.

Note: using #jspecify

Nice. I got accepted at #Jcon 2026 in #Cologne in April. Hear my explaining everything you need to know about #Java and #Jspecify.

Nice. I got accepted at #Jcon 2026 in #Cologne in April. Hear my explaining everything you need to know about #Java and #Jspecify.

I'm adding JSpecify nullability annotations to Java-GI, and learning a lot along the way. For example, a nullable array with non-null Strings is a `@NonNull String @Nullable [] array`.

Today I learned you can annotate the "..." vararg symbol too: `public void foo(int i, @NonNull String @Nullable ... strs)`

#java #jspecify

I'm adding JSpecify nullability annotations to Java-GI, and learning a lot along the way. For example, a nullable array with non-null Strings is a `@NonNull String @Nullable [] array`.

Today I learned you can annotate the "..." vararg symbol too: `public void foo(int i, @NonNull String @Nullable ... strs)`

#java #jspecify

The #1 production error in #Java? Still the #NullPointerException. NullAway and #JSpecify bring static null-safety to Java codebases—gradually and without breaking everything.

Richard Gross explains how to migrate the smart way: https://javapro.io/2025/08/07/fixing-the-billion-dollar-mistake/

@UberEng @SpringCentral

The #1 production error in #Java? Still the #NullPointerException. NullAway and #JSpecify bring static null-safety to Java codebases—gradually and without breaking everything.

Richard Gross explains how to migrate the smart way: https://javapro.io/2025/08/07/fixing-the-billion-dollar-mistake/

@UberEng @SpringCentral

We’d love to host a talk on #Null Safety with #JSpecify and #NullAway at an upcoming #Java User Group Switzerland meetup, and we’re using the power of our #community to find a #speaker!

Are you working with JSpecify and NullAway and would like to share your experience? Or do you know someone who should definitely talk about this? Then please tag them here or point us in the right direction!

You can submit a proposal via our speaker form or contact us on Mastodon.
https://www.jug.ch/speakers.php

We’d love to host a talk on #Null Safety with #JSpecify and #NullAway at an upcoming #Java User Group Switzerland meetup, and we’re using the power of our #community to find a #speaker!

Are you working with JSpecify and NullAway and would like to share your experience? Or do you know someone who should definitely talk about this? Then please tag them here or point us in the right direction!

You can submit a proposal via our speaker form or contact us on Mastodon.
https://www.jug.ch/speakers.php

[Перевод] Можно просто так взять и добавить поддержку проверки на Null

Команда Spring АйО подготовила перевод статьи о том, как JSpecify наконец превращается из «ещё одного стандарта для библиотек» в рабочую основу null-безопасности для всей Java-экосистемы. IntelliJ IDEA 2025.3 впервые согласовала свои проверки с NullAway, а Spring и JetBrains синхронизировали suppressions и поведение анализаторов. Итог — единый, предсказуемый null-анализ без сотен ложных предупреждений.

https://habr.com/ru/companies/spring_aio/articles/971390/

#JSpecify #IntelliJ #NullAway #Java #spring #intellij_idea

🥁📢 #SpringModulith 2.0 is here! Revamped event publication registry, module-specific database migrations, runtime improvements, #jSpecify support, and upgrades to Spring Boot 4 / Framework 7. Grab it while it's 🔥! 🍃📦

https://spring.io/blog/2025/11/21/spring-modulith-2-0-ga-1-4-5-and-1-3-11-released

🥁📢 #SpringModulith 2.0 is here! Revamped event publication registry, module-specific database migrations, runtime improvements, #jSpecify support, and upgrades to Spring Boot 4 / Framework 7. Grab it while it's 🔥! 🍃📦

https://spring.io/blog/2025/11/21/spring-modulith-2-0-ga-1-4-5-and-1-3-11-released

„Meine Milliarden-Dollar-Fehlentscheidung“ – so nannte Tony Hoare die Einführung von null. Richard Gross zeigt, wie die Firmen @UberEng & @SpringCentral heute mit #NullAway & #JSpecify eine echte Nullsicherheit erreichen.

Lese mehr für sichere Codebases: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/

„Meine Milliarden-Dollar-Fehlentscheidung“ – so nannte Tony Hoare die Einführung von null. Richard Gross zeigt, wie die Firmen @UberEng & @SpringCentral heute mit #NullAway & #JSpecify eine echte Nullsicherheit erreichen.

Lese mehr für sichere Codebases: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/

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.

https://info.michael-simons.eu/2025/09/26/jspecify-and-nullaway-a-fresh-take-on-nullsafety-in-the-java-world/

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.

https://info.michael-simons.eu/2025/09/26/jspecify-and-nullaway-a-fresh-take-on-nullsafety-in-the-java-world/

Sir Tony Hoare called zero “my billion-dollar mistake.” #Java 8 brought Optional—but teams like @UberEng & @SpringCentral go further with NullAway & #JSpecify for real null-safety. Richard Gross shows how to eliminate nulls for good: https://javapro.io/2025/08/07/fixing-the-billion-dollar-mistake/
#NullPointerExceptions

Sir Tony Hoare called zero “my billion-dollar mistake.” #Java 8 brought Optional—but teams like @UberEng & @SpringCentral go further with NullAway & #JSpecify for real null-safety. Richard Gross shows how to eliminate nulls for good: https://javapro.io/2025/08/07/fixing-the-billion-dollar-mistake/
#NullPointerExceptions

I created a toy #Java project using #JSpecify

This is what you can express (among others):

https://codeberg.org/michael-simons/javaspektrum/src/commit/14281628ac054dfcaed2c4e3bf951f3329da6b49/jspecify/src/main/java/ac/simons/javaspektrum/jspecify/Calculator.java#L9

One required argument, one optional argument with optional content.

To check it, you need to have #Nullaway https://codeberg.org/michael-simons/javaspektrum/src/commit/14281628ac054dfcaed2c4e3bf951f3329da6b49/jspecify/pom.xml#L319-L341

Build with mvn package -DwithNullaway, to see compile fail (there's test passing null).

Nullaway and modern Java is fun: https://codeberg.org/michael-simons/javaspektrum/src/commit/14281628ac054dfcaed2c4e3bf951f3329da6b49/jspecify/.mvn/jvm.config#L5-L12

Also added #Kotlin code: You can remove the package, and see how it affects what Kotlin sees.