I am a computer science student with a deep passion for systems programming, compilers, image, and graphics programming. I focus on exploring the intersections of low-level performance, memory safety, and hardware abstraction layers.
I am currently designing and implementing an experimental programming language featuring a compile-time borrow checker. The core goal of the project is to achieve rigorous memory safety while being significantly less limiting than existing solutions like Rust, allowing for more expressive and flexible aliasing patterns without sacrificing safety guarantees.