Lambda the Ultimate Reviews and Details

Social recommendations and mentions

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

• DARPA Moves Forward on X-65 Technology Demonstrator

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

• Normalization of method selectors

  I also know that I studied PLT at school, still have an account on LtU, was lectured in Scheme and Prolog, built compilers, worked professionally in C, C++, C#, Java, Scala, JavaScript, Kotlin, and in a couple of weeks learning from scratch I replaced a NodeJS micro-service that parsed megabytes of HTML with one in Go that was at least an order of magnitude more efficient, because memory. Source: over 4 years ago

• Will rust ever have a futures executor in std?

  The go-to place used to be Lambda the Ultimate but it's been a while since I visited. I usually do a mix of HN, acolyer's blog, Papers We Love, and whatever turns up on the set of twitter people I follow. Source: almost 5 years ago

• Keeping up with latest tech

  I'm not sure where you would go to read about latest trends in tech, but from a google search : http://lambda-the-ultimate.org/ seems to be promising. Good luck! Source: over 5 years ago

• Lambda: The Excel Worksheet Function

  Which is one of my favourite PLT websites: http://lambda-the-ultimate.org. - Source: Hacker News / over 5 years ago

• Lambda: The Excel Worksheet Function

  Am I the only one who read the title and was immediately reminded of http://lambda-the-ultimate.org/? (Is the title a deliberate call to that site, or something even older?). - Source: Hacker News / over 5 years ago

• Ask HN: How to study programming language theory as non CS student on your own?

  Agreed: building various flavors of interpreters (such as in SICP) is an effective way to gain an understanding of different abstract semantics and how they compare. Also recommend lurking on http://lambda-the-ultimate.org/ to find material that interests you. - Source: Hacker News / over 5 years ago