25 points | by b-man 14 hours ago ago
4 comments
Previous discussion: https://news.ycombinator.com/item?id=17565652
I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ .
I loved his article series back in the day where you tried to break the JVM! Was so much fun.
(2018)
Previous discussion: https://news.ycombinator.com/item?id=17565652
I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ .
I loved his article series back in the day where you tried to break the JVM! Was so much fun.
(2018)