I'm a student majoring in Math and Computer Science at the University of Wisconsin-Madison. This summer, I'm interning at AWS. 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)
• Computer Science
  • Distributed Systems
  • Compilers
  • PLT
• Other
  • Physics
  • Japanese and Russian languages

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 the rest 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. Furthermore, now that LLMs serve as a personal tutor, the traditional barriers to self-teaching are lower than ever. In an ideal world, students would learn via a good text and a dialogue with an LLM, while solving many problems socratically. If the pacing is tuned appropriately, there would be almost no need for exams or even discrete boundaries between courses.
• Since market prices are a (slightly lossy) mechanism for signalling supply, demand, and risk, a lossless signal would correspond to a perfect market where all present and future states of the world are known to all participants. If we take the thermodynamic view of entropy, this would correspond to the heat death of an economy, since no rational actor would have an incentive to trade. As our statistical models of the world become increasingly accurate, we can expect to see the price of anything converge to its "true" value in some platonic sense. All this to say, maybe the alchemists were right?