This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Stefano Cordio
scordio.github.io
did:plc:m7kq33ue4dlwqfogzuln6zfx
Are you introducing JSpecify and NullAway, and
`@SuppressWarnings({ "DataFlowIssue", "NullAway" })`
is all over the place?
NullAway 0.12.8 to the rescue with `SuppressionNameAliases`! 🥳
https://github.com/uber/NullAway/wiki/Configuration#suppression-name-aliases-version-0128-and-after
2025-08-22T15:25:32.314Z