Lately been deep diving into linear algebra. And a way which i engage with it is that I tell AI to generate interactive examples + questions on Lean or Haskell. Its so fun, just deriving the intuition in these languages.
Crazy progress. I wonder how institutional academia would adjust with this. Now its more apparent than ever that the prestige and honour system in academia is having shaky foundations