News for hackers. Stuff that matters.
Re:What Urbit is by lisper on Thursday June 02, 2016 @02:06AM (#11820659)
> I remember really enjoying the last discussion.

Very happy to hear that.

> I'm not sure I'm able to understand the implicit criticism at the user level.

Let me make the criticism explicit then: inventing a new language is not hard. People do it all the time. It's an elementary exercise. However, inventing a good new language, i.e. one that actually advances the state of the art and provides a substantial advantage over existing languages -- that is very hard. That happens very rarely, probably less than a dozen times in the history of computing.

Although I have never heard Curtis say so explicitly, the rhetoric surrounding Urbit strongly implies that Nock and Hoon are languages of the second sort, that is, that they provide some benefit that existing languages lack, and without which developing Urbit would be substantially more difficult or even impossible. My question for the last four years has been: what is that benefit? Do Nock and Hoon really advance the state of the art in programming language design, or is their sole purpose to be the Shiny New Thing that gets people excited? Because if it's the latter, that does not bode well for Urbit's long-term prospects. Nothing gets to be the Shiny New Thing forever.

> It's very difficult to think clearly inside of someone else's intellectual framework.

That may be true, but do you not see the irony here? You didn't invent Nock/Hoon, Curtis did. So if you are thinking clearly, then you are doing it in someone else's intellectual framework, precisely the thing you say is very difficult.

> What Nock does seem to unlock is incredible amount of enthusiasm.

That I don't doubt. Curtis is a master marketeer. But Donald Trump is unlocking an incredible amount of enthusiasm too. Just because a lot of people get enthusiastic about something doesn't necessarily mean it's a good idea.

Re:What Urbit is by dustingetz on Thursday June 02, 2016 @07:48AM (#11821746)
Forgive my ignorance, but a typed functional system all the way down to machine is a huge departure from today's languages built on top of imperative dynamic machines, and a huge advantage in building typed functional systems, isn't it? I would go so far as to say that without a new machine and new languages designed for it, the abstraction will always leak. Which is why our software sucks today.
Re:What Urbit is by lisper on Thursday June 02, 2016 @10:07AM (#11822532)
That's true, but Urbit isn't like that. It runs on stock hardware, which is to say, untyped imperative hardware. And even from a purely theoretical point of view, Urbit's lowest level (Nock) is untyped.

The last time anyone built a computer that was typed all the way down to the hardware was (ironically) Lisp machines.