I'm Windy.
I'm currently studying machine learning, high-performance computing, and optimized systems.
- ๐ฉโ๐ป I'm currently working on: Lightweight machine learning model architectures, dynamic routing mechanisms, and speech enhancement 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 architectures, and deploying local LLMs.
- ๐ฎ In my free time: I manage server environments for a Minecraft community, play chess on a regular basis, and study music theory and digital composition.
- ๐ต I'm listening to: Baroque music.
- ๐ซ How to reach me: E-mail me at xingboni@hotmail.com
