urbit

16 ms·

121.
by urbit 13y ago
There's %wet but no ++wet. The name of the character is actually just the name of a parser function for it.
122.
by urbit 13y ago
Am I not entitled to an opinion? You certainly are. You could tell me _why_ you disagree. And I would listen. We may mean different things by "practitioners." I mean programmers. Unfortunately, your vocabulary is not common t
123.
by urbit 13y ago
Right, there you are with the definite article again. What you're asserting is that without this system of rigor and discipline, there can be no other rigorous and disciplined way of defining programming languages. For one thing,
124.
by urbit 13y ago
s/the foundation upon which everything else is built/ a foundation on which everything else can be built. If you'll accept this change, we don't disagree at all. (Also, it is a serious overstatement to attribute Java
125.
by urbit 13y ago
Obviously if you have a door that needs to stay open, a thudingly concrete... never mind. All I would say is, s/types/PL theory. Let's take your statement as true and stipulate that TAPL is in the top 1% of down-to-earthness
126.
by urbit 13y ago
This sentiment takes many forms indeed. Think about your stereotypes of a vanished upper class, any upper class - for instance, the pre-revolutionary French nobility. Obviously you never met any of these people, but you will find many nega
127.
by urbit 13y ago
For the record, not that it matters, Sergey Brin was born in 1973 and started a CS PhD at Stanford, specializing in OS, in 1993. I was born in 1973 and started a CS PhD at Berkeley, specializing in OS, in 1992. Alas, neither of us finishe
128.
by urbit 13y ago
Range == set of outputs which the function can produce. In any language, a type defines a set of values and some semantics for manipulating those values. It so happens that our way of defining common sets is to build a function whose ran
129.
by urbit 13y ago
The type, as a set of nouns, is the range (excuse me, "codomain") of a function. So, if we have another function and we call it with a noun of that type, we know the range of the input, we know the code in the function, we can inf
130.
by urbit 13y ago
Hoon is a very stupid little higher-order type-inference engine that does not use Hindley-Milner, category theory, etc. Higher-order functional programming is so cool it should be accessible to the majority of human beings who unfortunatel
131.
by urbit 13y ago
More context from the front page: http://urbit.org . Previous HN discussion: https://news.ycombinator.com/item?id=6438320 This is a perfectly serious type system that infers perfectly serious types all day long.
132.
Hoon: one weird trick CS professors hate(urbit.org)
19 points by urbit 13y ago|2 comments
133.
by urbit 13y ago
Hey, wait! That's my plan. By the way, I don't think there's anything wrong at all with bribing early adopters. Just sayin'...
134.
by urbit 13y ago
Compared to that, getting an RFC through the IETF strikes me as fairly simple. If I had to get the whole new operating system, etc, through the IETF, I might agree with you! You know, all your questions have the same answer. Of course no
135.
by urbit 13y ago
I can argue with Haskell but I would never argue with teh awesome that is Don Stewart. Urbit runs on Linux right now - but you're right, it would be very cool to run directly on the hypervisor, and it's totally possible for a self
136.
by urbit 13y ago
So, you're doing exactly the same thing when you press ^C on an event - what happens is, the event fails to compute. It doesn't go into your log. It doesn't affect your state. It never happened. Packet caused an infinite l
137.
by urbit 13y ago
You don't, unless the owner of the resource says they are and is trustworthy. No amount of code will change that. No, but you have to decide how your code will behave if it detects a change. Should it keep a hash and report an error
138.
by urbit 13y ago
I don't know, man. I really try very hard to make sure there's no one between me and outright insanity. But sometimes I wish there was... are you talking about homomorphic encryption? I'm not sure I'd hold my breath w
139.
by urbit 13y ago
Fantasy? Laugh while you can, monkey-boy! :-)
140.
by urbit 13y ago
Here, I think, we disagree, because I think your primary computer (ie, your personal state and main applications) should be in the cloud. (But not for everyone - just for everyone who doesn't have powerful enemies. That's why i
141.
by urbit 13y ago
Aren't we agreeing vehemently? The problem is when you try to build immutable resources on top of a mutable namespace. How exactly do you know they're immutable? By what convention? What happens to your code if they mutate? Eve
142.
by urbit 13y ago
Well, dude, I just did NAT traversal too but I have a funny feeling you did it better. Prediction: one day my protocol will run on top of yours. Rebuilding teh Internets, one layer at a time...
143.
by urbit 13y ago
URIs are names for data - but they're not referentially transparent names. Basically, the inspiration for URIs is Unix filesystems, whereas it should have been Git repositories. It's easy to build mutable resources on top of an i
144.
by urbit 13y ago
And of course the urbit frontpage itself: http://urbit.org . Basically thanks to HN, 8300 people have watched a 10-minute screencast of a command-line session. Totally insane. My lovely and talented wife, who put together this
145.
by urbit 13y ago
I would argue that spam is an even bigger one. Basically, the Internet has spam because identity isn't a limited resource. IP addresses are kind of a limited resource, but they're not really the property of the person using/
146.
by urbit 13y ago
A direct link to the video: http://www.youtube.com/watch?v=6S8JFoT6BEM
147.
by urbit 13y ago
ZeroTier looks awesome and that's a great post too. I'd dispute the point about the CAP theorem slightly. Thing is, your data - Little Data - is naturally centralized. It doesn't have to be centralized in the same center
148.
by urbit 13y ago
Yes. It's the second talk on the list. The other talks are great too! Watch them all!
149.
Urbit: The Internet failed (slides and video)(personal-clouds.org)
41 points by urbit 13y ago|49 comments
150.
by urbit 13y ago
But my previous reply is a little content-free, as what you're really asking for is how we solve the same problem that typeclasses solve in Haskell. Very briefly, there's two ways of asking whether a caller can change the type of

More ›