Dissenter VS Lambda the Ultimate

r📷Donald J Trump@realdonaldtrump17m·"The Fake News Media cannot stand the fact that so many people in our Country know the truth, that the 2020 Election was rigged and stolen, yet almost every article written contains the words the “Big Lie” or “unsubstantiated facts,” etc., always trying to demean the real results. I am willing to challenge the heads of the various papers or even far left politicians, who have... Source: over 2 years ago

Dissenter browser adds a comment section to every URL to solve this problem. Source: over 2 years ago

I would recommend getting Dissenter Browser for sure (https://dissenter.com/), Dissenter IIRC sets your default search engine as Duck Duck Go. Obviously one could change that to Google or whatever they like. Source: over 2 years ago

This actually already existed and it was (is) called Dissenter (https://dissenter.com/). It is built by Gab, a pro free speech social network that has been maligned by the political left and anti free speech crowd. In an absolutely shocking affront to the neutrality of web browsers, Firefox banned Dissenter from their extension stores... - Source: Hacker News / about 3 years ago

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

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