Based on our record, Lambda the Ultimate seems to be more popular. It has been mentiond 11 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Http://lambda-the-ultimate.org/ is one of the only PL-centric websites with discussion I can think of. - Source: Hacker News / 2 months ago
For convenience: http://lambda-the-ultimate.org/. - Source: Hacker News / 4 months ago
Oops. For some reason I confused lexi-lambda (which I didn't know) with lambda-the-ultimate (http://lambda-the-ultimate.org). - Source: Hacker News / 9 months ago
I suggest posting to a PLT focused resource, such as http://lambda-the-ultimate.org/ That said, a bit confused about the languages you reference in this context (Python, C#, JS) - didn't see any mention here or at your github repo of languages (some relatively ancient) in this space designed. Sandia: Programming Languages for HPC [high performance computing] - is there life after MPI?... - Source: Hacker News / over 1 year ago
There's Lambda the Ultimate where you can often find people discussing papers and more theory-heavy stuff. The TYPES mailing list is pretty type theory and lambda-calculus focused. I think they have a Zulip too. Source: over 1 year ago
Hacker News - Hacker News is a social news website focusing on computer science and entrepreneurship. It is run by Paul Graham's investment fund and startup incubator, Y Combinator.
Lobsters - Lobsters is a technology-focused link-aggregation site. The site is driven by ...
Reddit - Reddit gives you the best of the internet in one place. Get a constantly updating feed of breaking news, fun stories, pics, memes, and videos just for you.
Echo JS - Echo JS is a community-driven news site entirely focused on JavaScript development, HTML5, and...
Quora - Quora is a place to gain and share knowledge. It's a platform to ask questions and connect with people who contribute unique insights and quality answers.
Papers We Love - A repository of academic computer science papers