共计 12 篇文章
2024
如何形式化验证一场技术面试
如何浪费青春
2023
写给一般计算机人的Lean4安利
统计力学笔记
海森堡方程
类型体操指北 (Haskell)
热力学笔记
二次量子化笔记
量子力学
理论力学笔记