This is sad because it was a great resource and seemed to have a nice community at one point. I'm surprised by comments saying the language wars are over because I'm not sure this is what the site was about. Programming language design is as interesting as it ever was and no truly mainstream language I'm aware of has well defined formal semantics. There's a lot left to do!