Lambda the Ultimate VS Digg

Lambda the Ultimate Reviews

Digg Reviews

Lambda the Ultimate mentions (11)

• XL: An Extensible Programming Language

  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

• DARPA Moves Forward on X-65 Technology Demonstrator

  For convenience: http://lambda-the-ultimate.org/. - Source: Hacker News / 4 months ago

• How should I read type system notation?

  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

• Ask HN: How do I get the most benefit out of my programming language?

  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

• More PL Communities

  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

Digg mentions (74)

• The Reddit moderators who coordinate many celebrity AMAs will no longer do so

  They are referring to digg who set up most AMA. Source: 11 months ago

• Reddit CEO Steve Huffman is fighting a losing battle against the site's moderators

  Or is it a success because Reddit Inc has shown its hand of not giving a shit about your average user and this site will bleed users as they, especially power users who actually post and moderate and build the communities in the first place flee to places where their countless hours of unpaid labor are appreciated (like lemmy, kbin, mastodon), and good old reddit becomes a ghost town like digg which is apparently... Source: 11 months ago

• What did the Reddit blackouts actually accomplish?

  It's the great unraveling. Communities are torn asunder. It's could very well be the first step of Reddits fall. Or reddit will just look and feel very different afterwards. A husk of an aggregator. Go to digg.com right now to see what reddit might be. Source: 11 months ago

• What's Your Take on Reddit's Plan to Sell Your Posts and Comments as "Data Licensing" to Other Companies to Train AI Language Models?

  Reddit owes much of its success to the digg.com exodus, it would be fitting for its demise to be caused by a similar exodus. Source: 11 months ago

• Donald Trump’s Indictment Helps Boost MSNBC To Primetime Weekly Ratings Win Over Fox News

  I went over to see what digg.com was up to these days. Their comment section is comprised of reddit comments. Brutal. Source: 11 months ago