技术社区博客园首页
P14686 [ICPC 2025 Yokohama R] Charity Raffle 喂饭式详解 - MrTourist
【摘要】这两天讲的计数给我写爽了。 P14686 [ICPC 2025 Yokohama R] Charity Raffle 这题是个人物，不简单。 考虑这样一个模型，\(f {n, m, k}\) 表示 \(n\) 个非负整数数，和为 \(k\)，最大值不超过 \(m\) 的总方案数，这个问题有一个拓展的 阅读全文
AI 资讯
跟进 AI 的项目、产品与讨论
已同步 1463 条公开资讯，来源和发布时间保留在每条记录中。
AIGOOD 已同步公开来源；每条资讯详情保留来源和原文链接。
技术社区博客园首页
行为树与Nav2中的行为树 - 凪风sama
【摘要】上面是标题～-～ 行为树 行为树是一种形式化的图形建模语言，由Dromey于2001年首次提出，通过树结构和形式语义将自然语言需求转化为可执行系统模型，用于解决大规模系统中需求的模糊性、冗余性及短期记忆过载问题。以上摘自百度百科。 行为树，顾名思义，就是通过树形结构去描述和控制系统的行为流程。不同于 阅读全文
技术社区博客园首页
OctaFuse Gateway 2.13.0：供应商折扣计价、路由快速测试与用量分析升级 - 程序猿DD
【摘要】供应商推出限时折扣，要调整价格，还得记住活动什么时候结束；路由改了模型名或请求头，想先试通再保存；费用涨了、响应慢了，又需要找到具体的模型或供应商。 OctaFuse Gateway 2.13.0 围绕这些日常操作做了三项升级：供应商折扣可以按有效期和时段生效，路由可以在保存前直接测试，用量分析也更 阅读全文
技术社区博客园首页
Pybox使用教程 - 浮光之掠影
【摘要】一、PyBox 是什么？ 想象这样一个场景：你突然想做一个抽奖小程序、一个桌面宠物、或者一个谁是卧底发牌器——但你不会写代码，或者懒得搭环境。PyBox 就是那个帮你「一句话生成应用、一键启动运行」的魔法盒子。 它是一个桌面容器平台，内置了 Python 运行环境和 AI 助手。你不需要安装 Pyt 阅读全文
技术社区博客园首页
AI前端调试员上岗：用Chrome DevTools MCP让Agent自己看控制台和性能面板 - 懒芽芽
【摘要】前端开发最烦的三件事 第一，控制台报红，但你不知道是哪个组件报的。 第二，页面卡，但你不知道是渲染卡还是接口慢。 第三，改了一个样式，想看看效果对不对，来回切浏览器和编辑器。 这三件事有一个共同点：你需要“看”浏览器，但你的人不在浏览器里。 你在 IDE 里写代码，然后切到浏览器看效果，发现有问题， 阅读全文
技术社区博客园首页
Codex解决新模型无法使用/model选择的问题 - xuhe2
【摘要】TLDR codex debug models --bundled /root/.codex/model-catalog.json python -m json.tool /root/.codex/model-catalog.json /dev/null 然后在 /root/.codex/c 阅读全文
技术社区博客园首页
VeriHarness 拆解：多数投票为何会掩盖错误 - frankzch
【摘要】一个没有答案 key 的难题 智能体跑完一个几十步的长任务，交出一份表格、一份报告或改好的文件，谁来判定它对不对？短问答可以靠标准答案或单元测试，但长任务的交付物往往没法写成断言：一个财务比率可能取错了年份，一份报告可能引用了已失效的来源，而且这些错误通常藏在"看起来很正常"的成品里。 谷歌云 AI 阅读全文
技术社区博客园首页
你的记忆系统可能在删「从未被检索过的金子」：因果干预让记忆效用可识别 - buddyme智能助手
【摘要】记忆增强智能体按「对任务的效果」决定留哪条记忆——但效果估计完全依赖「被检索到」。从未被检索的记忆，删了和留着结果一模一样，它的真实效用永远无法被现有方法识别。这篇论文用因果干预框架解决这个「检索层正性违反」：对检索动手而非对存储动手，让每条记忆的效用变得可识别。 arXiv · 2026-10-0 阅读全文
技术社区博客园首页
AI 啃 DWG图纸：从二维到三维 - 我才是银古
【摘要】让大模型读懂 CAD 图纸，是"AI + 工程数据"里最硬的一块骨头之一。本文不谈具体业务，只讲一个纯技术命题：给定一套二维 DWG 图纸，让 AI 理解它、重建三维结构，并由参数驱动重新生成二维图。把这条链路上试过的四条路线、踩过的坑和最后沉淀下来的方法论写出来，供做同类问题的人参考。 一、问题抽 阅读全文
技术社区Ruby China
DHH 用 AI 在多种语言上重写 Campfire，争议巨大
然后在 reddit 上被喷惨了，比如 go 居然被 rust 拉开十倍，比如不用各语言生态而去大量自行实现，甚至 为了遵循“兼容 rails”的指令，非要把 rails 的 api 重写到对应语言 ，再比如 elixir 的 db 操作 没有连接池，而是全部串行
技术社区博客园首页
把 AI Agent 养在自己电脑上：从本地部署到远程接管的一份完整思路 - codigger
【摘要】一、为什么越来越多人把 Agent 搬回自己电脑 这两年 AI Agent 的形态发生了实质变化：它不再只是"问一句、答一句"的聊天框，而是能自主规划步骤、连续调用工具、读写本地文件、执行终端命令的执行体。一个代码重构任务跑半小时、一批文档整理跑一晚上，已经是很日常的使用方式。 任务形态变了，部署位 阅读全文
技术社区InfoQ 中文
AI + SRE ≠ AISRE：AI 如何真正进入生产运维闭环｜QCon上海
点击查看原文
技术社区开源中国
AuthX 正式更名 GrantForge：我们重新做了一遍权限管理系统
做开源项目有时候最难的，不是增加一个功能。 而是你做到某个阶段以后，突然意识到： 原来的架构，已经装不下你真正想做的东西了。 AuthX 就经历了这样一个阶段。 最开始，我们希望它能够解决最常见的用户、角色、菜单、按钮、API 权限问题。 但随着功能不断增加，我们开始越来越频繁地面对一些问题： 一个用户拥有多个角...
技术社区开源中国
Termexo v0.10.10 发布：19 个本地 MCP 工具，五种编程 Agent 自动接入
AI 生成概念图，非产品界面。 MIT 开源的 Windows AI 编程工作台 Termexo 发布 v0.10.10。新版把终端、任务和部分设置开放为 19 个本地 MCP 工具，并支持在 Termexo 新启动的 Claude Code、Codex、OpenCode、Grok Build 和 Antigravity 终端中自动添加连接。 工作台能力作为工具开放 Agent 可以查询工作区和终端，读取指...
技术社区Solidot
科学家识别出三种叫声最响亮的鸟
生物学家在巴西识别出三种叫声最响亮的鸟。至于这些鸟如何演化出最响亮的叫声则仍然是个迷。白钟雀（white bellbird）叫声能达到 125 分贝，裸喉钟雀（bare-throated bellbird）和红腿叫鹤（red-legged seriema）叫声都超过 120 分贝。三种鸟类有着共同的生理特征：即宽大的喙口和肌肉厚实的大块头身体。研究人员表示，120 分贝可能是鸟类发声的生理极限；巴西之外的地方无疑也存在叫声洪亮的鸟类，但其音量不太可能比这些鸟高出太多。根据精确的测量标准，这三种鸟都可以被视为叫声最…
技术社区Solidot
因涌入大量 AI 报告 Google 冻结其 Bug 悬赏计划
因涌入大量无效的 AI bug 报告，Google 宣布冻结其 Bug 悬赏计划 Open Source Software Vulnerability Reward Program (OSS VRP)，该决定于 10 月 1 日生效。Google 承诺将于 2027 年第一季度提供相关更新，期间将对该项目进行调整。Google 鼓励参与者探索其它 bug 奖励计划。大模型以及 Bug 搜寻自动化脚本的流行，导致了 OSS VRP 项目涌入了大量低质量的报告，Google 和开源项目维护者因此不堪重负，很多报告声称…
技术社区Solidot
2026 年诺贝尔生理学或医学奖授予了三位研究光遗传学的科学家
2026 年诺贝尔生理学或医学奖授予了美国斯坦福-霍华德·休斯医学研究所的 Karl Deisseroth、德国柏林洪堡大学的 Peter Hegemann 和维尔茨堡大学的 Georg Nagel，以表彰他们在光门控离子通道和光遗传学方面的发现。大脑如何掌管情感、行为和身体功能，长期以来一直是个谜。20世纪，研究人员开始探究大脑的哪些区域影响哪些功能，但所用的方法意味着他们无法证明因果关系。光遗传学——一种能揭示神经细胞如何在活体大脑中塑造记忆、情感和行为的方法——改变了这一状况。Peter Hegemann…
技术社区Solidot
Riot Games 否认根据 CPU 封禁玩家
一位玩家声称在购买了一块二手 CPU Ryzen 7 5800X3D 之后，因前拥有者有作弊行为这块 CPU 被列入了封禁黑名单，导致 Riot Games 旗下的所有游戏都无法启动。Riot Games 工作室负责反作弊的高管 Phillip Koskinas 通过社交媒体否认了这一说法， 他称没有找到相关记录，该公司的硬件封禁最长持续四个月，且只针对特定游戏，不会波及该公司的其它游戏，不会因为作弊者使用了一个硬件组件就将其它硬件组件加入到封禁名单。
技术社区博客园首页
Rust 1.99 更新了什么？一个新手视角的升级前后对比 - 付威的网络博客
【摘要】照着教程写 Rust，最容易卡住的地方不是语法，是这一行： error[E0658]: use of unstable library feature fs set times 代码抄得没错，教程也没错，只是那个 API 在当时的稳定版里还没开放。新手很难判断这是自己写错了，还是版本不对，只能一 阅读全文
技术社区博客园首页
Agent Loop：AI 是怎么从"一句一答"进化成"自己干活"的 - Tomorrowland D
【摘要】Agent Loop：AI 是怎么从"一句一答"进化成"自己干活"的 如果只用一个概念来解释"Agent 和普通聊天机器人到底差在哪"，我的答案会是 Agent Loop。这篇文章想用最通俗的方式，把它讲清楚。 一个"一句一答"解决不了的问题 你跟 ChatGPT、DeepSeek 聊天的时候，交互 阅读全文