A nice intro to BCKW and SKI combinator. The most interesting part I found is how dropping some of the combinator gives a different computing world like linear logic. I never thought of that before. Maybe some combinator system reveals a more fundamental picture of computing.

I have the same feeling as the author when I was learning Nix. I always felt there is some gap between what I know and what I should know about Nix. I never know enough Nix to comfortably write any deviation. The articles I read either assume you're a total newbie or a veteran, but none seem to address people like me who are wandering in the limbo.

This article is different. The author talks about his story with Nix and what he learned on the way. It was a very interesting yet informative read. Maybe someday I'll pick Nix up again.