Lambda the Ultimate

Which is one of my favourite PLT websites: http://lambda-the-ultimate.org

Possibly worth noting: the title of that blog post ("Lambda: the ultimate Excel worksheet function") is a reference to a famous series of papers (https://en.wikisource.org/wiki/Lambda_Papers) by Guy Steele and Gerald Jay Sussman with titles of the form "Lambda: the ultimate X", with X = Imperative, Declarative, GOTO, Opcode. (These also gave their name to a programming-languages blog: http://lambda-the-ultimate.org/.)

Another great one was c2.[1] I've found a lot of really interesting programming-related discussions on there. There's also Lambda the Ultimate (LtU)[2], which had about the deepest language development related discussions I've seen anywhere. Yet another interesting one, quite different from the above two and from most anything else out there, was everything2.[3] It was kind of like Wikipedia, but not limited in subject matter to "encyclopedic" entiries, nor to "neutral point of view", so it has a lot of really opinionated, creative, and funny entries. Most people don't know about it, and it's been pretty inactive for many years now, but it does still exist and still has a ton of great content. [1] - https://en.wikipedia.org/wiki/C2.com [2] - http://lambda-the-ultimate.org/ [3] - https://www.everything2.com/

LtU and /r/programming. http://lambda-the-ultimate.org/ https://www.reddit.com/r/programming/ I do my best to avoid controversies (generate or feed). HN is the coolest and safest place I know. I tried other sites but they are more violent. Too much struggles. Peace!

It's a blog, rather than a wiki, but http://lambda-the-ultimate.org/ is probably worth following for anyone interested in programming languages.

The LtU blog moved to http://lambda-the-ultimate.org & the quoted discussion is archived at http://lambda-the-ultimate.org/classic/message8778.html#8782

http://lambda-the-ultimate.org/ is a great blog on programming languages.

- here - http://lambda-the-ultimate.org/ (programming languages) - http://joel.reddit.com/ (software in general) I once asked a similar question, and someone recommended dreamincode.net ... don't bother... most of the questions are like "what is a boolean?"

This can be a full time job in itself, but here are some quickies I like: If you want to be practical, Hack The Planet is worth a glance every now and then: http://wmf.editthispage.com Lambda the Ultimate is good too, especially if you think languages are where the real CS action is: http://lambda-the-ultimate.org/

I'd encourage you to check out some of the subreddits in the previous HN discussion link I posted. I think they might be your best bet. Though Lambda The Ultimate (LtU) is officially a blog, it does have comments and it might be interesting for you. From their FAQ: >"Mostly this site deals with issues directly related to programming languages, and programming language research. However, we allow ourselves moderate forays to bordering issues like programmability and language in general." http://lambda-the-ultimate.org/ Your desire to avoid "web-based" stuff suffers from the fact that such large swaths of tech today are "web-related" in some way. Your desire to avoid "compsci basics" suffers from the "News-To-Me" problem. Your desire to find "how X works inside" type content seems quite similar to "how X works _in_ _practice_". Given the above, I'd suggest reading current research papers. The trouble with research papers on HN is, papers take more time and effort to read, so they rarely get significant attention or useful discussion. Using Algolia HN Search can uncover some research. Stuff like "[pdf]" files, common sites, organization names, journal names, and even conference names can be useful: [pdf] arxiv.org plos.org usenix.org JMLR OSDI CVPR ICML Since you want stories with _discussions_ use the "comments>?"…

Unfortunately, it depends on what sort of job you're going for, and I would be surprised if there wasn't regional differences too. Plus some people have negative preconceptions about the sort of person that would go through SICP (happily, they are exactly the sorts of people you don't want to work for). If you're looking to join a larger company or looking to enter the job market in the next 12 months or so, then probably experimenting with more frameworks and getting some code up would be better bang for your time. Even better if you have contributed to existing OSS projects. But for your own general longer term career development, SICP is a very good bet. But SICP wasn't really designed for home study so it will be hard going. Personally, I would be very impressed if an interviewee made it halfway through SICP by themselves. I have tried multiple times and never got very far before .. er ... reprioritising. If you want to learn more functional programming, I highly recommend learning Haskell with Learn you a Haskell (http://learnyouahaskell.com/). This is a much easier start to functional programming and get you productive quickly. Haskell will force you to really learn functional programming as there isn't an easy imperative backdoor (not to say you can't write imperative code in Haskell - see (http://www.haskellforall.com/2013/05/program-imperatively-using-haskel… for example, just its not particular easy how to get there). My current project is writing a web app…

"Is Haskell as good as it gets?" It's debatable just how good Haskell and similar languages are. Like any language, it has its ardent fans and bitter detractors. As for development of "advanced programming languages" in general, if you are interested in what's out there, I strongly recommend you browse the archives of the "Lambda the Ultimate" weblog: http://lambda-the-ultimate.org/ There are a lot of very knowledgeable language designers on there, and news of advanced language features and new languages filters through there all the time. The blog is not as active as it once was, but the archives are still very much worth studying. Another great resource is the old c2 wiki. Here are some relevant starting points: http://c2.com/cgi/wiki?search=haskell http://c2.com/cgi/wiki?search=lisp http://c2.com/cgi/wiki?search=scheme Finally, just hang around HN for a while, and you'll see plenty of posts discussing new "advanced" languages. The HN archives are also worth browsing through.

Very few languages are truly groundbreaking. Most are simply refinements of existing ideas (doesn't necessarily mean that they're not a step forward). If you're interested in something earth-shatteringly different, you're going to need to look into programming language research to find it (One great reference that could probably answer this question better is http://lambda-the-ultimate.org/). For examples of a recent-ish language that was developed by a professor at UIUC, see http://maude.cs.uiuc.edu/, which is based on rewriting logic and is currently still being developed/refined. But even that has strong ties to a previous language OBJ by the same creator. If you're interested in learning something really different but a bit easier/more fun, I would strongly recommend Prolog. Schapiro has a great book (http://www.amazon.com/Art-Prolog-Second-Programming-Techniques/dp/0262…

http://lambda-the-ultimate.org/ is worth a look!

Yeah Sweeney was really active on the programming theory site http://lambda-the-ultimate.org/ It looks like it's currently down (not sure if a glitch or what).

'Throughout the paper, Kernighan sets up a strawman of "standard Pascal" in "its pure form".' http://lambda-the-ultimate.org/classic/message4322.html#4671

I'd recommend you read Guy Steele's blog post Why Object-Oriented Languages Need Tail Calls [1] and perhaps the essay by William Cook [2] and the discussion over on Lambda the Ultimate [3] [1] https://web.archive.org/web/20091206042608/http://projectfortress.sun.… [2] https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf [3] http://lambda-the-ultimate.org/node/3702

http://lambda-the-ultimate.org/ is one of the only PL-centric websites with discussion I can think of.

Vinge definitely got it right. I love the title of "Programmer Archaeologist", it's an extremely good description of what we actually do every day. For more discussion, see http://lambda-the-ultimate.org/node/4424

The forums @ eevblog.com http://lambda-the-ultimate.org/ -- not real active, but interesting subject matter.

Oops. For some reason I confused lexi-lambda (which I didn't know) with lambda-the-ultimate (http://lambda-the-ultimate.org).

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. Sandia: Programming Languages for HPC [high performance computing] - is there life after MPI? https://www.sandia.gov/app/uploads/sites/179/2022/04/SOS10-Tues-Snir.p… Chapel: https://chapel-lang.org/ https://en.wikipedia.org/wiki/Category:Array_programming_languages

Not a member myself, but after reading a fellow HNer [1], I got curious about the Something Awful Forums [2] because of their (apparent) moderating policy. Oh, and I think I used to be a member on IlXor [3] in around 2004. Loved their UI (I think it is still the same); and hey, one can always assume that a no-bullshit UI is possibly a good indicator of no-bullshit discussions, just like on HN. Oh, and Perlmonks and its Meditations section [4] -- I suppose I like a mixture of madness and intellectual depth. And Lambda The Ultimate [5], which is extremely dense IMO. I could skim those old PLT discussions for hours. Are there any members of The WELL [6] on HN? 1: https://news.ycombinator.com/item?id=23262581 2: https://forums.somethingawful.com/ 3: https://www.ilxor.com/ILX/ 4: https://www.perlmonks.org/ 5: http://lambda-the-ultimate.org/ 6: https://www.well.com/

Yep, that's bit of "what's the best pizza recipe" type of question. In addition to comp.compilers - https://www.reddit.com/r/ProgrammingLanguages and their fairly active Discord https://discord.com/invite/yqWzmkV http://lambda-the-ultimate.org/faq

Am I the only one who read the title and was immediately reminded of http://lambda-the-ultimate.org/? (Is the title a deliberate call to that site, or something even older?)

Agreed: building various flavors of interpreters (such as in SICP) is an effective way to gain an understanding of different abstract semantics and how they compare. You might also like "Programming Languages: Application and Interpretation": 1st ed: https://web.archive.org/web/20150926000110/http://cs.brown.edu/~sk/Pub… 2nd ed: https://web.archive.org/web/20210121232912/http://cs.brown.edu/courses… Also recommend lurking on http://lambda-the-ultimate.org/ to find material that interests you.

I am greatly saddened to hear this. I came to know about him through his work on fexprs (he was one of the world's leading experts on fexprs due to his work on Kernel). His insights on language design, his general willingness to share his own learning process, and his seemingly unquenchable curiosity will be missed. Of interest to those here might be his many posts on LtU [0]. 0. http://lambda-the-ultimate.org/user/7549/track

CPS can be kind of thought of like a normal programming language with the modification that every function takes an additional parameter "the rest of the program" and calls this instead of "return". Of course once this mechanism is in your language you might have multiple "rest of the program" parameters which the function can pick between. I found this old thread talking a bit about the lisp condition system [1] which also mentions implementing it in a typed manner. I used Lisp for a while myself as my favourite language (the condition system was part of the reason) but the problem I ended up switching to Haskell because it has much of the power macros provide coupled with a very strong type system. That's why the potential occurred to me that CPS can probably implement something effectively equivalent condition system. [1] http://lambda-the-ultimate.org/node/1544

I don’t have any direct pointers for you, but I would be surprised if you wouldn’t find any citations over at Lambda the Ultimate, http://lambda-the-ultimate.org/

Then today you learn that Paul Graham is a tool. There are Lisps that improve on the situation. In particular, vau calculi/fexprs are worth examining. http://lambda-the-ultimate.org/node/4093 There are also systems like Forths, where the compiler and interpreter really are the same system, in two different modes of operation. In these systems, there is only runtime; compiletime is a specific style of runtime.