➡️
继续阅读
-
系统设计两种抽象:Java藏细节 TLA+砍细节 根本两码事!
本文区分系统设计中两种抽象:模块化抽象(如Java)通过隐藏内部细节简化使用,建模抽象(如TLA+)通过削减无关信息提炼核心以精确推理。前者隐藏并发,后者...
-
smolts:面向教学语言的教学型IDE
作者开发了名为smolts的教学IDE,用于SMoL教学语言,灵感来自Stacker项目。该IDE支持S表达式编程,可逐步执行并可视化显示continua...
-
从Java 21到Java 25:虚拟线程如何追上并超越事件循环方案
Jactl基准测试显示,Java 21上Vert.x事件循环吞吐量比虚拟线程高2.5倍,而Java 25上虚拟线程反超。差异源于虚拟线程挂载开销及调度器优...
-
Kimi K3 模型结构(3):序列维度,Gated MLA 与 3:1 混合
本文介绍Kimi K3模型结构:采用3:1混合,每四层含一层Gated MLA(无位置编码、满秩sigmoid门),其余为KDA层。MLA低秩压缩KV至5...
-
内容创作者失误
美网公开赛上,网红在包厢内喧哗、用闪光灯拍照干扰比赛,引发争议。品牌邀请网红推广活动,但缺乏行为规范,导致负面效果。类似地,Callaway高尔夫因与网红...
-
Kimi K3 模型结构(2):序列维度(下),chunkwise 并行与下界衰减
本文介绍Kimi K3模型序列维度的chunkwise并行算法:将序列分块,块间递推状态、块内用矩阵乘并行计算。K3将每步log-decay加−5下界,使...