sbazerque

7 ms·

1.
by sbazerque 2y ago
Did you read the remark at the end of my comment? In the practical cases I was exploring, that combinatorial explosion does not happen. It's relaxed in the sense that it is coordination-free.
2.
by sbazerque 2y ago
> A program P is monotonic if for any input sets S,T where S ⊆ T, P(S) ⊆ P(T). > A program is monotonic if, when you run it on a subset of its inputs, you get a subset of its outputs. As you run it on more data, the set of true things
3.
by sbazerque 3y ago
Rilke is a must!!! I loved his Duino Elegies.
4.
by sbazerque 4y ago
The case I found more worrisome is you follow someone, they then start using a new domain, and now it seems you're following a different handle (IDK if handles are immutable in Twitter, maybe they are not?). Maybe BlueSky could offer a
5.
by sbazerque 4y ago
So the domain is just a shortcut for the DID, in practice? That's interesting! And you're actually following the DID. I wonder how you present this to folks so it's understandable.
6.
by sbazerque 4y ago
This sounds a bit like those stories about Kodak having a digital camera before anybody else did, and they just fearfully watched the thing from a distance doing nuthing until someone else brought it to market and ended the party for them.
7.
by sbazerque 4y ago
Yeah, markets can be irrational, and markets know it, and play crazy games over themselves.
8.
by sbazerque 4y ago
Maybe comm protocols?
9.
by sbazerque 4y ago
I think this is the schema system you're asking for: https://www.hyperhyperspace.org/ (specifically, the data representation part)
10.
by sbazerque 4y ago
In the 2000s we spoke about distributed operating systems (Inferno, etc.). That's where systems research seemed to be headed, yet that never really took off. But maybe we're revisiting the concept now, just coming down from the la
11.
by sbazerque 4y ago
Arithmetic is usually formalized using first order logic (that's what Godel did in his incompleteness paper, for example). That means that one can write formulas quantifying only over numbers (that's what's done for the axiom
12.
by sbazerque 4y ago
The Internet became mainstream because folks could use modems and phone landlines (circuit switching technology, that the new TCP/IP end-to-end packet switching stack would eventually replace) to get online. The path for mass adoption
13.
by sbazerque 4y ago
Not all CRDT libraries focus on text editing. For example, I'm working on a Byzantine fault tolerant general-purpose data sync library loosely based on CRDTs: https://www.hyperhyperspace.org I'm finding it painfully di
14.
by sbazerque 4y ago
Not all decentralization projects are based on scarcity, but those that do tend to get the most publicity - regrettably.
15.
by sbazerque 4y ago
Making the network information aware is the next Internet infra problem.
16.
by sbazerque 4y ago
This may be one of those famous last words, but friend, I do my own electrical work.
17.
by sbazerque 5y ago
Hyper Hyper Space [1] is a library for modeling distributed data structures that uses operational CRDTs represented over a Merkle-DAG (using the partial order defined by causal relationships, like the paper describes). It is also designed t
18.
by sbazerque 5y ago
I think the PC analogy is solid. I think the observation that we need a way to permissionly interact with data is spot-on, and I agree that that could bring a second wave of value creation and innovation. Think of having a Facebook-like soc
19.
by sbazerque 5y ago
But "the signer" here is a cryptographic identity, that may be present in more than one device. So, even when conceptually it is just one entity, in practice it may be several computers doing something independently, and one may n
20.
by sbazerque 5y ago
Exactly this. You need deterministic serialization, because you need to be sure that when the _same_ object is constructed in different settings, it is going to hash consistently. In Hyper Hyper Space [1], the set of basic types as well as
21.
by sbazerque 5y ago
Forget blockchains. TCP/IP, BGP, DNS, etc. they are all fantastic. What they give us is _connectivity_. The problem is commerce (Amazon et al), search (Google), social (Facebook), etc. or, in general, the information layer built on top
22.
by sbazerque 5y ago
I'm thinking there's an interesting parallel between our browser-based p2p project [1] and cloudflare workers / DurableObjects. Instead of DurableObjects, we got HashedObjects [2], and instead of workers running on an edge ne
23.
by sbazerque 5y ago
Hyper Hyper Space! https://www.hyperhyperspace.org/whitepaper
24.
by sbazerque 5y ago
Thank you for your feedback! There are other projects that take an approach similar to what you're describing (Automerge and its derivatives, mainly). I guess there is a distinction between distributed databases and permission-less p2p
25.
by sbazerque 5y ago
I agree with the author on the merits of the file abstraction, but I think the concept should be updated for networked devices. We need file formats that support both offline usage and seamless sync over the network. For example, here I use
26.
by sbazerque 5y ago
from 10000ft away that has the feeling of op-based CRDTs
27.
by sbazerque 5y ago
I like the idea of keeping HTML's document-centric original design, but accessing the documents using p2p protocols (instead of the client-server model used on the web). I'm working on an open-source implementation of this idea at
28.
by sbazerque 5y ago
The basic internetworking protocols are fairly decentralized: access is ubiquitous and reasonably cheap. The handful of platforms we use to actually interact with each other over the net, on the other hand, have taken over the web. There&#x
29.
by sbazerque 5y ago
Or Hyper Hyper Space: https://www.hyperhyperspace.org
30.
by sbazerque 5y ago
I think he's not - when you look at it from the point of view of someone who wants to buy search advertisements. Duck Duck Go doesn't come nearly close to the kind of reach Google has.

More ›