Viewing profile — sbazerque

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 coordin…

> 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 outpu…

Rilke is a must!!! I loved his Duino Elegies.

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 Twi…

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.…

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 some…

Yeah, markets can be irrational, and markets know it, and play crazy games over themselves.

Maybe comm protocols?

I think this is the schema system you're asking for: https://www.hyperhyperspace.org/ (specifically, the data representation part)

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 revisi…

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 o…

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 eventua…

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.hyperhype…

Not all decentralization projects are based on scarcity, but those that do tend to get the most publicity - regrettably.

Making the network information aware is the next Internet infra problem.

This may be one of those famous last words, but friend, I do my own electrical work.

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 rel…

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 …

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 comp…

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. …

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), …

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],…

Hyper Hyper Space! https://www.hyperhyperspace.org/whitepaper

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 distinctio…

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…