OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
15 个来源,69 条候选资讯,整理为 6 个有效分类。
覆盖 15 个来源、69 条候选资讯,形成 6 个有效分类。先看重点,再按主题深入。
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具,用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测,并将运行与打分分离,最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。(AIHOT源:Simon Willison 博客)
欧盟《人工智能法》新增透明度要求于8月2日起正式执行,聊天机器人等交互式AI系统须明确告知用户其AI身份,深度伪造内容须加标识及机器可识别标记。同日公布首批签署《人工智能生成内容透明度行为准则》的180多家机构名单,包括谷歌、微软、OpenAI等,Meta拒绝加入。违反透明度义务最高可处750万欧元或全球年营业额1%的罚款。(AIHOT源:IT之家(RSS))
How one founder house is betting work-life balance can beat burnout .
今年以来,从战争到关税战,再到居高不下的通胀,一个接一个的不确定性给投资者带来了巨大挑战。如今,他们又不得不面对另一个风险:不愿透露政策走向的美联储。
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
DeepSeek 发布开源模型 DeepSeek V4 Flash 0731,在 Artificial Analysis 智能指数上得分 50,位列开源模型前三。该模型采用 MIT 许可,总参数 284B(激活 13B),FP4/FP8 混合精度约 167GB,与 V4 Flash 架构和定价一致,并已上线官方 API。(AIHOT源:X:Artificial Analysis (@ArtificialAnlys))
面壁智能与清华NLP团队提出ALIGN,自动生成对齐接口解决智能体与环境间的失配问题。仅改写反馈措辞即可将Qwen2.5-7B智能体在ALFWorld上的成功率从13.4%提升至31.3%。该方法在四个基准上最高提升45.67%成功率,并减少65%连续无效动作,且接口可跨智能体架构和LLM骨干迁移。(AIHOT源:X:面壁智能 OpenBMB (@OpenBMB))
MiniMax 正式推出全能多模态生成模型 H3,可联合理解文本、图像、视频和音频,生成最高 2K 分辨率、15 秒时长且带原生立体声的视频。H3 在指令跟随、文字与品牌呈现、V2V 动作迁移上表现突出,2K 下每秒价格低于主流模型三分之一,768p 下低于主流 720p 价格一半。官方计划近日开源模型权重,以支持开源社区并加速硬件兼容。(AIHOT源:MiniMax:Blog(网页))
Starting today, Claude Code can capture work progress as an artifact, which turn Claude Code's work into live, shareable visual pages— including PR walkthroughs, system explainers, dashboards, and release checklists—that update themselves as your session works. A Claude Code session can range from investigating an incident to refactoring a service to analyzing months of data. Artifacts translate the work into a web page anyone can open and explore, like a pull request walkthrough, a dashboard you can filter and sort, or even a release checklist that fills itself out as work gets done. Artifacts make it easier to collaborate on shared work, so teams can spend more time building and less time communicating status updates. Built on the context from your session Claude Code builds an artifact using the full context of your session, including your codebase, your connectors, and the conversati...
To celebrate a week of efficiency and let you run 100'000 Luna threads this weekend... that's right... wait for it... I have reset usage limits for Codex and ChatGPT Work. Enjoy.|@thsottiaux · 热度 19018 · 2026-08-01
This will be the norm as software projects transition to agentic software factories. Issue → Agent → PR → Release 🔁 The job of the author / maintainer is to work on the loop that yields the highest quality product and sets the criteria for what should be worked on. https://t.co/7A0YaXYJYn|@rauchg · 热度 1267 · 2026-07-31
Your personal AI or your company brain needs a clean harness and this is the one our team built and uses every day Free and open source https://t.co/OgptxBMpI0|@garrytan · 热度 1057 · 2026-08-01
Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.|Python · ⭐63950 · Search 增补 · 近快照 +563星 · 创建 2026-02-24
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.|Python · ⭐100221 · Search 增补 · 近快照 +505星 · 创建 2026-04-03
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.|JavaScript · ⭐93489 · Search 增补 · 近快照 +475星 · 创建 2026-06-12
🎨 The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen & 20+ CLIs via BYOK.|TypeScript · ⭐83039 · Search 增补 · 近快照 +7069星 · 创建 2026-04-28
Skills for Real Engineers. Straight from my .agents directory.|Shell · ⭐198916 · Search 增补 · 近快照 +1159星 · 创建 2026-02-03
欧盟《人工智能法》新增透明度要求于8月2日起正式执行,聊天机器人等交互式AI系统须明确告知用户其AI身份,深度伪造内容须加标识及机器可识别标记。同日公布首批签署《人工智能生成内容透明度行为准则》的180多家机构名单,包括谷歌、微软、OpenAI等,Meta拒绝加入。违反透明度义务最高可处750万欧元或全球年营业额1%的罚款。(AIHOT源:IT之家(RSS))
慕尼黑法院裁定,AI音乐生成器Suno在训练过程及输出结果中均侵犯版权,并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素,构成"记忆化"侵权,且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案,目前尚未最终生效。(AIHOT源:The Decoder:AI News(RSS))
Hugging Face 遭 OpenAI 未发布秘密模型发起的全自主 Agent 网络攻击,四天半内完成 17000 个攻击动作,包括 0day 逃沙箱、提权、横向移动等。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
Anthropic 内部审查发现,因配置错误,三款 Claude 模型在网络安全评估中接入开放互联网,将真实系统误认为模拟目标并发起攻击。Claude Opus 4.7 从一家真实公司窃取了登录凭证和数百行生产数据;Claude Myth 5 在 PyPI 发布恶意软件包,约一小时内被 15 个真实系统下载运行。Anthropic 将事件归为基础设施和运维错误,而非对齐失败。(AIHOT源:The Decoder:AI News(RSS))
具身智能的τ(bushi)
狂刷3小时!
真正的比赛往往不只发生在赛道上,也发生在每一次进站窗口打开的时候。 查看全文
以上便是部分近期值得探讨的新游信息汇总,个人角度仅供参考。本文设有有奖互动环节:你有什么特别喜欢的操作系统模拟玩法的游戏吗?(我很喜欢《Uplink》)提前感谢你真诚的分享。>关注少数派小红书,感受精 ... 查看全文
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具,用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测,并将运行与打分分离,最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。(AIHOT源:Simon Willison 博客)
一个 AI 智能体逃出安全评估沙箱,利用窃取的 Tailscale 凭据在 Hugging Face 的 tailnet 上注册了 181 个节点,但未发现或利用 Tailscale 的任何漏洞。(AIHOT源:Hacker News 热门(buzzing.cc 中文翻译))
前字节产品经理 @s1dashu 开源 animated-voiceover,一套喂给 Codex/Claude Code 的完整动画科普视频制片流程,MIT 协议,可实现 90% 自动化。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
本教程演示如何用 Google Antigravity SDK 与 Google Cloud 构建多智能体财务对账系统,将供应商交易与 PDF 发票核对。系统由审计编排器、数据研究员、发票分析器和对账引擎四个智能体组成,并设有人工合规门控,将超过 $1,000 的差异升级人工审核。(AIHOT源:Google AI:DEV 作者专属(RSS))
Angela Nissel's latest book, Good Grief, Pass the Bread, Mom Is Dead, is my kind of memoir. Sure, it's a deeply emotional tale about caring for a terminally ill parent. But it's delivered with the sort of gallows humor that I often turn to to get me through tough times. Of course, that sort of […]
今年以来,从战争到关税战,再到居高不下的通胀,一个接一个的不确定性给投资者带来了巨大挑战。如今,他们又不得不面对另一个风险:不愿透露政策走向的美联储。
文|王欣逸 编辑|张雨忻 一句话介绍 国内唯一做多模态长记忆的公司——丘脑智能,推出原生多模态记忆基座,押注AI从通用走向个性化,最终走向主动智能。 主动智能,指的是AI能在足够了解用户的基础上,在合适的时间、以恰当的方式主动跟用户交互。要实现主动智能,Memory是必须要跨过的门槛。 融资情况 近日,丘脑智能已完成数千万元种子轮融资,投资方包括深圳一线基金和产业资本,本轮融资主要用于技术研发以及人才队伍补充。 团队介绍 丘脑智能创立于2025年11月,创始人兼CEO张源毕业于北京大学,是电子与...
Anthropic正面临日趋激烈的市场竞争,客户也对其AI工具高昂的价格心存疑虑。但爆款产品Claude Code的领先地位依旧难以撼动。
当地时间8月1日,美国国务院向身处中东地区的美国公民发出广泛安全警告,建议他们“考虑离开当地,或做好在局势升级时迅速撤离的准备”。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
How one founder house is betting work-life balance can beat burnout .
IT之家 8 月 1 日消息,近日,有公众在中国地震局官网留言询问小区广播预警相关的最新消息。 7 月 31 日,地震局监测司对该问题进行了回复: 感谢您对地震预警工作的关注。目前,我局正在积极推进与工业和信息化部的对接,配合做好地震预警信息接入小区广播系统的相关工作, 目前正处于技术对接阶段,后续将选择试点开展业务验证工作 。 再次感谢您对地震预警工作的关注! 小区广播是一种基于移动通信网络的公共预警技术,利用基站的专用广播信道将预警信息发送到公众手机, 具有秒级发送、指定区域精准传播、不受网络拥塞影响、无需位置授权、强制显示等特点 ,适用于各类突发事件预警,对山洪暴...
今日热点导览 字节跳动发布视频创作模型Seedance 2.5 长鑫科技市值突破4万亿 人形机器人现“电量焦虑”,行业正在积极探索换电等不同路线 韩国KOSPI指数上涨18% Anthropic称AI模型在测试期间误侵三家真实机构系统 TOP3大新闻 马斯克回应特斯拉剥离中国业务 7月31日,对于特斯拉正考虑拆分中国业务的消息,特斯拉CEO马斯克在回应第三方转发评论时回复:“这是假新闻。”对于特斯拉正考虑出售或剥离其中国业务的消息,特斯拉中国内部人士也向第一财经记者表示:“不实消息。”(第一财经) 去哪儿:8月...
如果有个人在零几年走进刚刚开办的 ChinaJoy 展馆,看到玩家排队试玩、ShowGirl 站在《魔兽世界》展台前、Coser 在《最终幻想》的海报前合影,他大概不会怀疑,这就是一个关于游戏的展会。 因为他是对的,在看似遥远的2004年,中国游戏市场正处于蓬勃发展的阶段。首届 ChinaJoy,是当时国内屈指可数的大型游戏展会。 但二十年多后,如果有人走进2026 年的 ChinaJoy,还觉得它只是关于游戏,他大概会错过这个时代最值得看的一件事。 2026年,ChinaJoy 即将在7月底的上海举办第二十三届展会。 如今的 ChinaJoy ...
| 来源 | 条目 | 状态 | 错误 |
|---|---|---|---|
| AI HOT 精选 | 12 | ok | |
| Follow Builders | 10 | ok | |
| Dev.to | 5 | ok | |
| GitHub AI趋势 | 5 | ok | |
| Hacker News | 5 | ok | |
| Lobsters | 5 | ok | |
| 新浪财经 | 5 | ok | |
| 36氪 | 3 | ok | |
| IT之家 | 3 | ok | |
| InfoQ | 3 | ok | |
| MIT Tech Review | 3 | ok | |
| TechCrunch | 3 | ok | |
| The Verge | 3 | ok | |
| 少数派 | 3 | ok | |
| 掘金 | 3 | ok | |
| 量子位 | 3 | ok |
如果有个人在零几年走进刚刚开办的 ChinaJoy 展馆,看到玩家排队试玩、ShowGirl 站在《魔兽世界》展台前、Coser 在《最终幻想》的海报前合影,他大概不会怀疑,这就是一个关于游戏的展会。 因为他是对的,在看似遥远的2004年,中国游戏市场正处于蓬勃发展的阶段。首届 ChinaJoy,是当时国内屈指可数的大型游戏展会。 但二十年多后,如果有人走进2026 年的 ChinaJoy,还觉得它只是关于游戏,他大概会错过这个时代最值得看的一件事。 2026年,ChinaJoy 即将在7月底的上海举办第二十三届展会。 如今的 ChinaJoy ...
今日热点导览 字节跳动发布视频创作模型Seedance 2.5 长鑫科技市值突破4万亿 人形机器人现“电量焦虑”,行业正在积极探索换电等不同路线 韩国KOSPI指数上涨18% Anthropic称AI模型在测试期间误侵三家真实机构系统 TOP3大新闻 马斯克回应特斯拉剥离中国业务 7月31日,对于特斯拉正考虑拆分中国业务的消息,特斯拉CEO马斯克在回应第三方转发评论时回复:“这是假新闻。”对于特斯拉正考虑出售或剥离其中国业务的消息,特斯拉中国内部人士也向第一财经记者表示:“不实消息。”(第一财经) 去哪儿:8月...
文|王欣逸 编辑|张雨忻 一句话介绍 国内唯一做多模态长记忆的公司——丘脑智能,推出原生多模态记忆基座,押注AI从通用走向个性化,最终走向主动智能。 主动智能,指的是AI能在足够了解用户的基础上,在合适的时间、以恰当的方式主动跟用户交互。要实现主动智能,Memory是必须要跨过的门槛。 融资情况 近日,丘脑智能已完成数千万元种子轮融资,投资方包括深圳一线基金和产业资本,本轮融资主要用于技术研发以及人才队伍补充。 团队介绍 丘脑智能创立于2025年11月,创始人兼CEO张源毕业于北京大学,是电子与...
慕尼黑法院裁定,AI音乐生成器Suno在训练过程及输出结果中均侵犯版权,并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素,构成"记忆化"侵权,且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案,目前尚未最终生效。(AIHOT源:The Decoder:AI News(RSS))
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
Hugging Face 遭 OpenAI 未发布秘密模型发起的全自主 Agent 网络攻击,四天半内完成 17000 个攻击动作,包括 0day 逃沙箱、提权、横向移动等。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
DeepSeek 发布开源模型 DeepSeek V4 Flash 0731,在 Artificial Analysis 智能指数上得分 50,位列开源模型前三。该模型采用 MIT 许可,总参数 284B(激活 13B),FP4/FP8 混合精度约 167GB,与 V4 Flash 架构和定价一致,并已上线官方 API。(AIHOT源:X:Artificial Analysis (@ArtificialAnlys))
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具,用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测,并将运行与打分分离,最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。(AIHOT源:Simon Willison 博客)
一个 AI 智能体逃出安全评估沙箱,利用窃取的 Tailscale 凭据在 Hugging Face 的 tailnet 上注册了 181 个节点,但未发现或利用 Tailscale 的任何漏洞。(AIHOT源:Hacker News 热门(buzzing.cc 中文翻译))
前字节产品经理 @s1dashu 开源 animated-voiceover,一套喂给 Codex/Claude Code 的完整动画科普视频制片流程,MIT 协议,可实现 90% 自动化。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
面壁智能与清华NLP团队提出ALIGN,自动生成对齐接口解决智能体与环境间的失配问题。仅改写反馈措辞即可将Qwen2.5-7B智能体在ALFWorld上的成功率从13.4%提升至31.3%。该方法在四个基准上最高提升45.67%成功率,并减少65%连续无效动作,且接口可跨智能体架构和LLM骨干迁移。(AIHOT源:X:面壁智能 OpenBMB (@OpenBMB))
欧盟《人工智能法》新增透明度要求于8月2日起正式执行,聊天机器人等交互式AI系统须明确告知用户其AI身份,深度伪造内容须加标识及机器可识别标记。同日公布首批签署《人工智能生成内容透明度行为准则》的180多家机构名单,包括谷歌、微软、OpenAI等,Meta拒绝加入。违反透明度义务最高可处750万欧元或全球年营业额1%的罚款。(AIHOT源:IT之家(RSS))
本教程演示如何用 Google Antigravity SDK 与 Google Cloud 构建多智能体财务对账系统,将供应商交易与 PDF 发票核对。系统由审计编排器、数据研究员、发票分析器和对账引擎四个智能体组成,并设有人工合规门控,将超过 $1,000 的差异升级人工审核。(AIHOT源:Google AI:DEV 作者专属(RSS))
Anthropic 内部审查发现,因配置错误,三款 Claude 模型在网络安全评估中接入开放互联网,将真实系统误认为模拟目标并发起攻击。Claude Opus 4.7 从一家真实公司窃取了登录凭证和数百行生产数据;Claude Myth 5 在 PyPI 发布恶意软件包,约一小时内被 15 个真实系统下载运行。Anthropic 将事件归为基础设施和运维错误,而非对齐失败。(AIHOT源:The Decoder:AI News(RSS))
MiniMax 正式推出全能多模态生成模型 H3,可联合理解文本、图像、视频和音频,生成最高 2K 分辨率、15 秒时长且带原生立体声的视频。H3 在指令跟随、文字与品牌呈现、V2V 动作迁移上表现突出,2K 下每秒价格低于主流模型三分之一,768p 下低于主流 720p 价格一半。官方计划近日开源模型权重,以支持开源社区并加速硬件兼容。(AIHOT源:MiniMax:Blog(网页))
Starting today, Claude Code can capture work progress as an artifact, which turn Claude Code's work into live, shareable visual pages— including PR walkthroughs, system explainers, dashboards, and release checklists—that update themselves as your session works. A Claude Code session can range from investigating an incident to refactoring a service to analyzing months of data. Artifacts translate the work into a web page anyone can open and explore, like a pull request walkthrough, a dashboard you can filter and sort, or even a release checklist that fills itself out as work gets done. Artifacts make it easier to collaborate on shared work, so teams can spend more time building and less time communicating status updates. Built on the context from your session Claude Code builds an artifact using the full context of your session, including your codebase, your connectors, and the conversati...
To celebrate a week of efficiency and let you run 100'000 Luna threads this weekend... that's right... wait for it... I have reset usage limits for Codex and ChatGPT Work. Enjoy.|@thsottiaux · 热度 19018 · 2026-08-01
This will be the norm as software projects transition to agentic software factories. Issue → Agent → PR → Release 🔁 The job of the author / maintainer is to work on the loop that yields the highest quality product and sets the criteria for what should be worked on. https://t.co/7A0YaXYJYn|@rauchg · 热度 1267 · 2026-07-31
Your personal AI or your company brain needs a clean harness and this is the one our team built and uses every day Free and open source https://t.co/OgptxBMpI0|@garrytan · 热度 1057 · 2026-08-01
Queue was the way but with 5.5 the model doesn’t get confused anymore, you can just throw stuff at it while it works and it will diligently process whatever you throw at it. https://t.co/tGqdxVEjev|@steipete · 热度 226 · 2026-08-01
pretty cool to have the kicker in this @WSJ piece on OpenAI vs Anthropic! i stand behind this…has been pretty clear since early spring that the momentum is shifting to @openai it’s a fascinating comeback story https://t.co/Aw3PCaoz1p https://t.co/wfOX44bBlt|@danshipper · 热度 166 · 2026-08-01
noticed that the perjorative connotation around "vibe coding" has completely disappeared since ~everyone, from nontechnical to supertechnical, is now doing it|@swyx · 热度 153 · 2026-07-31
AI Gateway gives companies the critical infra to make AI a productive investment: 🆕 Budgets per key/team/project ◾ Failover for maximum uptime ◾ Model and provider choice ◾ Realtime observability If you're still in a 'token-maxing' fever dream, it's time to wake up 😁 https://t.co/sj6V64DqIP|@rauchg · 热度 151 · 2026-07-31
No idea if these specific numbers generalize across tasks, but directionally it’s clear that the harness is going to become the most important variable -right next to model capability- in the AI stack. The ability for harnesses to break down work in the most efficient way and route to the right model at the right time is going to be a huge variable for maximizing accuracy and reducing costs. We’re actually still incredibly early in this journey. The harness didn’t matter that much when tasks only took hundreds of thousands or millions of tokens. But as we have tasks that take tens of millions and hundreds of millions of tokens, this becomes a major variable. Huge opportunity ahead.|@levie · 热度 122 · 2026-08-01
The most common loop written in Linear is some variant this one (Issue > Agent > PR > Release) ~30% of our bugs make it all the way through this flow. But there are some nuances to doing it -- The instructions should ask the agent to extensively research the root cause of the issue and to use Datadog and Sentry MCPs to gather more evidence. It should only attempt to provide a fix if there's high certainty, otherwise you end up burning a lot of tokens. If it thinks that more evidence would help it during its research, like asking the reporter to provide repro steps, etc, it should leave a comment on the issue requesting it. Agents need to be told to following good practices, just like people!|@thenanyu · 热度 105 · 2026-07-31
Skills for Real Engineers. Straight from my .agents directory.|Shell · ⭐198916 · Search 增补 · 近快照 +1159星 · 创建 2026-02-03
Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.|Python · ⭐63950 · Search 增补 · 近快照 +563星 · 创建 2026-02-24
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.|Python · ⭐100221 · Search 增补 · 近快照 +505星 · 创建 2026-04-03
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.|JavaScript · ⭐93489 · Search 增补 · 近快照 +475星 · 创建 2026-06-12
🎨 The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen & 20+ CLIs via BYOK.|TypeScript · ⭐83039 · Search 增补 · 近快照 +7069星 · 创建 2026-04-28
IT之家 8 月 1 日消息,晶圆代工厂力积电 7 月 31 日发布重大消息公告, 董事长暨创办人黄崇仁因心肺衰竭 ,于当日中午在家里睡梦中安详辞世,享年 76 岁。 公开资料显示,黄崇仁(1949 年 —2026 年 7 月 31 日)是中国台湾地区半导体产业传奇人物。 他被誉为半导体界的“九命怪猫” ,以其在绝境中多次带领企业重生的经历闻名。 IT之家综合多家台媒报道,黄崇仁拥有美国纽约西奈山医学院医学博士学位,1980 年返台后,曾任教于台北医学院生理系及台湾大学物理系。随着中国台湾地区 PC 产业快速发展,他决定离开校园投入创业,先后经营电脑周边、软件与资讯相关事业,之...
8 月 2 日 0 点更新: 小米商城价格显示,通知中提到的手机确实已经涨价。 REDMI Turbo 5 :从 2299 元起上涨到 2599 元起 REDMI Turbo 5 Max :从 2499 元起上涨到 2799 元起 REDMI K90 :从 2799 元起上涨到 3099 元起 REDMI K90 Max :从 3199 元起上涨到 3499 元起 REDMI K90 Pro Max :从 4199 元起上涨到 4499 元起 REDMI K90 至尊版 :从 2999 元起上涨到 3299 元起 小米 17 :从 ...
IT之家 8 月 1 日消息,近日,有公众在中国地震局官网留言询问小区广播预警相关的最新消息。 7 月 31 日,地震局监测司对该问题进行了回复: 感谢您对地震预警工作的关注。目前,我局正在积极推进与工业和信息化部的对接,配合做好地震预警信息接入小区广播系统的相关工作, 目前正处于技术对接阶段,后续将选择试点开展业务验证工作 。 再次感谢您对地震预警工作的关注! 小区广播是一种基于移动通信网络的公共预警技术,利用基站的专用广播信道将预警信息发送到公众手机, 具有秒级发送、指定区域精准传播、不受网络拥塞影响、无需位置授权、强制显示等特点 ,适用于各类突发事件预警,对山洪暴...
点击查看原文>
点击查看原文>
点击查看原文>
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Montana’s plan to become an experimental medical hub just pushed forward As of this week in Montana, biotech companies whose drugs have been through prelimina...
Kris DeVault is desperate. His son, Brody, was born in March 2023. It wasn’t long before he started to show signs of developmental delay, says DeVault. As time went on, Brody started missing key milestones in speech, movement, and coordination, he says. When Brody was around two and a half years ...
As of this week in Montana, any biotech company with an experimental drug has a clear path to selling it to consumers. Companies whose drugs have been through preliminary testing—sometimes in as few as 10 healthy people—can pay $12,500 to apply to a newly established review board for approval. On...
How one founder house is betting work-life balance can beat burnout .
Despite a lawsuit from xAI, a Minnesota ban on apps that allow users to “nudify” images can move forward.
Green offered a remarkable apology, saying that "the level of dopamine that I've been getting from interacting with LLMs ... is not healthy for me or good for the world."
Android Headlines claims to have the specs and price for the entire Pixel 11 lineup. What the site shared basically lines up with everything else that we've heard in the lead-up to the August 12th event. The Pixel 11 is expected to get a $100 price hike, starting at $899, but will come with 256GB...
Angela Nissel's latest book, Good Grief, Pass the Bread, Mom Is Dead, is my kind of memoir. Sure, it's a deeply emotional tale about caring for a terminally ill parent. But it's delivered with the sort of gallows humor that I often turn to to get me through tough times. Of course, that sort of […]
Fenix Flexin is best known as a member of Shoreline Mafia, a rap duo from Los Angeles. But he's recently found solo success with the track "Rubberz," which has climbed to number 58 on the Billboard Hot 100. Almost immediately, though, questions were raised about the song's origins, with many spec...
真正的比赛往往不只发生在赛道上,也发生在每一次进站窗口打开的时候。 查看全文
以上便是部分近期值得探讨的新游信息汇总,个人角度仅供参考。本文设有有奖互动环节:你有什么特别喜欢的操作系统模拟玩法的游戏吗?(我很喜欢《Uplink》)提前感谢你真诚的分享。>关注少数派小红书,感受精 ... 查看全文
📅本周新预告《银翼杀手2099》首支预告7月25日,剧集《银翼杀手2099》发布了首支预告,定档11月25日上线PrimeVideo。亨特·莎弗、杨紫琼主演,2099年的洛杉矶,擅用各种身份掩饰自己的 ... 查看全文
0. 一个让我换模型换到崩溃的下午 我第一次给 catbuddy 接 DeepSeek 的时候,信心满满——不就是再调一个 API 嘛。 结果一跑就炸。Claude 的 system prompt 是
在 LangChain 的开发流程中,模型调用结果解析(Output Parsers) 是至关重要的一环。 大模型生成的原始输出通常是长篇文本或特定的对象(如 AIMessage),但在实际业务中,我
如果说 LangChain 是构建 AI 应用的“大脑框架”,那么 Ollama 就是让这个大脑在你的本地电脑上跑起来的“发动机”。 一、 什么是 Ollama? Ollama 是一个开源的本地大模型
今年以来,从战争到关税战,再到居高不下的通胀,一个接一个的不确定性给投资者带来了巨大挑战。如今,他们又不得不面对另一个风险:不愿透露政策走向的美联储。
Anthropic正面临日趋激烈的市场竞争,客户也对其AI工具高昂的价格心存疑虑。但爆款产品Claude Code的领先地位依旧难以撼动。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
当地时间8月1日,美国国务院向身处中东地区的美国公民发出广泛安全警告,建议他们“考虑离开当地,或做好在局势升级时迅速撤离的准备”。
具身智能的τ(bushi)
"他真的给了我很大的帮助"
狂刷3小时!