Hello! I am Zyan
I think decentralizing the internet (and potentially the world as a whole) in whatever manner possible is the most important problem ever and that we probably need to create formally verified safe AI (a.k.a. a self-optimizing program optimizer, a.k.a a generalized term inference engine) in order to do so. We need this because in order to create a peer-to-peer protocol that is verifiably unhackable and has performance good enough to compete with centralized alternatives, the fastest most flexible path forwards seems to be: 'throw AI at the problem'.
Towards this goal:
I am working to create a decentralized and privacy-respecting Internet.
I am working to create a universal programming language, where the type system is just a library, the parser is also just a library, and self-modifying, and where you can write a program specification and have a general optimizer generate the program.
If you are interested / would like to discuss what I am working on, or you are working on something similar, send me a dm on matrix or discord! :D