Hacker News new | ask | show | jobs
by pmmck 1658 days ago
In a slightly different vein, I love this site for helping me study and understand deeper practical implications and corner cases of type system designs: https://counterexamples.org/