I'm a student majoring in Math and Computer Science at the University of Wisconsin-Madison. I learned how to program long before LLMs came around if that means anything to you. At the moment I've been diving deeper into Type Theory.
You can contact me at wcram 'at' wisc 'dot' edu; I'll try to get back to you within a day or two.

Here's a list of some things I'm interested in:

• Math
  • Model Theory and Universal Algebra
  • Computability Theory
  • Category Theory (cliche, I know)
  • Type Theory
• Computer Science
  • Functional Programming
  • PLT (More specifically, expressing more things with types)
  • Distributed Systems
• Other
  • Quantum Computers
  • Japanese and Russian languages
  • Running, Skiing, Hiking