Show HN: Sqlsure——针对AI生成的SQL的确定性语义检查
开源工具 Sqlsure 可在 0.1 毫秒内、不访问数据库的情况下，确定性检测 AI 生成的 SQL 中的语义错误，例如重复计数、错误聚合或敏感数据泄露。在两大标准 Text-to-SQL 基准测试的 2568 条人工编写查询中，Sqlsure 发现了 45 个问题，且零误报。
标签： AI
Show HN: 在 Claude Code 中使用 GPT-5.6 及其他模型
开发者 raine 发布了一个名为 claude-code-proxy 的开源代理工具，允许用户在 Anthropic 的 Claude Code 编程助手中切换使用 OpenAI（GPT-5.6 等）、Kimi、Grok 和 Cursor 等模型，绕过 Anthropic 日益收紧的用量限制。
我是如何将 Slack 变成一个能发起拉取请求的 AI 队友的
开发者 Med Marrouchi 基于 Hexabot 框架，将 Slack 消息直接转化为 AI 驱动的软件开发工作流——从需求澄清、代码编写、测试到发起 GitHub 拉取请求，全程无需离开聊天界面。该项目已开源，展示了 AI Agent 深度嵌入开发协作流程的可行性。
尽管市场预期较高，Ciena（CIEN）为何仍有望从未来数年的AI网络需求中受益
光网络设备商Ciena最新季度营收同比增长40%，并上调全年指引，但市场因期待更高的“超预期”表现而反应平淡。尽管短期股价已计入较多预期，该公司的高带宽连接战略仍然与AI带来的多年度网络升级需求深度绑定。
2026年，人工智能（AI）概念股的表现远超大盘。以下是两只值得在本次财报季及之后股价进一步飙升前买入的优质个股
尽管2026年AI板块受多种因素影响出现波动，但整体涨幅依然远超大盘（AI主题ETF年内涨23% vs 纳斯达克指数涨13%）。美银分析师认为AI基础设施建设将继续驱动市场，而英伟达和Celestica这两只年内相对疲软的股票，可能在即将到来的财报季迎来反弹契机。
从太空陨石到智能手表，人工智能百万富翁们正在重写奢侈品行业的规则
由AI行业快速积累财富的新一代富豪正在颠覆传统奢侈品消费观念，他们更青睐带有科技、稀缺或数据属性的物品（如太空陨石碎片、高端智能手表），而非传统珠宝腕表，迫使奢侈品牌重新思考产品设计与营销策略。
ChatGPT Work – 您最具雄心的项目的合作伙伴
OpenAI 于 2025 年 7 月 9 日推出 ChatGPT Work，一个能够跨应用和文件执行复杂任务、持续数小时自主推进项目、并内置 GPT‑5.6 模型的 AI 代理，标志着 ChatGPT 从对话助手正式转向“项目协作伙伴”角色。
Salesforce因一款AI产品遭遇双重打击
7月9日，KeyBanc和Bernstein同步下调Salesforce评级至“持有”，原因是其旗舰AI产品Agentforce的采用速度慢于表面数据，客户数据准备不足，导致产品“尚未到位”。股价当日下跌约3%-4%，随后趋稳。
三星刚刚给了谷歌和人工智能团伙购买全新存储的完美理由——所以不要指望 SSD 价格很快就会下降
三星与谷歌等公司共同拟定了一项新的 NVMe 存储标准 TP4193，将虚拟机存储管理从软件层面直接固化到 SSD 硬件中。这一改变显著提升了 AI 数据中心中大规模 GPU 集群的存储效率与迁移灵活性，但也意味着现有 SSD 无法通过软件升级支持该标准，后续硬件换代需求会持续推高企业级 SSD 价格。
Show HN: MCP 服务器的可信度指数
一个名为 Canopii 的新网站为 16,000 多个 MCP（Model Context Protocol）服务器提供安全评分，持续扫描工具投毒、提示注入、供应链和凭证风险，帮助开发者在 AI agent 连接前判断服务器的可信度。