[shahbazac]

Unfortunately most of the comments are about site reliability.

This used to be an absolutely fantastic forum. I was a young comp sci graduate who somehow finished school without taking any programming language theory courses. I used to read this every single day. At one point I had every book ever written on ML (ocaml, sml, etc) and most written about various lisps. To this day I love how TAPL was written (Types and Programming Languages by Pierce). I loved the expansive nature of Concepts, Techniques, and Models of Computer Programming by Van Roy. Some books were discussed so often that they were simply referred to by their abbreviations.

There were serious academics, PHD students, industry folks and newbies like myself who could not even understand most abstracts, much less the full papers.

I once asked if a new forum could be created for novices like myself so I could ask my dumb little questions. I was instead encouraged to ask my questions in the main forum :)

For a short while there was a related user group in NYC where people would discuss type theory at random diners.

[spindle]

It was SO good, and no doubt will be again in the future :-) I have so much respect for Ehud Lamm and the other people who run it.

Sadly, two of its best commentators have died recently - John Shutt (famous in some circles for writing about fexprs, and also a brilliant mind on several other topics including quantum mechanics and history of mathematics) and Thomas Lord.