Is there a more defined set of memo types? I first expected a "protocol for thought" to have more thought oriented types and relationships. This just seems like Notes on IPFS.
You're not missing something. It's a little reductive, but the protocol did start with the use case of "notes on IPFS."
One of the essential benefits of this protocol above and beyond content stored on IPFS is: you get human-readable names for your content and your peers, and you can use those names to form links that refer to other data. Memos give us a way to deliver free-form headers up-front that are also decoupled from the raw data of the content, which is very nice to have when resolving links to content you don't know much about.
Other protocols in this domain start with the premise: in order to organize thought, we should crystalize the data structures to represent thought.
In our approach we seek to develop a substrate that such data structures may emerge from, but without a rigid presumption of how they ought to form (or even that there should be only one representation).
> a substrate that such data structures may emerge from, but without a rigid presumption of how they ought to form
Are there Math theorems that "proves" this sort of "highly abstract" level of designs?
Are there Academics working on this? or is this uncharted territory?
Gordon is the better founder to ask this question of. Alas, he does not dwell on Hacker News. I'm just the resident code monkey, but I'll offer you some of Gordon's topical blog posts for consideration:
Am i missing something?