I am an undergrad majoring in Mathematics and Computer Science. My focus is mainly on "pure" math and theoretical CS, though I try to dabble in a vast area of subjects.
My languages of choice (as of writing) are Rust, Lean, and Python.
I'm firmly against the widespread use of LLMs and Generative AI in the modern day, especially in the areas of Mathematics and Programming. I will not permit any use of Generative AI or LLMs in any of my repositories, this is a blanket one-strike policy.