urbit

6 ms·

1.
by urbit 8y ago
Tlon (Urbit) | San Francisco | Full-time | https://tlon.io/ Tlon builds Urbit, a secure peer-to-peer network of personal servers, built on a clean-slate system software stack. You can learn more about it here https:/&
2.
by urbit 8y ago
Tlon (Urbit) | San Francisco | Full-time | https://tlon.io/ Tlon builds Urbit, a secure peer-to-peer network of personal servers, built on a clean-slate system software stack. You can learn more about it here: https:/
3.
by urbit 8y ago
Unfortunately I wouldn't expect a lot of substantive technical discussion for a post like this on HN -- this post will expire before anyone has time to read it properly and produce thoughtful responses. (Which is broadly the problem wi
4.
by urbit 8y ago
Definitely not dead -- it got stalled for a while because Urbit tends to use deep stacks and both Graal and the JVM seem to favor shallow ones. The author (not me) came up with a "meta-stack" design that may mitigate this issue a
5.
by urbit 9y ago
Here's a more optimistic take which is unavoidably a plug. Urbit is maybe a sort of "extreme langsec." "Immune" is a dangerous word. Urbit is "premitigated" against Spectre for the following reasons, som
6.
by urbit 9y ago
Um, I think you just did. :-) Of course, like every abstraction, this abstraction breaks down as you get into the details...
7.
by urbit 9y ago
If I can distill my objection to the pure capability model: there are two different statements of the capability manifesto, one strong and one weak. The weak capability position is that it should be possible to construct an opaque combina
8.
by urbit 9y ago
Protip: if no one's ahead of you, you're leading :-) This is a great answer. I think the impedance-mismatch question is a big part of the problem. Personally I prefer to boil the ocean rather than drowning in the impedance-misma
9.
by urbit 9y ago
This is a great question. One possible answer: maybe the right system would use "ambient authority" (ACLs, etc) for the common case, but scale up to true capabilities for interesting corner cases. Creating capability UIs that comp
10.
by urbit 9y ago
Wadler's criticisms of jets are pretty common and not super hard to respond to. Nothing at all stops any jet-based interpreter from using normal standards practices to specify a standard jet profile. We can even expect aggressive vendo
11.
by urbit 9y ago
On first glance, Cell feels like a very serious effort and I wouldn’t be surprised if it has an impact. The embedding model is a nice and thoughtful touch. I think a lot of imperative systems could benefit by converting their semantic core
12.
by urbit 9y ago
Urbit | San Francisco, CA | FULL TIME | ONSITE Urbit is hiring: Urbit is a clean-slate system software stack defined as a single frozen function. We're looking for: - Systems generalists who are comfortable at every layer of the stack
13.
by urbit 9y ago
The first question (economics) is one we've thought a bit about. Not affiliated with Filecoin/IPFS/Protocol Labs, so these answers may be wrong: Filecoin creates a market for storage. The price of B2 is an important variabl
14.
by urbit 9y ago
I agree - I see this Benjamin Franklin ("if we don't all stand together, we shall all hang separately") attitude everywhere. But I don't think this new attitude is an accident. It's not just because we're good
15.
by urbit 9y ago
As a competitor (or "competitor," I don't think decentralized services actually compete with each other in the traditional sense), I just want to say: Matrix is an amazing project with an incredibly hard-working team. If you
16.
by urbit 9y ago
Also, I would say that the worst thing about the inability to do EOM on the Internet stack is that it puts the responsibility for idempotence on the application programmer, then tests that corner case 1 in 100 times, maybe 1 in 1000. It is
17.
by urbit 9y ago
If you define EOM as magic, or as a solution to the Two Generals problem, EOM is certainly impossible. If EOM means "the programmer doesn't have to think about idempotency," EOM is what I want. Happy to call this "EOM a
18.
by urbit 9y ago
Exactly-once messaging is not a hard problem so long as you change the problem a little. (Plug warning: this is the way Urbit does EOM, or EOM * if you prefer.) TLDR, you don't need infinitely durable infinite memory. You just need
19.
by urbit 10y ago
The more I see from this project, the more I like it. The Pijul team seems just completely serious about building system software right. Also while I could wish for more doc, what's there is a really good overview.
20.
Raining Frogs(medium.com)
1 points by urbit 10y ago|2 comments
21.
by urbit 10y ago
Linux on Xen would also fail this test. Urbit is an OS in that it defines the complete lifecycle of a general-purpose computer. It's not an OS in that it's the lowest layer above bare metal. Sorry you had a bad experience with th
22.
by urbit 10y ago
Blatant plug: Urbit (urbit.org) is a general-purpose OS built on the event-sourced model. Urbit's state is a small, frozen function of its event log. I don't know of any other generalized event-sourced OSes. But almost every prin
23.
by urbit 10y ago
This is ancient -- see the modern site at https://www.urbit.org .
24.
by urbit 10y ago
Yes, Urbit is (or at least is designed to become) a personal server which solves this problem among others. One: a chain of specialized Posix programs would work for that. You would have to be someone who can manage a chain of specialized
25.
by urbit 10y ago
Your question about the lookup service is an excellent one. One: it costs 20 bucks a year to run urbit.org in its capacity as a DNS server for binding 256 names to IPs. Two: at present, there are about 50 galaxy holders, so if between them
26.
by urbit 10y ago
This is exactly the way Urbit works. (It's sincerely hard to tell from your post whether you've read the documentation, or you just had the same simple idea yourself.) Anyone can create a 128-bit comet. But once the comet system
27.
by urbit 10y ago
I'd say this problem is best solved not by having no cryptographic identities, but by using disposable identities. If you bound an identity cryptographically to your real name, that's permanent -- no getting around it. We all mak
28.
by urbit 10y ago
Sorry, the server was struggling for a moment. We fixed it. It's an OS admittedly in the metaphorical sense -- the same sense that your browser is an OS. That is, a platform that runs higher-level programs. Urbit doesn't run on
29.
by urbit 10y ago
A planet, like ~tasfyn-partyv, has a parent chain going back to the galaxy: ~tasfyn-partyv (32-bit), ~doznec (16-bit), ~zod (8-bit). zod.urbit.org is directly DNS mapped. Not using TURN and STUN specifically as the RFCs, but in effect it&#
30.
I'm Curtis Yarvin, Developer of Urbit. AMA(reddit.com)
7 points by urbit 10y ago|0 comments

More ›