https://ayazhafiz.com/cc. A lot of programming languages, type systems stuff.