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.