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




