#nullaway — Public Fediverse posts

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

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

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

„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/

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.

[Перевод] Null-safety в Spring приложении с JSpecify и NullAway

Новый перевод от команды Spring АйО расскажет о проблемах, вызываемых неожиданным появлением NullPointerException в продакшен, о способах борьбы с этой проблемой, над которыми работает команда Java и о скором выходе новых решений, которые помогут разработчикам навсегда избавиться от этого кошмара.

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

#nullsafety #null_references #nullness #nullability #jspecify #nullaway #spring #java #kotlin