User:Zyansheep

Hello, I am Zyansheep, resident of the Internet.

Interests

• Decentralization
  • Peer-to-peer protocols
    • Anonymous Routing
    • Network Coordinate Systems
  • Better Social Media
  • Collaborative Truth Systems
• Programming & Math
  • Functional Programming
  • Programming Language Design
    • Category Theory
    • Dependent Type Theory
  • Ray marching
  • Game Design
  • Rust (programming language)
  • NixOS
• Privacy
  • Cryptography
  • Zero-Knowledge Proofs
• Public Policy
  • Better Urban design
    • YIMBY movement
  • Public Transportation
  • Georgism
  • Codified Law
  • Copyright Reform

Projects

I am currently working on a project to build a decentralized internet as well as my own Dependently-typed programming language.