Desk

AI 协作制作的讲解视频与调研资料的网页版本。视频页面就是生成视频时逐帧渲染的同一套代码,在浏览器里可以直接播放、拖动(无配音,字幕同步);视频文件本身不放在这里。

方解石 · 两集 + 文档

从钙离子与碳酸根的电子云出发,按实测原子坐标搭出方解石晶体,解释双折射、菱形解理、低硬度、机械孪晶、反向热膨胀、振动光谱、遇酸起泡、热分解与杂质发光。

类型标注 · 两集 + 文档

int n 还是 n: Int:名字携带类型、类型在前(ALGOL → C)、类型在后(Pascal / ML)三条主线;解析歧义、泛型尖括号、推断、动态语言的类型,以及给新语言的设计清单。

代数作用 · 两集 + 文档

可以恢复的异常:从定界续延、单子到 Plotkin 的作用处理器;异常、注入、生成器、协程、回溯的统一写法;作用类型,以及纤程、证据传递、CPS、WasmFX 四种实现。

JIT 与 AOT · 性能上限与成本

V8、Bun、LuaJIT、Rust、LLVM(AOT / ORC JIT / Wasm)在 10 个同算法案例上的峰值、首轮、预热、启动、内存与构建成本,配公开基准与论文。云沙箱实测,只看倍数。

文本与树

代码结构化编辑与代码可视化:五波尝试的得失、对比表、规律与 AI 背景下的判断。三集视频的提纲与调研。

临高启明 · 地图上的八年

1628–1636 年小说中的工程、建筑与航线,卫星图今昔对照。AI 整理,未经逐章核实。

设计规范 · 两集

上集讲心理学原理与方法论,下集讲搭建一套设计规范:颜色、排版、动效、装饰与治理。

图片来源与授权见各页面标注。源码与稿子:github.com/Memkits/desk