No Lambda the Ultimate videos yet. You could help us improve this page by suggesting one.
Based on our record, Lambda the Ultimate should be more popular than Sublime Text. It has been mentiond 11 times since March 2021. 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.
I went through the key-bindings in Micro (which use different modifier keys) and added them to Sublime Text:. - Source: dev.to / over 1 year ago
Oh, and sublimetext.com too if you prefer something "cleaner". It is multi-platform too, like VSCodium. Source: over 2 years ago
Sublime Text Terminal Shortcuts and menu entries for opening a terminal at the current file, or the current root project folder in Sublime Text. - Source: dev.to / 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 / 4 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
Visual Studio Code - Build and debug modern web and cloud applications, by Microsoft
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.
Vim - Highly configurable text editor built to enable efficient text editing
Lobsters - Lobsters is a technology-focused link-aggregation site. The site is driven by ...
Notepad++ - A free source code editor which supports several programming languages running under the MS Windows environment.
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.