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.

· · Web · 0 · 0 · 3
Sign in to participate in the conversation

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!