Curiously, in the pure lambda calculus with Church numerals, the factorial function doesn't need recursion, since Church numerals already act like iterators: fac = λn.λf.n(λf.λn.n(f(λf.λx.n f(f x))))(λx.f)(λx.x) or as a lambda diagram:
Are quote atom lambda eq car cdr label cons cond from any particular interpreter? Was their arrangement chosen mostly for aesthetic reasons, or is there something else to it?
Yes, it should be a book. I didn't change the original title of emacsomancer's work; his original typeset image could have easily made it into a book, whereas my version suffers from some size inflation.
The inspiration is linked in the article - I saw emacsomancer's machine-typeset Y Combinator Codex and I thought, "oh, I'll show you the Y Combinator Codex". The rest is about two weeks of intermittent calligraphic work.
this is amazing work, looks hand done. can't imagine the time that goes into something like this, just figuring out how to compose it... and not making mistakes?!
An important part of doing calligraphy (or any other work where Ctrl+Z is not an option) is improvising of how to cover things up so that such mistakes become invisible.
I have actually made a huge mistake in the original, and then managed to cover it up. (Hint: the metallic paint I used is highly opaque.)
I have no time nor will to make this a part-time job. Burnout is a real thing, hence I don't want to turn all of my hobbies into money-making machines.
I've attempted to disambiguate it with a s/C/c/g. That's too subtle for most first glances, but I think most HN readers will understand it on a second or third look.
Maybe we might want to add something like "- Lisp calligraphy piece" to the end of the title, if this should be an exception to the keep-the-original-title rule.
