Heute geht es in #Luzern den #NullPointerException an den Kragen: @SimonMartinelli erklärt uns Null Safety mit #JSpecify in der Praxis!
#Java #null #NPE
#jspecify
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
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)`
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
[Перевод] Можно просто так взять и добавить поддержку проверки на Null
Команда Spring АйО подготовила перевод статьи о том, как JSpecify наконец превращается из «ещё одного стандарта для библиотек» в рабочую основу null-безопасности для всей Java-экосистемы. IntelliJ IDEA 2025.3 впервые согласовала свои проверки с NullAway, а Spring и JetBrains синхронизировали suppressions и поведение анализаторов. Итог — единый, предсказуемый null-анализ без сотен ложных предупреждений.
🥁📢 #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/
@rotnroll666 Many thanks for the article! I used it as inspiration for an internal 15 minutes talk to introduce my coworkers to #JSpecify
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):
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.
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, hence the lib ships with your lib and than this obviously is gonna happen…
I just noticed that #JSpecify is gaining some real momentum. Looking forward to using it!
Единый дистрибутив, JSpecify, Java 25 и новый Spring Debugger: это и многое другое в IntelliJ IDEA 2025.2
IntelliJ IDEA 2025.2 — это релиз, который уже вызывает горячие обсуждения в комьюнити. JetBrains сделали первые шаги в сторону единого дистрибутива, добавили поддержку свежих технологий вроде JSpecify и Java 25, а ещё представили инструмент, который может изменить подход к отладке Spring-приложений.
https://habr.com/ru/companies/haulmont/articles/941612/
#intellij_idea #spring #jspecify #java #kotlin #springframework #amplicode
#Java trägt bis heute einen Designfehler von 1965. Richard Gross rechnet vor, wie teuer null geworden ist & wie Tools wie Optional, NullAway & #JSpecify Abhilfe schaffen. Besseres Design. Weniger Ausfälle. Mehr Sicherheit.
Lese: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/
Die häufigste Ursache für Fehler in #Java-Produktionssystemen? Immer noch: die #NullPointerException. Richard Gross zeigt, wie Tools wie NullAway & #JSpecify schon zur Compile-Zeit absichern & welche Entscheidungen Teams treffen müssen.
Lese: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/
@UberEng @SpringCentral
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst