tromp a year ago

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:

    ┬────────────────
    ┼─────────────┬──
    │ ──┬──────── ┼ ┬
    │ ┬─┼─┬────── │ │
    │ │ │ ┼─┬─┬── │ │
    │ │ │ ┼─┼─┼─┬ │ │
    │ │ │ └─┤ ├─┘ │ │
    │ │ │   ├─┘   │ │
    │ │ ├───┘     │ │
    │ ├─┘         │ │
    └─┤           │ │
      └───────────┤ │
                  └─┘
phoe-krk a year ago

Author here. Didn't expect this one on HN tonight, so AMA I guess.

  • senko a year ago

    Beautiful!

    Any plans on selling prints again (or perhaps the site you mentioned for the '21 Lisp conference still active)?

    (edit to add: I realize this is handcrafted art, was wondering if you have high-res scans you'd consider selling as prints)

    • phoe-krk a year ago

      Oh goodness. If you really want one, I could produce some. Poke me at phoe@disroot.org and we'll arrange for that.

      (Yes, I do have a scan!)

  • Lerc a year ago

    Preserve it well and you might one day really confuse an archeologist.

    • phoe-krk a year ago

      The original is hanging somewhere in a university in Germany. They'll take decent care of it, I presume.

      • ikari_pl a year ago

        how did it end up there?

        • phoe-krk a year ago

          AFAIR it was sent there after an auction during the online European Lisp Symposium 2021.

  • deruta a year ago

    Congrats on finding time! Maybe this will push me to get back to my nib stash, ha.

    Got any experience with adapting fountain pen inks for calligraphy?

    • phoe-krk a year ago

      Not really. I used Pilot Parallel pens exclusively for doing this piece, so I avoided most of the nib problems (and experience) myself.

  • ellis0n a year ago

    Incredible paper! Can you help me make something similar for the ACPUL programming language?

    • phoe-krk a year ago

      Ping me at phoe@disroot.org and let's get to it!

  • varjag a year ago

    Amazing work, not sure how I missed that!

    • phoe-krk a year ago

      Thanks. I didn't really promote this outside #commonlisp on IRC and Hacker News (linked by dang earlier).

raldi a year ago

It's beautiful, but isn't a codex a book? I thought that's what separates them from scrolls.

vinnyvichy a year ago

Nice to see that yin-yang of eval/apply floating in a sea of King James 1611

aagha a year ago

What made you want to do this?

  • phoe-krk a year ago

    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.

nathell a year ago

Next time I'm in Kraków I'd like to buy you a beer, sir.

  • phoe-krk a year ago

    Sure! (A non-alcoholic one, please.)

dirtybirdnj a year ago

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?!

very cool

  • phoe-krk a year ago

    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.)

mynameisnoone a year ago

Should sell mostly prints but some originals on Etsy.

  • phoe-krk a year ago

    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.

narag a year ago

Very nice!

gwern a year ago

A regrettable name. Everyone who sees it will assume that it's something like 'a startup self-help book'.

  • dang a year ago

    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.

    Combinators are always welcome on HN!

    • phoe-krk a year ago

      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.

  • hayley-patton a year ago

    Omega combinators would have made for better growth hacking.