Zontasticality

Hi, I'm Zon. Nice to meet ya!

Things I am interested and relatively knowledgeable in in:

• Decentralizing the Internet
  • Network Coordinate Systems
    • Internet Models
  • Peer-to-peer file sharing
    • BitTorrent
    • InterPlanetary File System
  • Consensus mechanisms
    • Federated Byzantine Agreement / Stellar Consensus Protocol
• Creating a Universal Programming Language With:
  • Multiple inter-translatable dialects
  • A type theory that can formalize any mathematical construct
  • An inference engine that can generate terms (programs/proofs) given an arbitrary type
  • An optimizer combining JIT and AOT approaches suitable for all targets and dev workflows
• Current Languages: Rust 🦀, Lean, NixOS ❄
• Fixing Coordination Issues
  • Quadratic voting
  • Continuous Voting Systems
  • Collaborative Research Systems
  • Pigouvian taxes
    • Land value taxes 🔰 (would fix all our problems)
    • Environmental tax
      • Carbon taxes
• Philosophy / Rationalism
  • How to create better models of the world
    • Identifying cognitive errors
    • Bayesianism
  • What to use those models for
    • Meta-ethics
    • Effective altruism (🔸= Giving What We Can 10% pledge)

I'm interested in most things however, so if you see me around, tell me what you're working on :D