Counterexamples in Type Systems: programs that crash, segfault or explode (2021)

news.ycombinator.com

saved by: 0 people
related read on: struct's lifetime requirements can be bypassed via covari... related HN threads