Lambda the Ultimate VS Slashdot

Lambda the Ultimate Reviews

Slashdot 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 / 2 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

Slashdot mentions (13)

• Ask HN: What are your oldest "online" accounts still in use?

  Probably my Slashdot account from 1999. https://slashdot.org/~DaGoodBoy. - Source: Hacker News / about 1 month ago

• Apple Vision Pro Review: The Best Headset yet Is Just a Glimpse of the Future

  If anyone does not understand the reference, "Slashdot" is a link-sharing site oriented at tech news, that was popular many years ago as HN is today. https://slashdot.org. - Source: Hacker News / 3 months ago

• Ask HN: How can I back up an old vBulletin forum without admin access?

  It has been a VERY long time since I've done this with `wget`, but here's what I pulled out of my notes. I used to use this to mirror Slashdot when I was travelling for work and had limited/no internet: ```

    wget --ignore-length --no-remove-listing --no-check-certificate --recursive --page-requisites --span-hosts --convert-links --no-verbose --tries=3 --timeout=60 --level=1 --user-agent="Mozilla/5.0...

  - Source: Hacker News / 3 months ago

• Rob 'CmdrTaco' Malda – Hacker History Podcast

  My user number on /. Is "404" ( https://slashdot.org/~dmd ). - Source: Hacker News / 6 months ago

• Adios and thanks for the fishes!

  If I want a real "front page of the Internet" that is web-based, I will head back to https://slashdot.org. Source: 10 months ago