Funny, I like CS too but his writings put me off in part; I particularly disliked his Nock language. It looks like a seriously crappy Lisp to me (and I like Haskell better).
Nock was followed by Urbit, “functional programming from
scratch”, but that project doesn’t seem to have gone anywhere, and it’s not clear to me where there would be for it to go. His vision of “Martian code”, “tiny and diamond-perfect” is still a castle in the air, the job of putting a foundation under it still undone.
A criticism that I think applies to his politics as well. He does a fine destructive critique of the current state of things and how we got here, but is weak on what he would replace it by.
Funny, I like CS too but his writings put me off in part; I particularly disliked his Nock language. It looks like a seriously crappy Lisp to me (and I like Haskell better).
Agreed, Nock was a neat puzzle, but not much more. I have no idea why he tried to oversell it so.
Nock was followed by Urbit, “functional programming from scratch”, but that project doesn’t seem to have gone anywhere, and it’s not clear to me where there would be for it to go. His vision of “Martian code”, “tiny and diamond-perfect” is still a castle in the air, the job of putting a foundation under it still undone.
A criticism that I think applies to his politics as well. He does a fine destructive critique of the current state of things and how we got here, but is weak on what he would replace it by.