C counterexamples.org Counterexamples in Type Systems: programs that crash, segfault or explode (2021) 234 points nequo 3 years ago 97 comments
