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 😊

Interests

🎥 Multimedia, WebRTC
⚙️ Embedded systems, OSDev
🔬 Forensics, reverse engineering
📠 Network
📡 Radio (SDR, signal processing)
👩‍🏫 Formal verification, proof assistants
🎨 Graphics programming (a bit)

Favorite languages

Typescript, Haskell, Python, Rust, C++, Agda