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. This past summer, I worked on observability in Kubernetes clusters at AWS. 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
  • Logic and its families (Substructural, Modal, Intuitionistic)
  • 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

Some food for thought:

• The fact that BB(6) and higher are physically unrealizable in conjunction with the fact that many deep mathematical statements require >5 states to encode their "haltiness" into a Turing Machine indicates that abstraction and changes in perspective are a fundamentally necessary part of truth-seeking.
• By and large, college courses (not all the other parts of college) are a waste of time. A majority of the material can be learned (for free) on one's own time in a more efficient and comprehensive way. I really believe in what Khan Academy and more recently MathAcademy is doing to make this a reality.