【教程】Julia IntelliJ 安装教程，英文版
【自制 IDE】上次的视频的中文讲解版
【自制 IDE】自己写的编程语言的 IDE 的视频展示，正式版
【技术分享】IntelliJ的代码分析的基础架构是怎样的？
IntelliJ Aya 功能简单演示
十年Linux，百年Emacs
【IntelliJ】Pest插件的实时高亮正式版，提高稳定性，视觉效果非常爽
【演示】Agda的Emacs插件的Auto功能演示
【IntelliJ】Pest插件的实时高亮（还未完工，有非常多的bug）
【演示】使用Agda的Emacs插件进行交互式的定理证明
Julia用户小聚中关于Julia IDE的介绍录屏
上科大类型论讲座（类型论的动机和模型）
【英文打分】Hajime 22 分交叉纵，内含恶狠狠上下晕船
为什么程序员都说：代码能跑，就千万别碰！
2026最新！超详细Python下载安装教程+PyCharm下载安装教程（新手一条龙教程，小白必看！）Python安装！PyCharm安装！
Aya 编程语言特性展示：重叠模式匹配、基础代码编辑功能
你绝对猜不到，黑客最爱攻击家里哪个电器
Android Studio 2.0 Stable版本的新特性
PL Talk 002 无类型 LC 和它的范畴模型
【教程】Agda的Emacs模式使用，证明自然数的加法交换律
