「工具检索」共找到 2115 篇相关文章
微软介绍了 TypeScript 7 的更新
微软分享 TypeScript 7 最新进展，披露用 Go 重写编译器计划，构建速度最高提 10 倍，降低内存占用。默认启用严格模式，是不兼容变更。开发者看法不一，有人赞性能提升，有人忧工具迁移。
给大家看看，2025年用AI开会的新姿势。
作者回顾用AI开会的旧方式，指出2025年用飞书开会有新变化。会议纪要可视化，图文并茂、按进度分类，还纳入重要图片；搭配知识问答功能，会议信息成企业知识库，检索方便。
一站式机器人操作控制框架ManiUniCon
ManiUniCon是多进程机器人控制框架，为操作任务设计。有模块化设计、多机器人支持等特性，介绍了架构、支持的硬件、安装方法、使用方式、开发途径及可用工具等内容。
OpenAI「解决」10道数学难题？哈萨比斯直呼「尴尬」，LeCun辛辣点评
OpenAI研究员宣称GPT - 5「发现」10个悬赏数学难题的解决方法，舆论误以为是解题方法，后发现只是检索到已有文献，引发学界大佬群嘲和对AI夸大宣传的讨论。
谷歌成立AI基金，为初创公司提供技术、资金
谷歌宣布推出AI Futures Fund，旨在投资运用DeepMind AI工具的初创企业，提供技术、资金支持，如提前接触模型、专家指导、云服务积分和直接投资等，未透露基金规模。
AI 增强截图项目，爽歪歪~
日常截图后手动处理文字、公式、表格耗时又易出错。开源项目`Snippai`将截图与智能分析融合，是跨平台智能截图工具，能自动识别内容类型并处理，有多种功能，安装使用简单。
轻量高效，即插即用：Video-RAG为长视频理解带来新范式
现有视觉语言模型处理长视频面临诸多难题，厦门大学等联合提出轻量高效、无需微调的 Video-RAG 框架，采用多模态辅助文本检索增强生成，解决长视频理解问题，适用于多场景。
继火爆全网的MCP后，Anthropic 推出全新整合功能，Claude再添连接利器
继MCP后，Anthropic推出全新Integrations功能，使Claude能与各种工具和应用无缝连接，提升协作能力，其研究能力也得到增强，新功能在部分计划测试，将惠及更多用户，助力高效完成任务。
Screen Studio的开源免费替代品，自媒体必备的录屏神器，MIT协议可商用。
文章推荐开源屏幕录制工具OpenScreen，它是Screen Studio平替，虽未覆盖全部功能，但基础功能完善，支持双系统，有诸多实用功能，且遵循MIT协议可商用。
OpenAI深夜甩出GPT-5.1，称更热情，更智能！网友狂吐槽：我不想和它聊天，只想用它工作
OpenAI发布GPT-5.1，包括Instant和Thinking两个版本，称更智能、对话更愉快，还增加“个性/语气”选项。但网友质疑“强化个性”方向，想要高效工具而非“虚拟朋友”。