WorldBrains Memex might be a bit more popular than Lambda the Ultimate. We know about 12 links to it since March 2021 and only 11 links to Lambda the Ultimate. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Http://lambda-the-ultimate.org/ is one of the only PL-centric websites with discussion I can think of. - Source: Hacker News / 3 months ago
For convenience: http://lambda-the-ultimate.org/. - Source: Hacker News / 4 months ago
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
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
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
Yes. Only one solving the problem very very well right now. Memex - https://getmemex.com More generally the open annotations standard is meant to address this use case. Older, now obselete tools like hypothes.is, and peerlibrary* laid a lot of the groundwork. https://github.com/peerlibrary/peerlibrary. - Source: Hacker News / almost 2 years ago
Hmm.. Probably Wallabag, But I prefer MemeX because it has less trackers and works well for me. Source: about 2 years ago
Check out Memex (https://getmemex.com/) or wallbag (https://www.wallabag.org/en). They're both free and open-source. Source: over 2 years ago
If you're interested in saving bookmarks and such, I'd probably go off with something like Memex (https://getmemex.com/) or Floccus (https://floccus.org/). I haven't really used them but, I've looked a bit into them and they're free and open-source. Source: over 2 years ago
For pdf annotations on Windows I use Foxit reader, on Android acrobat reader. For highlighting web-content (pdfs, articles) I'm still looking for a good solution but will maybe stick to Memexor hypothesis. On iOS there's Command Browser (one time purchase) I already use and love for webcontent- and they have Android on their roadmap too.. If that's the case I know where I belong ;). Source: almost 3 years ago
Hacker News - Hacker News is a social news website focusing on computer science and entrepreneurship. It is run by Paul Graham's investment fund and startup incubator, Y Combinator.
Diigo - Diigo is a powerful research tool and a knowledge-sharing community
Lobsters - Lobsters is a technology-focused link-aggregation site. The site is driven by ...
Raindrop.io - All your articles, photos, video & content from web & apps in one place.
Reddit - Reddit gives you the best of the internet in one place. Get a constantly updating feed of breaking news, fun stories, pics, memes, and videos just for you.
Pocket - When you find something you want to view later, put it in Pocket.