Lobsters VS Lambda the Ultimate

Https://lobste.rs/ is an alternative that's more focused on tech news. - Source: Hacker News / about 1 month ago

Oh also, https://lobste.rs and filter by the `distributed` tag. - Source: Hacker News / about 1 month ago

"I actually wish we had a hacker community like this without the business/startup side at all" Sounds like you want https://lobste.rs. - Source: Hacker News / about 2 months ago

Reason: Ignored mod warning to stop self-promo for a while. Respectively: https://lobste.rs/domains/rednafi.com https://lobste.rs/~rednafi/stories. - Source: Hacker News / about 2 months ago

Well, there's https://lobste.rs/, or we could all go back to slashdot I guess. - Source: Hacker News / 3 months ago

Http://lambda-the-ultimate.org/ is one of the only PL-centric websites with discussion I can think of. - Source: Hacker News / 3 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