Lemmy Reviews

Lambda the Ultimate Reviews

Lemmy mentions (409)

• Moderation on Lemmy is a fucking joke

  A few weeks a go I posted a meme with the caption "My wife out-drinking everyone at the table-- Our unborn son:" [picture of Tom the cat in the womb]. I understand abortion is a touchy subject for some people, but it's not like I was advocating for or against abortion. After that, I posted a meme complaining about the lack of specificity of the rules on Lemmy and that post also got removed. That's enough to let me... Source: over 1 year ago

• This whole lemmy universe has me quite confused, but I would like to utilize it. seeking assistance

  Im using the Jeroba app on android first of all. It just seems like lemmy is a complete and total mess. So many contradicting things Im seeing. And then theres instances and communities but apparently it "doesn't matter what instance you choose because you'll still have access to all other communities anyway". Well that is pretty much false. Like using lemmy.world for example. I'll search up for a linux community... Source: almost 2 years ago

• I’m a fan of Squabbles, but the constant circlejerk over the developer is turning me off the site

  Signing up isn't complicated, people just get confused by what "federation" means... It doesn't matter what instance (or "server" if it's easier to understand) you sign up for. I'm on lemmy.world but I post and comment on lemmy.ml and 10-15 other instances all the time. Think of instances as "copies" with different users and posts, but they all interact with each other (with a few exceptions). Source: almost 2 years ago

• I'm so lost. Is there an easy mode to the fediverse?

  Whereas the top three on my subscribed feed are from [Games@lemmy.world](mailto:Games@lemmy.world), [gaming@lemmy.ml](mailto:gaming@lemmy.ml) and [gaming@beehaw.org](mailto:gaming@beehaw.org). My subs on lemmy are mostly related to video games, but this points out something that confuses some folks coming over from Reddit - lemmy.ml and beehaw.org both have communities named "gaming" and they are separate... Source: almost 2 years ago

• Division of labour : rest should be fair

  Lemmy has a lot of instances like lemmy.ml and lemmy.world, but you donnot need to register on all of them just register on one, and you can access all of them. Source: almost 2 years ago

Lambda the Ultimate mentions (12)

• The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]

  Http://lambda-the-ultimate.org/ It looks like it's currently down (not sure if a glitch or what). - Source: Hacker News / 13 days ago

• 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 / over 1 year ago

• DARPA Moves Forward on X-65 Technology Demonstrator

  For convenience: http://lambda-the-ultimate.org/. - Source: Hacker News / over 1 year 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 / almost 2 years 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 2 years ago