这里是 StellarY，现在就读于北京大学信息科学技术学院，信息与计算科学专业（本科一年级）。
Research interest 未定，publication 暂无，希望以后能有拿得出手的东西。（樂
这个博客主要拿来做平时点科技树的记录，发考试前的复习笔记，写一些平时遇到的杂七杂八的问题。虽然感觉没人会来看，但是还是装模做样开一个评论系统。
下面学过和想学的东西内行看起来可能比较搞笑，图一乐就好。
Projects (in progress)
- [Basic] 数理逻辑 3/9（Link）
Projects (in queue)
- [Basic] Category Theory（~ for Programmers）
[Programming Laguage] PLFA因为选了 Coq 版的课程「软件科学基础」，所以不学了。- [Basic] 抽象代数学
[Engineering] OOP必修课「程序设计实习」有所涉及。- [Engineering] C++ 函数式编程
[Engineering] Rust旁听课程
Projects (finished)
- [Mar 19, 2024] [Basic] Tensor Analysis（Link）最后一章除了微分几何初步之外被高数课 Cover 了，微分几何学不懂。
- [Jan 17, 2024] [Basic] Information and Entropy（Link，到第 8 章为止，后面的统计力学不想看了。一些通信和信息论相关的东西。感觉学的比较皮毛，后面可能会去看 Mathematical Theory of Communication 原书）
- [Jan 10, 2024] 大一上学期课程（信息科学中的物理学（力学） | 信息科学中的物理学（热学） | 线性代数 A | 高等数学 A）
- [Nov 20, 2023] [AI, Python] CS50’s Introduction to Artificial Intelligence with Python（学这个的时候还没有这个博客，所以什么都没写）