Additional Error Prone checkers used by Picnic.
Java compiler plug-in that adds more warnings.
Error Prone extension for nullity correctness.
Jakarta specification for gRPC in Java. Integrates with other Jakarta specifications such as CDI.
Distributed relational database with a query engine that reuses code from PostgreSQL. Another way to think about it is that it is like Google Cloud Spanner, but Apache-licensed.
A Rust crate that provides the never-type (!) in stable Rust.
The old “Chimerica” system that divided production between cheap manufacturing in China and expensive research in the West, benefitting both sides economically by way of comparative advantage, is ending.
Its replacement may turn out to be a new two-bloc system with a China-led bloc on one side and a Developed Democracies Plus Friendly Developing Countries bloc on the other.
Java library to support testing of asynchronous code of any sort.
A verified boot flow for small devices. Implemented by Das U-Boot.
Related:
Post-quantum cryptographic algorithms in C.
Post-quantum cryptography for the ARM Cortex M4.
OpenSSH server and client configuration tester.
A GUI-focused Win32 API wrapper for Rust.
Comes with a derive-macro that derives GUIs from struct declarations.
Swing-like C++ library on top of Win32.
I imagine you could also use this in conjunction with libwine.
A layout container for Swing, SWT, and JavaFX that can accommodate many layouts.
And we need to talk about them.
Neither “exercise and diet” nor “body positivity” are real answers.