I'm a distributed systems & infrastructure developer who is interested in exploring digital security, privacy awareness, more reliable methods of delivering correct software or systems, and scaling all types of systems. I currently employ various polymorphic techniques, parametricity and referential transparency in my day job to reason about software. I'm experimenting with practical applications of refinement, dependent, linear types to improve correctness without incurring cognitive overload.
@SusanPotter 🍍🍍🍍 😎
@SusanPotter O HAI FROND
@SusanPotter hey, welcome there!
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!