跳到正文

全部动态

今日 5 条
10月27日周二
  1. MIT Technology Review · AI45

    工业智能:制造业下一个增长机遇

    制造业中的工业智能,包括经验丰富的工人知识、操作实践、生产数据和业务理解,现在有机会在决策过程中更广泛地应用。通过连接机器和流程,制造商可以更清晰地了解工厂地板上发生的事情,并利用物理AI使业务智能融入物理过程。此外,工业智能还通过模拟和物理验证相结合的方式,帮助制造商在实施更改之前探索其影响,从而实现可持续增长。

  2. Latent Space45

    OpenCode 与 Qwen3.5 9B:离线AI编码代理体验

    OpenCode 是一款开源编码代理,与 Qwen3.5 9B 模型配合使用,支持离线工作。在离线状态下,用户可以执行代码解释、测试和功能完成等任务。OpenCode 在基准测试中表现出色,与 Goose 和 OpenHands-SDK 相比,在 50 个 Terminal-Bench Pro 任务中取得了 50% 的通过率。

  3. IT之家65

    AMD 向 Meta 投资 10 亿美元 深化 AI 基础设施合作

    AMD 宣布向 Meta 投资 10 亿美元,双方将围绕 CPU、GPU、网络、系统及软件展开协作,为 Meta 的人工智能基础设施及 AI 服务提供算力支持。

    推荐理由:AMD 向 Meta 投资 10 亿美元,深化 AI 基础设施合作,涉及 CPU、GPU 和软件等多个方面,对双方在 AI 领域的发展具有重要意义。

  4. IT之家65

    宁德时代计划2027年实现全固态电池小批量生产

    宁德时代表示,其全固态电池技术处于行业领先水平,预计2027年实现小批量生产。此外,公司产能紧张程度有所缓解,市场需求持续增长。

    推荐理由:宁德时代计划在2027年实现全固态电池的小批量生产,这将对电池行业产生重要影响。

  5. Show HN70

    Friday:一款开源的团队协作智能体工具发布

    Friday 是一款开源的团队协作智能体工具,支持运行 Claude Code、Codex、Cursor、GitHub Copilot 等多种编码工具,并允许它们协同工作,提高编码效率。

    推荐理由:原文给出了能力变化和开放入口,读者可以据此判断它会怎样改变现有工作流。

  6. Show HN45

    Trak-Yo-Dolla:无需银行登录的个人财务追踪器

    Trak-Yo-Dolla 是一款无需银行登录的个人财务追踪器,支持 CSV 导入,免费使用。它可以在设备上跟踪支出、预算和净资产,并支持跨设备同步(需加密)。该应用提供四层自动分类、离线工作、全面净值查看、学习用户模式预算等功能,并支持多种银行和信用合作社的 CSV 文件导入。

  7. Show HN70

    某产品发布智能体功能

    某产品发布新的智能体功能,该功能使用SQLite数据库,使Markdown内容检索效率提高40倍,同时减少了模型token的使用,提高了检索速度。

    推荐理由:原文给出了能力变化和开放入口,读者可以据此判断它会怎样改变现有工作流。

  8. Ask HN0

    "外部漏洞扫描检查内容详解"

    "外部漏洞扫描检查旨在发现系统中的安全漏洞,包括但不限于软件版本、配置错误和已知漏洞。这种扫描对于确保网络安全至关重要,有助于预防潜在的网络攻击和数据泄露。"

  9. TechCrunch · AI35

    CoreWeave 系列A轮融资 1亿美元,逆势扩张

    CoreWeave,一家公开交易的云服务公司,尽管面临股价下跌和Elon Musk对云计算行业的悲观预测,但公司仍宣布完成1亿美元的系列A轮融资。CoreWeave专注于构建基于专用推理芯片的云服务,并与SambaNova、Positron和Cerebras等芯片供应商建立了合作关系。公司计划在2027年部署75兆瓦的计算能力。

  10. TechCrunch · AI70

    Opera发布支持本地AI部署的新网络标准

    Opera发布了一项名为WebAI的新网络标准,允许用户在其浏览器中直接运行AI模型,无需依赖云端。该标准旨在支持各种AI模型,并提供了隐私保护的优势。

    推荐理由:原文给出了能力变化和开放入口,读者可以据此判断它会怎样改变现有工作流。

  11. TechCrunch · AI35

    GMO Onamae云桌面服务数据泄露调查

    日本互联网巨头GMO Internet正在调查其Onamae云桌面服务的数据泄露事件,可能影响了27,000台服务器。事件发生约一周前,GMO的网络安全部门发现了一个名为Artex的中国AI渗透测试工具被用于针对日本公司的黑客攻击。GMO建议客户重置密码,并报告了客户交易账户上的“未经授权的操作”。

  12. Show HN35

    Statespace – 通过构建小型已验证语言学习形式方法

    Claude 为一位后端工程师构建了一门优化课程,旨在学习形式方法。课程内容包括构建一个通过 Z3 查找错误的已验证应用程序语言,使用 Lean 进行证明,在 TLA+ 中建模并发/分布式系统行为,并将其连接到 PostgreSQL。这是一个通过 GitHub Pages 托管的静态网站,主要用于获取专家的反馈和建议。