Hello! I am Zyansheep
I am a person who thinks 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 the 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 forwards seems to just 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