➡️
继续阅读
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
从Java 21到Java 25：虚拟线程如何追上并超越事件循环方案
Jactl基准测试显示，Java 21上Vert.x事件循环吞吐量比虚拟线程高2.5倍，而Java 25上虚拟线程反超。差异源于虚拟线程挂载开销及调度器优...
-
Kimi K3 模型结构（4）：深度维度，Attention Residuals
本文解析Kimi K3模型中的Attention Residuals（注意力残差）结构。该机制将残差连接视为深度方向上的RNN，通过可学习伪query对e...
-
Kimi K3 模型结构（0）：一张图看懂 Kimi K3
Kimi K3是2.78T参数、104.2B激活的93层MoE模型，支持1M上下文及图像视频输入。其结构创新分三方面：序列用KDA与Gated MLA混合...
-
入蜀记 day467 小小的真理
文章记录了作者在成都的日常生活与思考，包括买菜、阅读、观看农业节目等。作者反思实践的重要性，感叹农业的脆弱与科技应对天灾的局限，并讨论文化个体化趋势、地震...
-
入蜀记 day466 近谿
作者在2026年9月的日记中记录了梦境中与老同学重逢的喜悦，反思了苏轼等古人思想被忽视的现象，分享了使用AI工具优化工作流程的体验，并强调了真实生活不可被...
