【教程】Julia IntelliJ 安装教程，英文版
【自制 IDE】上次的视频的中文讲解版
IntelliJ Aya 功能简单演示
【IntelliJ】Pest插件的实时高亮正式版，提高稳定性，视觉效果非常爽
【自制 IDE】自己写的编程语言的 IDE 的视频展示，正式版
【IntelliJ】Pest插件的实时高亮（还未完工，有非常多的bug）
十年Linux，百年Emacs
【英文打分】Hajime 22 分交叉纵，内含恶狠狠上下晕船
Julia用户小聚中关于Julia IDE的介绍录屏
【演示】Agda的Emacs插件的Auto功能演示
Canonical
【技术分享】IntelliJ的代码分析的基础架构是怎样的？
【演示】使用Agda的Emacs插件进行交互式的定理证明
上科大类型论讲座（类型论的动机和模型）
Canonical 编程语言+定理证明器简要介绍
为什么程序员都说：代码能跑，就千万别碰！
Release Aya v0.8
Aya 语言也可以写类似 cooltt/redtt 里面那种 extension type 哦！
【正式版】Idris Developer Meeting 的 Aya 分享
【无脑科学】第31期 互感的小TC（授权自Black_Creeper
