➡️
继续阅读
-
Virae 项目的最新进展和困境
项目Virae预测市场模拟盘交易大赛推迟两周后启动，但新增的Guide模式仍无用户使用。团队转向DM KOL策略，计划两周联系500个KOL，已完成近40...
-
WinToastRelay：将 Windows 系统通知转发到手机｜Codex 跑完，手机会叫你
WinToastRelay是一款开源工具，可将Windows系统通知实时转发到手机（如Bark、WxPusher等）。用户无需守在电脑前，即可通过手机接收...
-
DeepSeek-V4 模型结构（7）：结构决定系统
DeepSeek-V4模型采用混合压缩注意力（mHC），将KV缓存分为状态缓存和分页缓存，分别管理滑窗KV与压缩条目。上下文并行通过点对点通信和all-g...
-
Kimi K3 模型结构（7）：结构决定系统
本文总结Kimi K3模型结构对训练与推理系统的影响。KDA采用三种执行形态（FlashKDA、设备内上下文并行、状态回滚）处理固定大小状态；上下文并行通...
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
OpenAI会卖给你Astra，但不会卖给你在ARC-AGI-3上得分98.6%的那套系统
文章探讨了AI模型评测中“框架工程”（harness）的关键作用。以GPT-6 Astra为例，同一模型在不同评测框架下得分差异显著（62.7%对98.6...
