What if null was an Object in Java?

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Java Formal Verification Code Analysis Rust C++

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • NullAway

    A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

    • Fortunately, Uber made tooling for languages with broken type systems

    * https://github.com/uber/NullAway

    * https://github.com/uber-go/nilaway

  • Checker Framework

    Pluggable type-checking for Java

    • I’m not familiar enough with kotlin to comment fully but from your description the checker framework [0] appears to do the same thing in Java.

    I confess I’m not fond of checker framework. I find the error messages can be obtuse but it is very effective.

    0 - https://checkerframework.org/

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • compiler-explorer

    Run compilers interactively from your web browser and interact with the assembly

    • At least on android arm64, looks like a `dmb ishst` is emitted after the constructor, which allows future loads to not need an explicit barrier. Removing `final` from the field causes that barrier to not be emitted.

    https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • I introduced Rust at work

    2 projects | /r/rust | 29 Jun 2023

  • How do you do UDP Flow control?

    2 projects | /r/rust | 15 Jun 2023

  • We Have Code Quality At Home: Open Source Java Code Quality Tools

    4 projects | dev.to | 6 May 2024

  • Ask HN: Which books/resources to understand modern Assembler?

    6 projects | news.ycombinator.com | 21 Apr 2024

  • Pylyzer – A fast static code analyzer and language server for Python

    6 projects | news.ycombinator.com | 11 Apr 2024