Off topic, but is there a new site that replaced lambda-the-ultimate? It's such an amazing source of PL discussion... but mainly from 10 years ago.