大二能去 Jane Street 也太强了，膜拜，见过很多清北的大佬也都过不了 Jane Street 的简历关。
不过这对 po 主来说不也是好事，也许能找队友给个给个内推 🤔

大语言模型 Large Language Model

被铁拳砸了就老实了

Type Theory 是很小众的领域，其实在全球范围内研究的人也不多，所以视频课程相对少很多。想要入门可以先从学习简单的定理证明器（PA）开始，比如 Agda, Idris, Coq 还有现在很潮的 Lean4.
对 PA 相对了解之后可以看一些类型论基础读物，推荐下面两本：

• Type Theory and Formal Proof
• Homotopy Type Theory

在这之后可以找一些对口领域的论文读读。

前文 @Soyo34325 提到的 IDEA 实习生来冒个泡~

看到交大有同学对 MoonBit 有兴趣挺欣慰的，目前游戏赛道人还不多，大家都有机会，已支持 😉

顺带一提，其实「 汪汪立功」是我朋友，同时也是 MoonBit Core 核心贡献者之一，很早就开始在社区活跃了。