Lambda the Ultimate Reviews

Tildes Reviews

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 / 3 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

Tildes mentions (238)

• College English majors can't read

  The study in question is... questionable, at best, IMO. Discussed elsewhere, and a comment there summarized (and led to further discussion) why the study is not as representative as we might assume. Link below [0], as it's simultaneously far too long to re-post here (especially from mobile), yet well worth the read. That said, for ease of reading, the opening paragraph starts: There's a lot of awful stuff that has... - Source: Hacker News / 5 days ago

• How to Build a Smartwatch: Picking a Chip

  Glad to finaly see someone in the low-power chip industry going in the open source direction. Thanks for the insight! When I saw rePebble be announced, I signed up for it right away. But I realized I actually don't want a smartwatch, I want a dumb watch with vibration notifications. I know I'm in the minority, but it's a niche that has a few very interested people in it [0] [1] [2] After wearing the Casio F105 for... - Source: Hacker News / 14 days ago

• Reddit Will Introduce Paywalls in 2025

  I just remembered that Tildes (https://tildes.net/) still exists, I wholly forgot about it. Anyone else using it these days, perhaps over reddit and even lemmy, mastodon etc? - Source: Hacker News / 3 months ago

• Dive Into The Reddit API: Full Guide and Controversy

  Tildes: A text-focused discussion platform emphasizing Quality content. - Source: dev.to / 5 months ago

• Reddit policy changes make sitewide protests nearly impossible

  Tildes is the closest thing I've seen to a viable centralized Old Reddit replacement. https://tildes.net It's still in invite-only mode, though. - Source: Hacker News / 8 months ago