miniblog.

← Back to all posts
Jan 24, 2017 at 23:04
Great overview of the Java unsoundness paper, and how null allows type system abuse:
Java is Unsound: The Industry Perspective | HackerNoon
Recently <a href="https://medium.com/@nadamin" data-anchor-type="2" data-user-id="a01b7ea46ac4" data-action-value="a01b7ea46ac4" data-action="show-user-card" data-action-type="hover" target="_blank">Nada Amin</a> and I discovered that <a href="https://hackernoon.com/tagged/java" target="_blank">Java</a> and Scala are unsound. We submitted the finding and related discussion to OOPSLA, an academic conference on object-oriented <a href="https://hackernoon.com/tagged/programming" target="_blank">programming</a>. It has been great to see the paper making rounds in industrial circles, but there also seems to be a lot of confusion and I think that’s our fault. The paper was written for academics, and so it doesn’t discuss the issue from industry’s perspective. I’m crunching on a deadline right now, so let me write an abridged version of the industry-targeted paper here, focusing just on Java.

Related Posts

Jan 15, 2026 at 00:07
LLMs are great at style transfer, and this works surprisingly well for syntactic transformations too. I rewrote a small website's EJS templates to 1500 LOC of TSX with a oneshot in Claude. It took ~12 minutes, but it just worked. (TSX seems nicer than EJS for static analysis.)
Jan 14, 2026 at 09:47
110
Are there any nice cross-platform ways to trigger a notification from a terminal? I've been using https://pushover.net/ but you need to use a browser and it's noticeably slower than the native options. (Pushover is great for mobile notifications though.)
Pushover: Simple Notifications for Android, iPhone, iPad, and Desktop
Dec 20, 2025 at 13:07
31
Delighted to see that TOML has released a new version! TOML is overall a great standard but I understand they had limited people with the power to cut a new release.
Release Release 1.1.0 · toml-lang/toml
Release Release 1.1.0 · toml-lang/toml
Allow newlines and trailing commas in inline tables (#904). Previously an inline table had to be on a single line and couldn't end with a trailing comma. This is now relaxed so that the following i...