Java Is Unsound: The Industry Perspective

I'm a bit confused - they recently discovered Java is unsound? I thought this was well-known for quite some time because of broken co/contravariance?

On recent Java developments, Java's undecidable typechecking has now been proven:

I hate to be that guy, but in the fourth paragraph, the author mentions the variance issue as old news.

This does do a better job of laying out the reasoning for those less apt at reading academic proofs.

It's a good root cause analysis.