开源工具Equiv提供确定性字节级验证，确保AI重构不改变代码行为，拒绝模型主观判断。
Article URL: https://github.com/Neelagiri65/equiv Comments URL: https://news.ycombinator.com/item?id=48515830 Points: 1 # Comments: 0
苹果高管揭秘iOS 27照片三大AI功能，让普通用户也能拥有专业修图“超能力”
IT之家 6 月 13 日消息，苹果两位高管在最新采访中表示，iOS 27 版照片（Photos）应用引入 3 项 AI 功能，是让普通用户也能享受专业级修图能力。 IT之家附上相关采访视频如下： 接受泰勒 · 斯塔尔曼（Tyler Stalman）采访时，苹果相机与照片软件工程副总裁乔恩 · 麦考…
在全球经济增长乏力、地缘冲突此起彼伏等多重压力交织的背景下，A股上市公司出口业务非但没有收缩，反而实现量质同升。以沪市主板公司为例，2025年实现海外收入7.3万亿元，同比增长14%，海外创利0.9万亿元，同比增长21%，两项指标增速较上年分别加快7个百分点和12个百分点。 然而，出口业务的韧性，并…
用ML和LLM自动挖掘BDD测试中的重复步骤子序列，提升重构效率
arXiv:2605.14568v2 Announce Type: replace-cross Abstract: Context. Behaviour-Driven Development (BDD) test suites accumulate duplicated step subsequen…
Mac版OneDrive全面重构，同步速度翻倍，隐藏缓存问题终解决，性能与体验双重提升。
IT之家 6 月 11 日消息，科技媒体 NeoWin 昨日（6 月 10 日）发布博文，报道称适用于苹果 Mac 平台的 26.098 版 OneDrive 中， 微软重构这款云存储工具，弃用旧版同步引擎并采用原生同步架构。 微软表示 2022 年调整 Mac 版 OneDrive 后，由于架构变…
开源作者遭遇AI巨头“公平使用”困境，AGPLv3许可证能否阻止大模型吞噬代码？一场法律与技术边界的新博弈。
I am preparing to release a software project under the AGPLv3. The goal is traditional copyleft reciprocity - if you use it or host it, share your cha…
鸿蒙智行首款跳出数字序列的新车命名揭秘，背后是产品“重构能力”的核心定义。
IT之家 6 月 10 日消息，华为常务董事、产品投资评审委员会主任、终端 BG 董事长余承东今日发文，官宣了鸿蒙智行首款跳出数字序列命名的新车 —— 智界 RX。 该车将于秋天正式与大家见面 。 IT之家注意到，智界汽车董事长兼首席执行官郭锐今日发文，解答了智界 RX 的命名由来。郭锐称，「X」不…
最新研究发现：LLM编码代理能否像人类一样进行代码重构？论文评估其可靠性与能力边界。
arXiv:2603.04177v2 Announce Type: replace-cross Abstract: LLM coding agents can generate working code, but their solutions often accumulate complexity…
SoloEngine v0.2.1 重构 LLM Provider 架构，优化停止机制与流式输出，增加 SubAgent Token 追踪功能。
[v0.2.1] - 2026-06-03 🚀 Added SubAgent Token Tracking — SubAgent completion events now carry token usage data. The frontend Agent group view displays …
用GitHub Copilot将组合优化器从5秒提速到1.2毫秒，开源杂货比价工具的背后故事
This is a submission for the GitHub Finish-Up-A-Thon Challenge What I Built Cijene ("Prices") is Croatia's premier open-source grocery price tracker a…
当 90% 以上代码由 AI 生成，决定系统走向的不是谁写得更快，而是约束 AI 的能力。没有统一规范，AI 只会成倍放大混乱。本文基于 31 万行代码重构实践，分享我们如何用 Agent 评测思路管理 AI Coding——通过技术债梳理、建设Rule、重构 SOP 和 Pre-PR 机制，把重构…
为突破传统 Web 框架的性能瓶颈，大众点评增长团队引入 Qwik.js 重构 M 站核心页面架构，解决了重构前页面加载慢、维护成本高的难题。借助“可恢复性”能力，我们甩掉了传统水合的性能损耗，搭配全链路优化与工程化适配，让各个页面的性能指标都得到了明显提升。本文将拆解本次重构的技术选型、原理与落地…
AI编码助手如何重塑iOS开发工作流？Cursor、Copilot等实战技巧提升效率。
AI coding assistants have quickly become part of many developers' daily workflows. Whether it's generating boilerplate code, reviewing pull requests, …
阿里副总裁离职创业押注世界模型，此前已用AI重构淘宝实现流量效率双位数增长，值得关注。
IT之家 6 月 3 日消息，《科创板日报》3 日（今天）发布消息称，阿里集团副总裁兼搜推智能产品事业部总裁张凯夫已经离职创业，方向是构建面向市场的世界模型。 张凯夫在社交媒体发文称，预测集体人类行为，尤其是市场行为，是人工智能 尚未征服的终极超能力挑战之一 。他相信目前正是启程之时，并招募相关人才…
深度解析2026年AI如何颠覆软件开发流程，真实案例告诉你agentic AI将九天的PR周期缩短至数小时，每行都值得仔细看
Three weeks ago, I stopped writing to watch history unfold. What I witnessed in those twenty-one days changed everything I thought I knew about softwa…
新通教育用三年时间，把AI从口号变成全员参与的“数字员工”体系，传统业务也能跑出增长新速度。
新通教育创始人麻亚炜坦诚分享了过去五年的转型历程——从数字化基建到全员AI Must，从AI in All到AI Native新业务。她的实践证明：传统企业拥抱AI，最难的不是技术，而是让战略从董事会走到一线。 麻亚炜将AI转型划分为四个递进阶段： 第一阶段（2021-2022）：数字化基建 完成底…
半导体光罩上的纳米级缺陷、玻璃基板上几微米的钻孔。广州因特智能展示了AI视觉如何从实验室走进高端制造产线，用软硬结合的方式解决中国在半导体检测装备领域的卡脖子问题。 广州因特智能孵化于 西安电子科技大学广州研究院 ，是校地合作落地的典型科技企业。我们拒绝“纸上算法”，坚持 软硬一体 ，为半导体、光通…
今年以来，内外盘铝市走出显著的分化行情，伦铝、沪铝期货价格同步上行但涨幅差距显著，呈现出外强内弱的特征。近一个月以来，两者价格均在高位区间维持震荡。业内人士表示，中东地缘冲突引发的海外市场供给收缩是本轮铝价上涨的核心驱动力，但海内外库存水平迥异，造成了内外盘价格走势分化。目前来看，全球铝市供给偏紧格…
AI写代码重构PR靠不靠谱？这篇论文实测了质量与安全信号，开发者必读。
arXiv:2605.21453v1 Announce Type: cross Abstract: As AI agents increasingly contribute to code development and maintenance, there is still limited emp…
顺丰揭秘如何用大模型+Agent+运筹算法，将“24小时达”变成日常，并赋能更多中国企业
AI究竟如何为产业创造价值？见证AI从“热点”转化为“生产力”的关键一跃。 今天的顺丰已经用AI调度着中国三分之一的航空货运。从百万人的协同、二十万辆车的调度，到每天五千万票件的动态路由——物流供应链的复杂度，正是AI落地的最佳试验田。一个超大规模网络如何用大模型、Agent和运筹算法，将“24小时…