➡️
继续阅读
-
系统设计两种抽象:Java藏细节 TLA+砍细节 根本两码事!
本文区分系统设计中两种抽象:模块化抽象(如Java)通过隐藏内部细节简化使用,建模抽象(如TLA+)通过削减无关信息提炼核心以精确推理。前者隐藏并发,后者...
-
如何选择 RTC 推流的编码格式?
本文探讨RTC推流编码格式选择,指出H.264兼容性最广,适合作为默认格式;H.265节省带宽但兼容性差;VP8适用于WebRTC;AV1尚未普及。音频方...
-
如何构建默认安全的AI编码代理
Anaconda工程副总裁Greg Jennings探讨构建安全默认的AI编码代理,强调提示词不应作为严格安全护栏,并分享通过战略收购保障AI软件供应链安全的方法。
-
Kimi K3 模型结构(1):序列维度(上),从线性注意力到 KDA
本文介绍Kimi K3模型中KDA(Kimi Delta Attention)的递推形式,从线性注意力、DeltaNet到Gated DeltaNet演进...
-
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混合...