➡️
继续阅读
-
系统设计两种抽象:Java藏细节 TLA+砍细节 根本两码事!
本文区分系统设计中两种抽象:模块化抽象(如Java)通过隐藏内部细节简化使用,建模抽象(如TLA+)通过削减无关信息提炼核心以精确推理。前者隐藏并发,后者...
-
如何选择 RTC 推流的编码格式?
本文探讨RTC推流编码格式选择,指出H.264兼容性最广,适合作为默认格式;H.265节省带宽但兼容性差;VP8适用于WebRTC;AV1尚未普及。音频方...
-
如何构建默认安全的AI编码代理
Anaconda工程副总裁Greg Jennings探讨构建安全默认的AI编码代理,强调提示词不应作为严格安全护栏,并分享通过战略收购保障AI软件供应链安全的方法。
-
CD sales are booming as physical media continues its resurgence
According to the Recording Industry Association of America (RIAA), CD sales e...
-
Kimi K3 模型结构(7):结构决定系统
本文总结Kimi K3模型结构对训练与推理系统的影响。KDA采用三种执行形态(FlashKDA、设备内上下文并行、状态回滚)处理固定大小状态;上下文并行通...
-
Kimi K3 模型结构(6):输入端与零件,MoonViT-V2、MTP、Per-Head Muon
Kimi K3模型采用从零训练的MoonViT-V2视觉编码器,27层、patch14结构,支持高分辨率图像token化;MTP层预训练后微调为EAGLE...