Lambda the Ultimate Reviews

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

• 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 2 years ago

Quora mentions (76)

• My attempt of Valve timeline

  I did a little research and then according Mitchell Brown on quora.com, it's stated that the intro of Portal 2 suggests that it takes place far in the future, but many have speculated it takes place around the time of Half Life 2. That would mean between approximately 2020 and 2029, give or take. The Black Mesa incident occurred in the year “200-”, according to canon sources. This means it could have happened at... Source: almost 2 years ago

• School blocks Nordvpn

  My school gives me a laptop that is very restricted, most settings cannot be changed without admin, everything is logged, cmd blocked, websites blocked, etc. My laptop with Zorin OS (linux) does not have that issue so I always keep it in my bag. I would like to connect to the school wifi, however they still block certain web requests like quora.com, and nordvpn.com to name a few. For some reason my phone has no... Source: about 2 years ago

• Freelance writing?

  Consider substack, too. I subscribe to four substack blogs, ranging from $3 to $10 a month. This is split between author and substack. Also check out medium.com and quora.com If you don't make money now, you'll at least pack your writing resume. Source: about 2 years ago

• i feel like Reddit should have a feature where if you block someone then you cant see their stuff

  I have a Space on quora.com that I administer and its fairly good sized. I'm not trying to one up anyone. It was mentioned if only to pointing to emphasize my view, action, and responsibility. Source: about 2 years ago

• How do you advertise your yoga classes?

  If you want to teach globally, use quora.com or other Q&A like askyogaexpert.org to answer questions on yoga to make your good online identity. Source: about 2 years ago