Knights of the Lambda Calculus

The Knights of the Lambda Calculus is a semi-fictional organization of expert Lisp and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the Knights Templar.

The Knights of the Lambda Calculus' recursive emblem celebrates LISP's theoretical foundation, the lambda calculus. Y in the emblem refers to the fixed-point combinator and the reappearance of the picture in itself refers to recursion.

There is no actual organization that goes by the name Knights of the Lambda Calculus; it mostly only exists as a hacker culture in-joke. The concept most likely originated at MIT. For example, in the Structure and Interpretation of Computer Programs video lectures, Gerald Jay Sussman presents the audience with the button, saying they are now members of this special group. However, according to the Jargon File, a "well-known LISPer" has been known to give out buttons with Knights insignia on them, and some people have claimed to have membership in the Knights.[1]

A group that evolved from or is similar to them, called The Knights of Eastern Calculus, make a major appearance in the anime series Serial Experiments Lain. References to MIT professors and other American computer scientists are prominent in Episode 11 of the series. At one point in the anime, Lain is seen with code displayed on her handheld device that appears to be Lisp.[2]

Notes
  1. Raymond, Eric. "Knights of the Lambda Calculus". The Jargon File. Retrieved 2015-04-01.
  2. "MIT Anime Club :: Appearance of MIT in Anime".
gollark: I figure that, having had some time to think, I'll answer the bot pretty late, then: Erra, Motionless in White, Brothers of Metal, Fit For A King, Rising Insane, Thornhill.
gollark: I just have songs picked at random from the list of ones I quite like.
gollark: Probably. I'm just terrible at answering "favourite X" questions.
gollark: Probably not!
gollark: Okay, that is kind of an unexpected question to immediately get from a bot...

References

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.