Hello, I am Zyansheep, resident of the Internet.
I am currently working on a project[1] to build a decentralized internet as well as my own Dependently-typed programming language[2].