From 779a7009d776411efd0b44dac653ffafb10e3801 Mon Sep 17 00:00:00 2001 From: Niko PLP Date: Thu, 12 Sep 2024 00:00:44 +0300 Subject: [PATCH] typos --- src/pages/en/documents.md | 4 +- src/pages/en/framework/crdts.md | 114 ++++++++++++++--------------- src/pages/en/framework/schema.md | 2 +- src/pages/en/framework/semantic.md | 2 +- src/pages/en/getting-started.md | 4 +- src/pages/en/local-first.md | 4 +- src/pages/en/social-network.md | 2 +- src/pages/en/specs/protocol-app.md | 2 +- src/pages/en/verifier.md | 2 +- 9 files changed, 68 insertions(+), 68 deletions(-) diff --git a/src/pages/en/documents.md b/src/pages/en/documents.md index 62a6aaf..da3ea9c 100644 --- a/src/pages/en/documents.md +++ b/src/pages/en/documents.md @@ -18,7 +18,7 @@ Each Document has a double nature : It has a **_Document-like_** nature where you can store and edit some rich-text, plaintext, or just some JSON or XML data, according to your needs and the primary class of the Document that you have chosen when you created it. This is so far very consistent with what we expect from a document in general. All the apps that you use or develop with NextGraph, will store their data inside these Documents. The Document-like nature is represented with a "cloud" icon. A note for developers: In the internals of NextGraph, the Document-like nature of a Document is called "discrete", because otherwise it is too many things that are called "document". -A Document also has a **_Graph_** nature, which is something new that NextGraph added (hence the name "NextGraph"). This "graph nature" of the document let's you link this document to other documents. It also let's you enter some specific data or meta-data about this document, that will be part of the Graph of all your documents. This graph is something important, that you are not used to. Social networks are all based on Graphs. The Web itself is a huge Graph. When you follow or get followed, when you like or comment on a Post, when you write a DM to someone, all this information is stored as a Graph, that connects different documents together. Later, you will probably need to _query_ this graph. This is done transparently when you want to see all your followers, and when you want to consult the **stream** of all the posts that they have published recently, or when you want to search for something. It is also used for recommendations. But in any case, what is important to understand is that internally, each Document can be linked to any other Document (like the classical Web that links webpages) and that the applications you will use on NextGraph, will also store more Graph information. Because NextGraph is local-first and decentralized, this **graph** information is available to you at all time. And if you want to see it, you can go to any Document and in the Document Menu, you can select "Graph" and you will see options to view and edit the Graph. This is a bit technical for now (you will see things like Turtle, SPARQL etc) but in the future, we will provide here some nice tools where you will be able to explore your own graph easily. The Graph-like nature is represented with a "sun" icon. The Graph part of the document is stored in the RDF format. +A Document also has a **_Graph_** nature, which is something new that NextGraph added (hence the name "NextGraph"). This "graph nature" of the document lets you link this document to other documents. It also lets you enter some specific data or meta-data about this document, that will be part of the Graph of all your documents. This graph is something important, that you are not used to. Social networks are all based on Graphs. The Web itself is a huge Graph. When you follow or get followed, when you like or comment on a Post, when you write a DM to someone, all this information is stored as a Graph, that connects different documents together. Later, you will probably need to _query_ this graph. This is done transparently when you want to see all your followers, and when you want to consult the **stream** of all the posts that they have published recently, or when you want to search for something. It is also used for recommendations. But in any case, what is important to understand is that internally, each Document can be linked to any other Document (like the classical Web that links webpages) and that the applications you will use on NextGraph, will also store more Graph information. Because NextGraph is local-first and decentralized, this **graph** information is available to you at all time. And if you want to see it, you can go to any Document and in the Document Menu, you can select "Graph" and you will see options to view and edit the Graph. This is a bit technical for now (you will see things like Turtle, SPARQL etc) but in the future, we will provide here some nice tools where you will be able to explore your own graph easily. The Graph-like nature is represented with a "sun" icon. The Graph part of the document is stored in the RDF format. In addition, you can also attach some **binary files** to any Document. Those files are immutable in the sense that you can add them or delete them, but you cannot modify their content. @@ -124,7 +124,7 @@ So, to recap. Each branch holds a separate list of commits, that can be seen in For now the App does not let you create new blocks and branches, but it will come very soon. internally, the branches are already there, and they work well. What you see for now in the App when you open a document, is called the "main" branch. Later, you will be able to add more blocks and branches. -Those who are more curious about the internals of the branch, commits, DAG (directly acyclic graph) used in NextGraph, can refer to the [Repo format](/en/specs/format-repo) of the specs. +Those who are more curious about the internals of the branch, commits, DAG (Directed Acyclic Graph) used in NextGraph, can refer to the [Repo format](/en/specs/format-repo) of the specs. ### Stores diff --git a/src/pages/en/framework/crdts.md b/src/pages/en/framework/crdts.md index a8d42b7..a54b75a 100644 --- a/src/pages/en/framework/crdts.md +++ b/src/pages/en/framework/crdts.md @@ -64,62 +64,62 @@ As you will see in the **Sync Protocol** chapter below, the programmer decides w Now let's have a look at what those CRDTs have in common and what is different between them. We have marked πŸ”₯ the features that are unique to each model and that we find very cool. -| | Graph (RDF) | Yjs | Automerge | -| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------- | ---------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- | -|   | | | | -|   | | | | -| **key/value** | βœ… | βœ… | βœ… | -| (aka property/value, and in RDF, it is called predicate/object) this is the basic feature that the 3 models offer. You have a Document, and you can add key/value pairs to it. Also known as Map or Object. | -| **property names** | βœ… πŸ”₯ predicate | string | string | -| Thanks to the Ontology/Schema mechanism of RDF (OWL), the schema information is embedded inside the data (with what we call a Predicate), thus avoiding any need for schema migration. Also, it brings full data interoperability as many common ontologies already exist and can be reused, and new ones can be published or shared | -| **nested** | βœ… blank nodes | βœ… | βœ… | -| key/value pairs can be nested (like in JSON) | -| **sequence** | ❌ \* | βœ… | βœ… | -| And like in JSON or Javascript, some keys can be Arrays (aka list), which preserve the ordering of the elements. (\*) In RDF, storing arrays is a bit more tricky. For that purpose, Collections can encode order, but are not CRDT based nor concurrency safe | -| **sets** | πŸ”Ί multiset | βœ… | βœ… | -| RDF predicates (the equivalent of properties or keys in discrete documents) are not unique. they can have multiple values. that's the main difference between the discrete and graph models. We will offer the option to enforce rules on RDF data (with SHACL/SHEX) that could force unicity of keys, but that would require the use of **Synchronous Transactions**. Sets are usually represented in JS/JSON with a map, of which the values are not used (set to null or false), because keys are unique, so we use the keys to represent the set. In RDF, keys are not unique, but a set can be represented by choosing a single key (a predicate) and its many values will represent the set, as a pair "key/value" is unique (aka a "predicate/object" pair). | -| **unique key** | ❌ | βœ… | βœ… | -| related to the above | -| **conflict resolution** | βœ… | lamport clock ? | [higher actor ID](https://automerge.org/docs/documents/conflicts/) | -| because RDF has no unique keys, it cannot conflict. | -| **CRDT strings in property values** | ❌ | ❌ | βœ… πŸ”₯ | -| allows concurrent edits on the value of a property that is a string. this feature is only offered by Automerge. Very useful for collaborative forms or tables/spreadsheets by example! | -| **multi-lingual strings** | βœ… πŸ”₯ | ❌ | ❌ | -| Store the value of a string property in several languages / translations | -| **Counter CRDT** | ❌ | ❌ | βœ… πŸ”₯ | -| Counters are a safe way to manage integers in a concurrent system. Automerge is the only one offering counters. Please note that CRDT types in general are "eventual consistent" only (BASE model). If you need stronger guarantees like the ones provided by ACID systems (specially guaranteeing the sequencing of operations, very useful for preventing double-spending) then you have to use a **Synchronous Transaction** in NextGraph. | -| **link/ref values (foreign key)** | βœ… πŸ”₯ | ❌ \* | ❌ \* | -| (\*) discrete data cannot link to external documents. This is the reason why all Documents in NextGraph have a Graph part, in order to enable inter-linking of data and documents across the Giant Global Graph of Linked Data / Semantic Web | -| **Float values** | βœ… | 🟧 | βœ… | -| Yjs doesn't enforce strong typing on values. they can be any valid JSON (and Floats are just Numbers). | -| **Date values** | βœ… | ❌ | βœ… | -| JSON doesn't support JS Date datatype. So for the same reason as above, Yjs doesn't support Dates. | -| **Binary buffer values** | βœ… \* | βœ… | βœ… | -| (\*) as base64 or hex encoded. please note that for all purposes of storing binary data, you should use the **binary files** facility of each Document instead, which is much more efficient. | -| **boolean, integer values** | βœ… | βœ… | βœ… | -| **NULL values** | ❌ | βœ… | βœ… | -| **strongly typed decimal values** | βœ… | ❌ | ❌ | -| signed, unsigned, and different sizes of integers | -| **revisions, diff, revert** | 🟧 | 🟧 | 🟧 | -| πŸ”₯ implemented at the NextGraph level. work in progress. You will be able to see the diffs and access all the historical data of the Document, and also revert to previous versions. | -| **compact** | βœ… | βœ… | ❓ | -| compacting is always available as a feature at the NextGraph level (and will compact Graph and Discrete parts alike). Yjs tends to garbage collect deleted content. not sure if automerge does it. Compact will remove all the historical data and deleted content (you won't be able to see diffs nor revert, for all the causal past happening before the compact operation. but normal CRDT behaviour can resume after) . This is a synchronous operation. | -| **snapshot** | βœ… | βœ… | βœ… | -| take a snapshot of the data at a given HEADs, and store it in a non-CRDT way so it can be opened quickly. Also removes all the historical and deleted data. But a snapshot cannot be used to continue collaborating on the document. See it as something similar to "export as a static file". | -| **isolated transactions** | βœ… | βœ… | βœ… | -| A NextGraph transaction can atomically mutate both the Graph and the Discrete data in a single isolated transaction. Can be useful to enforce consistency and keep in sync between information stored in the discrete and graph parts of the same document. but: transactions cannot span multiple documents (for that matter, see **smart contracts**). When a SPARQL Update spans across Documents, then the Transaction is split into several ones (one for each target Document) and each one is applied separately, meaning, not atomically. Also, keep in mind, as explained above in the "Counter" section, that CRDTs are eventually consistent. If you need ACID guarantees, use a synchronous transaction instead. | -| **Svelte5 reactive Store (Runes)** | 🟧 | 🟧 | 🟧 | -| πŸ”₯ this is planned. will be available shortly. the store will be **writable** and will allow a bidirectional binding of the data to some javascript reactive variables in Svelte (same could be done for React) and we are considering the use of **Valtio** for a generic reactive store, that would also work on nodeJS and Deno | -| **queries across documents** | βœ… πŸ”₯SPARQL | 🟧 \* | 🟧 \* | -| (\*) support is planned at the NextGraph level, to be able to query discrete data too in SPARQL. (GraphQL support could then be added) | -| **export/import JSON** | βœ… JSON-LD | βœ… | βœ… | -|   | | | | -| **Rich Text** | N/A | attributes on XMLElement | [Marks and Block Markers](https://automerge.org/docs/documents/rich_text/) and [here](https://automerge.org/docs/under-the-hood/rich_text_schema/) | -| Yjs integration for ProseMirror and Milkdown is quite stable. Peritext is newer and only offers ProseMirror integration. For this reason we use Yjs for Rich Text. Performance considerations should be evaluated too. | -| **Referencing rich text from outside** | N/A | βœ… πŸ”₯ [Relative Position](https://docs.yjs.dev/api/relative-positions) | βœ… [get_cursor](https://automerge.org/automerge/automerge/trait.ReadDoc.html#tymethod.get_cursor) | -| useful for anchoring comments, quotes and annotations (as you shouldn't have to modify a document in order to add a comment or annotation to it). | -| **shared cursor** | N/A | 🟧 \* | 🟧 \* | -| (\*) available in lib but not yet integrated in NextGraph | -| **undo/redo** | N/A | 🟧 \* | 🟧 \* | +| | Graph (RDF) | Yjs | Automerge | +| --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------- | ---------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- | +|   | | | | +|   | | | | +| **key/value** | βœ… | βœ… | βœ… | +| (aka property/value, and in RDF, it is called predicate/object) this is the basic feature that the 3 models offer. You have a Document, and you can add key/value pairs to it. Also known as Map or Object. | +| **property names** | βœ… πŸ”₯ predicate | string | string | +| Thanks to the Ontology/Schema mechanism of RDF (OWL), the schema information is embedded inside the data (with what we call a Predicate), thus avoiding any need for schema migration. Also, it brings full data interoperability as many common ontologies already exist and can be reused, and new ones can be published or shared | +| **nested** | βœ… blank nodes | βœ… | βœ… | +| key/value pairs can be nested (like in JSON) | +| **sequence** | ❌ \* | βœ… | βœ… | +| And like in JSON or Javascript, some keys can be Arrays (aka list), which preserve the ordering of the elements. (\*) In RDF, storing arrays is a bit more tricky. For that purpose, Collections can encode order, but are not CRDT based nor concurrency safe | +| **sets** | πŸ”Ί multiset | βœ… | βœ… | +| RDF predicates (the equivalent of properties or keys in discrete documents) are not unique. they can have multiple values. that's the main difference between the discrete and graph models. We will offer the option to enforce rules on RDF data (with SHACL/SHEX) that could force unicity of keys, but that would require the use of **Synchronous Transactions**. Sets are usually represented in JS/JSON with a map, of which the values are not used (set to null or false), because keys are unique, in JSON we use the keys to represent the set. In RDF, keys are not unique, but a set can be represented by choosing a single key (a predicate) and its many values will represent the set, as a pair "key/value" is unique (aka a "predicate/object" pair). | +| **unique key** | ❌ | βœ… | βœ… | +| related to the above | +| **conflict resolution** | βœ… | lamport clock ? | [higher actor ID](https://automerge.org/docs/documents/conflicts/) | +| because RDF has no unique keys, it cannot conflict. | +| **CRDT strings in property values** | ❌ | ❌ | βœ… πŸ”₯ | +| allows concurrent edits on the value of a property that is a string. this feature is only offered by Automerge. Very useful for collaborative forms or tables/spreadsheets by example! | +| **multi-lingual strings** | βœ… πŸ”₯ | ❌ | ❌ | +| Store the value of a string property in several languages / translations | +| **Counter CRDT** | ❌ | ❌ | βœ… πŸ”₯ | +| Counters are a safe way to manage integers in a concurrent system. Automerge is the only one offering counters. Please note that CRDT types in general are "eventual consistent" only (BASE model). If you need stronger guarantees like the ones provided by ACID systems (specially guaranteeing the sequencing of operations, very useful for preventing double-spending) then you have to use a **Synchronous Transaction** in NextGraph. | +| **link/ref values (foreign key)** | βœ… πŸ”₯ | ❌ \* | ❌ \* | +| (\*) discrete data cannot link to external documents. This is the reason why all Documents in NextGraph have a Graph part, in order to enable inter-linking of data and documents across the Giant Global Graph of Linked Data / Semantic Web | +| **Float values** | βœ… | 🟧 | βœ… | +| Yjs doesn't enforce strong typing on values. they can be any valid JSON (and Floats are just Numbers). | +| **Date values** | βœ… | ❌ | βœ… | +| JSON doesn't support JS Date datatype. So for the same reason as above, Yjs doesn't support Dates. | +| **Binary buffer values** | βœ… \* | βœ… | βœ… | +| (\*) as base64 or hex encoded. please note that for all purposes of storing binary data, you should use the **binary files** facility of each Document instead, which is much more efficient. | +| **boolean, integer values** | βœ… | βœ… | βœ… | +| **NULL values** | ❌ | βœ… | βœ… | +| **strongly typed decimal values** | βœ… | ❌ | ❌ | +| signed, unsigned, and different sizes of integers | +| **revisions, diff, revert** | 🟧 | 🟧 | 🟧 | +| πŸ”₯ implemented at the NextGraph level. work in progress. You will be able to see the diffs and access all the historical data of the Document, and also revert to previous versions. | +| **compact** | βœ… | βœ… | ❓ | +| compacting is always available as a feature at the NextGraph level (and will compact Graph and Discrete parts alike). Yjs tends to garbage collect deleted content. not sure if automerge does it. Compact will remove all the historical data and deleted content (you won't be able to see diffs nor revert, for all the causal past happening before the compact operation. but normal CRDT behaviour can resume after) . This is a synchronous operation. | +| **snapshot** | βœ… | βœ… | βœ… | +| take a snapshot of the data at a given HEADs, and store it in a non-CRDT way so it can be opened quickly. Also removes all the historical and deleted data. But a snapshot cannot be used to continue collaborating on the document. See it as something similar to "export as a static file". | +| **isolated transactions** | βœ… | βœ… | βœ… | +| A NextGraph transaction can atomically mutate both the Graph and the Discrete data in a single isolated transaction. Can be useful to enforce consistency and keep in sync between information stored in the discrete and graph parts of the same document. but: transactions cannot span multiple documents (for that matter, see **smart contracts**). When a SPARQL Update spans across Documents, then the Transaction is split into several ones (one for each target Document) and each one is applied separately, meaning, not atomically. Also, keep in mind, as explained above in the "Counter" section, that CRDTs are eventually consistent. If you need ACID guarantees, use a synchronous transaction instead. | +| **Svelte5 reactive Store (Runes)** | 🟧 | 🟧 | 🟧 | +| πŸ”₯ this is planned. will be available shortly. the store will be **writable** and will allow a bidirectional binding of the data to some javascript reactive variables in Svelte (same could be done for React) and we are considering the use of **Valtio** for a generic reactive store, that would also work on nodeJS and Deno | +| **queries across documents** | βœ… πŸ”₯SPARQL | 🟧 \* | 🟧 \* | +| (\*) support is planned at the NextGraph level, to be able to query discrete data too in SPARQL. (GraphQL support could then be added) | +| **export/import JSON** | βœ… JSON-LD | βœ… | βœ… | +|   | | | | +| **Rich Text** | N/A | attributes on XMLElement | [Marks and Block Markers](https://automerge.org/docs/documents/rich_text/) and [here](https://automerge.org/docs/under-the-hood/rich_text_schema/) | +| Yjs integration for ProseMirror and Milkdown is quite stable. Peritext is newer and only offers ProseMirror integration. For this reason we use Yjs for Rich Text. Performance considerations should be evaluated too. | +| **Referencing rich text from outside** | N/A | βœ… πŸ”₯ [Relative Position](https://docs.yjs.dev/api/relative-positions) | βœ… [get_cursor](https://automerge.org/automerge/automerge/trait.ReadDoc.html#tymethod.get_cursor) | +| useful for anchoring comments, quotes and annotations (as you shouldn't have to modify a document in order to add a comment or annotation to it). | +| **shared cursor** | N/A | 🟧 \* | 🟧 \* | +| (\*) available in lib but not yet integrated in NextGraph | +| **undo/redo** | N/A | 🟧 \* | 🟧 \* | Keep on reading about how to handle the [schema](/en/framework/schema) of your data, and what the [Semantic Web](/en/framework/semantic) is all about. diff --git a/src/pages/en/framework/schema.md b/src/pages/en/framework/schema.md index 7bb1e6c..d0d88f0 100644 --- a/src/pages/en/framework/schema.md +++ b/src/pages/en/framework/schema.md @@ -35,7 +35,7 @@ A new ontology can be defined by creating a new Document of type Data / Ontology There is a special prefix `ng:` for the NextGraph ontology (not to be confused with the `did:ng` method of the Nuri). This prefix is available in all RDF documents and cannot be overridden by other prefixes/context. -It has a list of predicates that help manage the Documents. It is also a way for us to offer a metadata API on each document, that can be queries with SPARQL. This API automatically generates some virtual triples about the document. let's have a look more in details about them. +It has a list of predicates that help manage the Documents. It is also a way for us to offer a metadata API on each document, that can be queries with SPARQL. This API automatically generates some virtual triples about the document. Let's have a look more in details about them. | predicate | R/W | type | label | comment | equivalent | | --------- | --- | ------------- | ---------- | -------------------------------------------- | ------------------------------------------------------- | diff --git a/src/pages/en/framework/semantic.md b/src/pages/en/framework/semantic.md index e8e7bbb..7d6e5ce 100644 --- a/src/pages/en/framework/semantic.md +++ b/src/pages/en/framework/semantic.md @@ -165,7 +165,7 @@ If we had stopped here, there would be no real interest in having a named graph But you also are able to add triples in the Document/Named graph, that are not authoritative. Those are the triples that have as subject, some other ID than the current Document. -What is it useful for? RDF let's anybody establish facts about any resources. If there is a foreign Document that I am using in my system, and I want to add extra information about this resource, but I don't have write permission on that foreign Document, I can add the triples in one of the Documents that I own. External people who would see those triples that I added, would immediately understand that they are not authoritative, because they were not signed with the private key of the Document ID that they establish facts about (the subject of the triples). So it is possible to say, by example, that `London -> belongs_to -> African_continent` but of course, this is not the official point of the view of the author that manages the `London` Document. it only is "my point of view", and people who will see this triple, will also be notified that it isn't authoritative (I think they can easily understand that by themselves without the need for signatures). +What is it useful for? RDF lets anybody establish facts about any resources. If there is a foreign Document that I am using in my system, and I want to add extra information about this resource, but I don't have write permission on that foreign Document, I can add the triples in one of the Documents that I own. External people who would see those triples that I added, would immediately understand that they are not authoritative, because they were not signed with the private key of the Document ID that they establish facts about (the subject of the triples). So it is possible to say, by example, that `London -> belongs_to -> African_continent` but of course, this is not the official point of the view of the author that manages the `London` Document. it only is "my point of view", and people who will see this triple, will also be notified that it isn't authoritative (I think they can easily understand that by themselves without the need for signatures). Then we have other use cases for extra triples in the Document : diff --git a/src/pages/en/getting-started.md b/src/pages/en/getting-started.md index 891c822..7a75630 100644 --- a/src/pages/en/getting-started.md +++ b/src/pages/en/getting-started.md @@ -94,7 +94,7 @@ Each Document has a double nature : - it has a _Document-like_ nature where you can store and edit some rich-text, or just some data, according to the class of the Document that you have chosen. This is so far very consistent with what we expect from a document in general. All the apps that you use with NextGraph, will store their data inside these Documents. The Document-like nature is represented with a "cloud" icon. -- A Document also has a _Graph_ nature, which is something new that NextGraph added (hence the name "NextGraph"). This "graph nature" of the document let's you link this document to other documents. It also let's you enter some specific data or meta-data about this document, that will be part of the Graph of all your documents. This graph is something important, that you are not used to. Social networks are all based on Graphs. The Web itself is a huge Graph. When you follow or get followed, when you like or comment on a Post, when you write a DM to someone, all this information is stored as a Graph, that connects different documents together. Later, you will probably need to _query_ this graph. This is done transparently when you want to see all your followers, and when you want to consult the **stream** of all the posts that they have published recently, or when you want to search for something. It is also used for recommendations. But in any case, what is important to understand is that internally, each Document can be linked to any other Document (like the classical Web that links webpages) and that the applications you will use on NextGraph, will also store more Graph information. Because NextGraph is local-first and decentralized, this **graph** information is available to you at all time. And if you want to see it, you can go to any Document and in the Document Menu, you can select "Graph" and you will see options to view and edit the Graph. This is a bit technical for now (you will see things like Turtle, SPARQL etc) but in the future, we will provide here some nice tools where you will be able to explore your own graph easily. The Graph-like nature is represented with a "sun" icon. +- A Document also has a _Graph_ nature, which is something new that NextGraph added (hence the name "NextGraph"). This "graph nature" of the document lets you link this document to other documents. It also lets you enter some specific data or meta-data about this document, that will be part of the Graph of all your documents. This graph is something important, that you are not used to. Social networks are all based on Graphs. The Web itself is a huge Graph. When you follow or get followed, when you like or comment on a Post, when you write a DM to someone, all this information is stored as a Graph, that connects different documents together. Later, you will probably need to _query_ this graph. This is done transparently when you want to see all your followers, and when you want to consult the **stream** of all the posts that they have published recently, or when you want to search for something. It is also used for recommendations. But in any case, what is important to understand is that internally, each Document can be linked to any other Document (like the classical Web that links webpages) and that the applications you will use on NextGraph, will also store more Graph information. Because NextGraph is local-first and decentralized, this **graph** information is available to you at all time. And if you want to see it, you can go to any Document and in the Document Menu, you can select "Graph" and you will see options to view and edit the Graph. This is a bit technical for now (you will see things like Turtle, SPARQL etc) but in the future, we will provide here some nice tools where you will be able to explore your own graph easily. The Graph-like nature is represented with a "sun" icon. ### Viewer and Editor @@ -158,7 +158,7 @@ You might ask yourself what the magic carpet is. It is not functional yet, but it will be something like a "clipboard" where you can store temporary data. -But unlike the clipboard we are used to (with CMD+C and CMD+V), the Magic Carpet can keep a list of many items, not just the latest one. This is useful when you want to move things around. Also the Magic Carpet is always reachable from anywhere in the app, and let's you drag and drop things, and see the list visually. +But unlike the clipboard we are used to (with CMD+C and CMD+V), the Magic Carpet can keep a list of many items, not just the latest one. This is useful when you want to move things around. Also the Magic Carpet is always reachable from anywhere in the app, and lets you drag and drop things, and see the list visually. Stay tuned for more features, by checking out the [roadmap](/en/roadmap). diff --git a/src/pages/en/local-first.md b/src/pages/en/local-first.md index 0816a0e..6566c50 100644 --- a/src/pages/en/local-first.md +++ b/src/pages/en/local-first.md @@ -16,7 +16,7 @@ In order to work properly, a Local First app needs to use CRDTs (Conflict-free R Some rules are agreed upon in advance on how to deal with the conflict, based on the metadata. And those rules lead to a deterministic and consistent conflict resolution mechanism across replicas, regardless of the order in which the updates are applied. -The best CRDTs out there are based on a DAG of dependencies, that encodes the causal past of an update/operation/commit (all synonyms). +The best CRDTs out there are based on a DAG of dependencies (Directed Acyclic Graph), that encodes the causal past of an update/operation/commit (all synonyms). Each operation indicates which previous operations it β€œsees” in its β€œcausal past” at the moment when the operation is committed. @@ -30,7 +30,7 @@ To come back to the higher level overview, local-first apps deal well with offli Be it a document that is shared between the different devices of a single user, or a document that is shared among several users (and their respective many devices), the user will always be able to view and/or edit the document while being offline, and then sync with the other replicas after regaining connectivity. -This by itself, is a big paradigm shift for the developers, who is more used to calling some remote APIs for accessing the data. +This by itself, is a big paradigm shift for the developers, who are more used to calling remote APIs to access data. Here the data is always accessed locally (in this sense, the backend sits in the β€œclient” or in the β€œfront-end" if you prefer). diff --git a/src/pages/en/social-network.md b/src/pages/en/social-network.md index 44f18ea..cec3b26 100644 --- a/src/pages/en/social-network.md +++ b/src/pages/en/social-network.md @@ -70,7 +70,7 @@ But this has a negative side-effect. The global graph that Meta by example, main We will overcome this caveat of not having access to the global graph, by enabling peer-to-peer traversal of the graph. -This will be possible very soon in NextGraph, thanks to the use of the Semantic Web and the features of "federated queries" that let's you query the data that is not on your machine, but instead, sits in the machine of your friends and contacts. If those other users give you the permission to do so, you will be able to search in their own graph too. +This will be possible very soon in NextGraph, thanks to the use of the Semantic Web and the features of "federated queries" that lets you query the data that is not on your machine, but instead, sits in the machine of your friends and contacts. If those other users give you the permission to do so, you will be able to search in their own graph too. This is why NextGraph makes a strong separation between the data that is private and should always stay private, and the data that is public or protected. Public data can be queried by anyone, while protected data needs your permission. diff --git a/src/pages/en/specs/protocol-app.md b/src/pages/en/specs/protocol-app.md index 8ca2abb..89d80c1 100644 --- a/src/pages/en/specs/protocol-app.md +++ b/src/pages/en/specs/protocol-app.md @@ -6,7 +6,7 @@ layout: ../../../layouts/MainLayout.astro **All our protocols and formats use the binary codec called [BARE](https://baremessages.org/)**. -The App Protocol let's the Application talk with the Verifier. +The App Protocol lets the Application talk with the Verifier. This protocol exchanges content that isn't encrypted. diff --git a/src/pages/en/verifier.md b/src/pages/en/verifier.md index 6c8c477..9f87147 100644 --- a/src/pages/en/verifier.md +++ b/src/pages/en/verifier.md @@ -101,7 +101,7 @@ Sometimes the Verifier and the Broker are on the same machine, in the same proce Sometimes the Verifier and the App are in the same process, sometimes they need a websocket between them. But all of this are implementation details. For the developers, the same API is available everywhere, in nodeJS, in front-end Javascript, in Rust, and similarly, as commands in the CLI, regardless of where the Verifier and the Broker are actually located. -In some cases, a broker (ngd) will run. let's say on localhost or within a LAN network, and will not be directly connected to the core network. This can happen in the following schema. This is called a Server Broker, and it doesn’t join the core network. Instead, it needs to establish a connection to a CoreBroker that will join the core network on its behalf. It will use the ClientProtocol for that, in a special way called β€œForwarding", as it will forward all ClientProtocol request coming from the Verifier(s), to another broker called the CoreBroker. It will keep local copies of the events, and manage a local table of pub/sub subscriptions, but will not join overlays by itself. This will be delegated to the CoreBroker(s) it connects to. +In some cases, a broker (ngd) will run. Let's say on localhost or within a LAN network, and will not be directly connected to the core network. This can happen in the following schema. This is called a Server Broker, and it doesn’t join the core network. Instead, it needs to establish a connection to a CoreBroker that will join the core network on its behalf. It will use the ClientProtocol for that, in a special way called β€œForwarding", as it will forward all ClientProtocol request coming from the Verifier(s), to another broker called the CoreBroker. It will keep local copies of the events, and manage a local table of pub/sub subscriptions, but will not join overlays by itself. This will be delegated to the CoreBroker(s) it connects to. This Forwarding Client Protocol is not coded yet (but it is just an add-on to the ClientProtocol).