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.