➡️
继续阅读
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
从Java 21到Java 25：虚拟线程如何追上并超越事件循环方案
Jactl基准测试显示，Java 21上Vert.x事件循环吞吐量比虚拟线程高2.5倍，而Java 25上虚拟线程反超。差异源于虚拟线程挂载开销及调度器优...
-
Kimi K3 模型结构（6）：输入端与零件，MoonViT-V2、MTP、Per-Head Muon
Kimi K3模型采用从零训练的MoonViT-V2视觉编码器，27层、patch14结构，支持高分辨率图像token化；MTP层预训练后微调为EAGLE...
-
EP224：MCP与RAG及AI代理的对比
An AI agent is kind of an AI system where the agent performs the task autonom...
-
Kimi K3 模型结构（5）：宽度维度，Stable LatentMoE
Kimi K3模型采用Stable LatentMoE作为FFN，基于NVIDIA LatentMoE改进，将输入压缩至半宽latent空间，增加RMSN...
-
Claude Fable 5.1 对比 Fable 5：在实际工作中，我无法区分它们。
Anthropic launched Claude Fable 5.1 this week, calling it “our most advanced ...
