Marginalia for the web? browser as a graph database, chronological browsing?
what if you could 3 finger swipe up on a browser to see what pages this page is connected to in a graph
and you could write on the margins of pages and share those with friends
a little annotated web
location-based ephemeral social groups with zero-knowledge proofs on location
each location/city has a chat group which has a compound hash of all people in that location, derive only a boolean of whether a person is in a city or not without revealing exact location
when a person leaves/arrives at a city, city hash is updated
p2p reddit w custom chain crawlers and the ability to bake keys into content
autocomplete for rendered latex with a computer algebra system
Conversational GPS
why do we even look at a screen when we can just ask for directions as if it was a normal person lol
Discord bot for interacting with DAOs
sound-based hashing for cryptographic verification
prolog goal-first search? how can i prove that I can transmute resource A into resource B using relations on the network?
suggesting what you can do with existing resources in your wallet
over time, emergent best-practices develop (i.e. whats the most obvious thing to do after you buy BTC, what does this
NFT enable me to do?)
DreamCoder boolsat
Creating a LISP-like higher-order language to exploit reusable sub-proofs in specific domains (e.g. graph colouring)
kinda iffy on the sat problem solver using dreamcoder, not a lot of exploitable structure in the proofs (otherwise we’d have a more reliable human method)