Hi! I'm an open source developer looking for new things to learn, challenges and low-level stuff. π³οΈβπ Soft, polyam, trans and very shy, but I like meeting new people π
π₯ Multimedia, WebRTC
βοΈ Embedded systems, OSDev
π¬ Forensics, reverse engineering
π Network
π‘ Radio (SDR, signal processing)
π©βπ« Formal verification, proof assistants
π¨ Graphics programming (a bit)
Typescript, Haskell, Python, Rust, C++, Agda