【教程】Julia IntelliJ 安装教程，英文版
十年Linux，百年Emacs
【自制 IDE】上次的视频的中文讲解版
【自制 IDE】自己写的编程语言的 IDE 的视频展示，正式版
【技术分享】IntelliJ的代码分析的基础架构是怎样的？
【IntelliJ】Pest插件的实时高亮（还未完工，有非常多的bug）
Julia用户小聚中关于Julia IDE的介绍录屏
IntelliJ Aya 功能简单演示
【演示】Agda的Emacs插件的Auto功能演示
【IntelliJ】Pest插件的实时高亮正式版，提高稳定性，视觉效果非常爽
【演示】使用Agda的Emacs插件进行交互式的定理证明
为什么程序员都说：代码能跑，就千万别碰！
一行代码也叫网站？HTML新手村！｜网站建设第1课
【教程】Agda的Emacs模式使用，证明自然数的加法交换律
Android Studio 2.0 Stable版本的新特性
【整整648集】清华大佬竟把C/C++讲的如此通俗易懂（2026最新版）连草履虫都能听懂！这么好的课程还没人看？我不更了！！
Aya 语言也可以写类似 cooltt/redtt 里面那种 extension type 哦！
[搬运]Creating your first language in JetBrains MPS
【AnythingLLM】本地知识库AnythingLLM安装与配置+接口调用API，超详细教程，零基础小白也能轻松学会
为啥现在的黑客都快变成濒危物种了？
