<a href="https://news.ycombinator.com/item?id=1164391" rel="nofollow">https://news.ycombinator.com/item?id=1164391</a> - March 3, 2010 (6 comments)<p><a href="https://news.ycombinator.com/item?id=3410928" rel="nofollow">https://news.ycombinator.com/item?id=3410928</a> - Dec 31, 2011 (7 comments, 5 of them about the two prior submissions and whether it's worth posting a link to the two prior submissions when one had no comments)<p><a href="https://news.ycombinator.com/item?id=7684210" rel="nofollow">https://news.ycombinator.com/item?id=7684210</a> - May 2, 2014 (7 comments, more useful ones)<p><a href="https://news.ycombinator.com/item?id=21923737" rel="nofollow">https://news.ycombinator.com/item?id=21923737</a> - Dec 31, 2019 (29 comments)
That's a great way of visualizing lambda calculus. dang, can we fix the many many typos in the submission title? Or probably just shorten the original title a bit:<p>"To Dissect a Mockingbird: A Graphical Notation for Lambda Calculus"<p>would work.
This is awesome. I could already see how he was setting up the bird analogy when he started talking about the idiot bird, very interesting.<p>My university didn't teach anything remotely related to lambda calculus, I really wish more schools taught this stuff. It's not directly useful in today's engineering workplace, but I think it's just so fascinating and having a broader understanding of computation makes for more well-rounded programmers.
See also: <a href="https://wiki.xxiivv.com/site/logic.html" rel="nofollow">https://wiki.xxiivv.com/site/logic.html</a>
There's no need to make up a new title (with three separate spelling mistakes). The actual article title is "To Dissect a Mockingbird:
A Graphical Notation for the Lambda Calculus with Animated Reduction" and the subtitle "A Graphical Notation for the Lambda Calculus with Animated Reduction" is clear and fits inside HN's length limit.<p>You may still be within the editing window to fix it.