tromp 3 months 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 3 months ago

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

  • senko 3 months 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 3 months 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 3 months ago

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

    • phoe-krk 3 months ago

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

      • ikari_pl 3 months ago

        how did it end up there?

        • phoe-krk 3 months ago

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

  • deruta 3 months 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 3 months 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 3 months ago

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

    • phoe-krk 3 months ago

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

  • varjag 3 months ago

    Amazing work, not sure how I missed that!

    • phoe-krk 3 months ago

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

raldi 3 months ago

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

vinnyvichy 3 months ago

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

aagha 3 months ago

What made you want to do this?

  • phoe-krk 3 months 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 3 months ago

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

  • phoe-krk 3 months ago

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

dirtybirdnj 3 months 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 3 months 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 3 months ago

Should sell mostly prints but some originals on Etsy.

  • phoe-krk 3 months 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 3 months ago

Very nice!

gwern 3 months ago

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

  • dang 3 months 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 3 months 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 3 months ago

    Omega combinators would have made for better growth hacking.