I'm Windy.
I'm a researcher and developer focused on machine learning, high-performance computing, and building optimized systems.
- 👩💻 I'm currently working on: Lightweight machine learning model architectures, dynamic routing mechanisms, and hidden-state transport for RNNs using PyTorch and Triton. I am also developing a custom AI personality agent named Renka.
- 🌱 I’m currently exploring: Formal verification and functional programming with Lean, Haskell, and Rust.
- ⚙️ I regularly tinker with: Remote Linux server management, GPU resource allocation, and deploying local LLMs (like Gemma 4 31B via Ollama).
- 🎮 In my free time: I manage server environments and manipulate NBT data for the NMO Minecraft community, analyze competitive chess engine evaluations, and study formal music theory and digital composition.
- 🎵 I'm listening to: Baroque music.
- 📫 How to reach me: E-mail me at xingboni@hotmail.com