No Lambda the Ultimate videos yet. You could help us improve this page by suggesting one.
Based on our record, Mastodon seems to be a lot more popular than Lambda the Ultimate. While we know about 613 links to Mastodon, we've tracked only 11 mentions of 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 / 5 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 / 10 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
Did you miss the part where Chris Espinosa said "That’s not Sherry Livingston"? Chris also has a follow-up post not shown in Cabel's blog where he says there aren't any photos of Sherry online: https://mastodon.social/@Cdespinosa/112391173495267599. - Source: Hacker News / 15 days ago
Personally, I really like this summary: https://mastodon.social/@nixCraft/112444973228241564. - Source: Hacker News / 16 days ago
Just a follow up to all downvoters: developers care, and are working on improving performance, take a look at one of hopefully many to come, examples - https://mastodon.social/@tdp_org/112440017216320486. - Source: Hacker News / 20 days ago
Here's a cached copy of the linked post on a server with more capacity: https://mastodon.social/@ben@m.benui.ca/112396505994216742. - Source: Hacker News / 24 days ago
Today’s Xcode 15.4 RC suggests that “Donan” is the M4 core codename, and that it may support ARM’s SME instructions. https://mastodon.social/@bshanks/112401605018159567. - Source: Hacker News / 24 days 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.
X (Twitter) - Connect with your friends and other fascinating people. Get in-the-moment updates on the things that interest you. And watch events unfold, in real time, from every angle.
Lobsters - Lobsters is a technology-focused link-aggregation site. The site is driven by ...
Facebook - Connect with friends, family and other people you know. Share photos and videos, send messages and get updates.
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.
Gab - Gab is an ad-free social network dedicated to free speech.