i'm a lead developer of zeronet-conservancy (and its future successor , riza) , peer-to-peer web alternative aimed to be censorship-resistant , privacy oriented and fully controlled by user i make libre culture pieces in mediums ranging from ultra-short text form to musical videos , building upon libre and public domain culture and taking inspiration from the avant-garde . i'm interested in type theory in general and HoTT & cubical in particular (usually via Agda programming language/proof assistant) and especially in their application to real world tasks my music is available on https://caryoscelus.bandcamp.com and videos on https://tube.tchncs.de/a/caryoscelus/ you can contact me on matrix (@caryoscelus : matrix dot org) or by email (caryoscelus at gmx dot com)