Wax:无需服务器的 AI 记忆库,单文件实现亚毫秒级本地 RAG
Wax 是一款专为 Apple Silicon 设计的开源工具,旨在成为“AI 记忆的 SQLite”。它成功将完整的 RAG(检索增强生成)技术栈——包括向量索引、全文搜索、元数据及崩溃恢复机制——压缩进单个 `.mv2s` 文件中。该项...
Wax 是一款专为 Apple Silicon 设计的开源工具,旨在成为“AI 记忆的 SQLite”。它成功将完整的 RAG(检索增强生成)技术栈——包括向量索引、全文搜索、元数据及崩溃恢复机制——压缩进单个 `.mv2s` 文件中。该项...
知名 Linux 发行版 Gentoo 宣布正式入驻代码托管平台 Codeberg,开发者现可通过该平台提交代码贡献,以此作为 GitHub 的替代选项。这一举措是 Gentoo 响应 2025 年底总结中提出的“逐步撤离 GitHub”计...

官方 Claude Code 又涨价又 KYC,封号了还得自己重新折腾环境?ReClaude 拼车了解一下——200 / 400 / 800 / 1600 四档随便挑,账号、风控、切换全平台托管,触发风控自动换号不计次。本地 daemon 三行命令装好,Claude Code / Codex / Cursor / MCP 原来怎么用还怎么用。我自己跑 4 人车那档,性价比最平衡。
Anthropic发布迄今最强Sonnet模型4.6,全面升级编程、计算机操控及智能体规划能力,支持100万token上下文。该模型性能已逼近旗舰级Opus 4.5,但定价维持不变,性价比极高。早期评测显示,其在代码修复、复杂表格处理及多步...
Continue是一款创新的开发者工具,它将AI代码审查无缝集成到GitHub的CI流程中。用户只需在代码仓库中添加Markdown文件定义检查规则,Continue便会在每次PR提交时自动运行,并将结果作为状态检查反馈:代码合格显示绿色,...
mage-bench 是一个基于开源平台 XMage 的创新项目,旨在让大语言模型(LLM)在虚拟桌面上通过《万智牌》进行对抗。该项目打破了以往AI玩棋类游戏的简化模式,坚持使用完整的游戏规则,涵盖了指挥官、标准、摩登和特选等多种复杂赛制。...
作者Cees de Groot推出了新书《The Genius Of Lisp》,深入探讨了计算史上最具影响力的编程语言之一——Lisp的发展历史。该书不仅是技术编年史,更被誉为学术杰作,涵盖了该语言在早期AI研究中的核心地位。书中提供了配...
VectorWare宣布在GPU上成功运行Rust的Future trait和async/await语法。传统GPU编程依赖数据并行或手动管理Warp,既困难又易错;而现有的JAX、Triton等方案则需要学习特定的DSL。VectorWa...
本文探讨了现代国际象棋引擎(如lc0)采用的非常规训练技术,揭示了其与大模型(LLM)研究的深刻联系。文章指出,一旦具备强大搜索能力的引擎存在,昂贵的强化学习(RL)训练可被“蒸馏”替代,验证了搜索算力的极高价值。更具启发的是,利用SPSA...
HackMyClaw 是一项极具教育意义的 AI 安全实战挑战,旨在揭示大语言模型(LLM)在现实应用场景中的安全漏洞。玩家需要通过电子邮件向名为 Fiu 的 AI 助手发送内容,尝试利用“间接提示词注入”技术,诱导该 AI 违背指令并泄露...
近日,有技术社区用户爆料称,在二手交易市场(如闲鱼)购买所谓的“Claude Code 4.6”中转服务时,遭遇了严重的“货不对板”问题。据反馈,部分商家利用信息差,将后台实际请求路由至成本更低的智谱GLM-4.7等国产模型,以此通过差价牟...
Anthropic 正式推出 Claude Sonnet 4.6 模型,宣布对模型核心技能进行全方位升级。此次更新重点强化了编码效率、计算机交互操作、长文本推理能力以及最为关键的智能体规划功能,旨在显著提升知识工作和设计类任务的处理质量。值...
本文深入剖析了 AI 编码工具 oh-my-opencode 的多智能体集群架构设计。该系统通过将复杂的编程任务拆解为规划、检索与执行三个维度,利用 Sisyphus(主控)、Prometheus(战略规划)、Hephaestus(长周期执...
据社区反馈,Google 似乎已对 Gemini 3.1 Pro 开启了灰度测试。用户无需切换模型,只需使用特定的“Needle”(大海捞针)测试提示词即可验证。数据显示,旧版 Gemini 3.0 Pro Preview 在该测试中的得分...
本文提出了“语义消融”(Semantic Ablation)这一概念,深刻剖析了AI写作变得平庸、乏味甚至危险的根源。与产生虚假信息的“幻觉”不同,语义消融是指算法为了追求统计概率最大化,在RLHF(人类反馈强化学习)的作用下,系统性地剥离...
一位技术博主模拟了游戏《弥留之际的爱丽丝》中的天平游戏,让Qwen-3.5、GLM-4、Kimi、豆包及DS-3.2五款主流AI大模型进行厮杀。在激烈的博弈对局中,Qwen-3.5表现最为惊艳,在决胜局通过精确计算各种可能性,成功预判并利用...
近日,科技社区 Linux.do 有用户分享了 Grok 4.20 Beta 的实测表现。在测试中,用户仅要求查询表格中开源模型的参数规模,Grok 不仅准确识别了所有模型的参数量,更令人惊喜的是,它在未被明确指示的情况下,主动挖掘出了该表...
据科技社区用户反馈,Grok最新版本在搜索能力上取得重大突破,其引入的Multi-Agent(多智能体)协同能力备受瞩目。实测显示,新版Grok在处理复杂搜索任务时速度更快、准确率显著提高,能够一次性解决此前GPT-4思维链模型及其他大模型...
文章探讨了一个当前AI开发领域的热门痛点:如何结合不同大模型的优势以构建更高效的Agent。作者通过实际体验指出,Claude模型在任务规划能力上表现优异,而Codex(代指代码生成类模型)在具体编写代码方面更胜一筹。然而,受限于两者不同的...
本文介绍了一种在SQLite中实现混合语义搜索的创新方案。作者通过编写C语言扩展,引入汉明距离函数来计算二进制嵌入向量的相似度,成功将FTS5全文搜索(BM25)与语义检索相结合。在Apple M4芯片上的实测显示,利用现代CPU的popc...
EasyClaw 推出了一款专为 Windows 用户设计的 OpenClaw 封装工具,主打“零配置”与一键安装。不同于传统的 AI Agent 项目需要复杂的 Docker 或 Python 环境,EasyClaw 极大地降低了技术门槛...