大陆集团出售康迪泰克
德国大陆集团将向孤星基金出售康迪泰克集团业务板块,交易企业价值40亿欧元,另有最高2.5亿欧元业绩对价。交易完成后,大陆集团将更聚焦核心轮胎业务,预计有望在2026年底前完成。
德国大陆集团将向孤星基金出售康迪泰克集团业务板块,交易企业价值40亿欧元,另有最高2.5亿欧元业绩对价。交易完成后,大陆集团将更聚焦核心轮胎业务,预计有望在2026年底前完成。
闪迪与铠侠开始提供332层BiCS10 3D NAND样品,标志着高层数闪存技术进入新阶段。该进展有望提升存储密度、性能与成本效率,面向消费级与数据中心存储市场。
V2EX用户讨论代码注释和Commit Message应详尽还是简洁,并以Claude Code与Codex的默认风格作对比。帖主称Claude Code倾向大量注释和长提交说明,Codex更简洁,引发开发者对AI辅助编程可维护性的偏好讨论。
苹果首次将私有云计算平台PCC扩展到自有数据中心之外,选择在谷歌云上运行隐私保护型AI推理工作负载。该方案结合NVIDIA机密计算、英特尔TDX和谷歌Titan芯片,并通过可审查二进制文件、硬件账本和多供应商可信根强化验证。
开发者发布 basemind,一个面向本地编码智能体的自托管仓库索引工具,支持Rust实现、MIT许可、离线运行,并可通过MCP、CLI或Claude Code插件使用。它提供300多种语言的代码结构图、Git历史与blame,以及90多种格式的文档RAG,以减少上下文窗口消耗。
国家邮政局监测数据显示,截至6月30日,今年我国快递业务量已超过1000亿件,较上年达成千亿件节点提前9天。官方称邮政快递业韧性反映消费市场平稳增长、经济稳中有进。
Reddit 机器学习社区出现 BaryGraph 项目,将知识图谱中的关系建模为独立嵌入文档而非传统边,并通过递归组合 BaryEdge 形成 MetaBary 三元结构。项目基于 MongoDB Community、mongot 与 nomic-embed-text 在英文 Wiktionary 上本地运行,并提供 MCP 服务供测试。
宁德时代与北京绿色交易所、宁德交投集团、宁波亿衡碳签署战略合作协议。宁德时代将与北京绿交所围绕碳减排方法学、供应链绿色金融创新和国际绿色规则对接展开合作,服务产业绿色转型。
V2EX用户讨论高考志愿中计算机专业推荐热度下降,并将其与AI对程序员就业前景的冲击联系起来。帖子反映开发者社区对计算机专业红利、就业预期和AI替代风险的情绪变化。
中国人形机器人百人会与中国机械工业联合会发布倡议,要求规范引导情感陪伴人形机器人发展。倡议强调将安全伦理、隐私保护、质量管理纳入产品设计、研发、宣传和应用全过程,并推动关键核心技术与产业公共平台建设。
中国移动发起成立业内首个AI-eSIM产业协同平台“中国通信企业协会AI-eSIM专业委员会”。平台汇聚运营商、芯片设计、算法研究、安全服务和模型应用等40余家企业,意在推动AI与eSIM产业协同发展。
瑞银研究显示,截至今年4月的一年中,全球亿万富豪人数增长13%,平均财富增长25%。报道将主要推动因素指向AI相关股票上涨,反映AI资本市场热潮对高净值群体财富扩张的影响。
央行上海市分行披露行政处罚,瀚银科技因违反清算管理规定、商户管理规定,被没收违法所得约6592万元并罚款853万元,合计罚没近7445万元。相关责任人也因对清算管理违规负直接责任被罚34万元。
华为半导体负责人何庭波在ChinaXiv发布《面向多层级电子系统的时间缩微理论》V2版,补充工程落地细节、实测量化数据与产品演进路线。新版重点阐释LogicFolding齿比概念和3D单元级连续优化,指向后摩尔时代芯片缩放路径。
Hacker News 热帖讨论封闭会议室二氧化碳浓度升高对决策表现的影响,作者称实测会议室可超过 2000 ppm。文中引用劳伦斯伯克利实验室研究,称 1000 ppm 起多项决策指标显著下降,提示办公环境通风可能影响高强度脑力协作。
具身智能公司光象科技宣布累计完成数亿元天使轮融资,珠海科技产业集团、兴证资本、松禾资本等参与,老股东零一创投等继续加注。资金将用于物理原生基座模型研发迭代,并推进具身智能机器人产品商业化交付。
微软推出一项面向企业AI落地的新计划/机构,并配套25亿美元资源支持公司采用AI。该动作显示大型云厂商正从模型与算力竞争转向企业级实施、培训和应用迁移市场。
北京大学与中科院上海微系统所团队研制出全球首款基于相变忆阻器的神经动力学系统芯片,相关成果发表于《科学》。该芯片将复杂运算单步时延压缩至2.12毫秒,在脑皮层重建等任务中较先进GPU提速50至478倍,有望推动脑机接口等实时计算场景。
报道称SK海力士考虑在美国上市所得款项中拿出约0.5%支付给承销银行,交易规模尚未最终确定。该费率按美国标准偏低,但因潜在募资体量较大,仍可能成为今年亚洲公司相关交易中费用最高的案例之一。
作者分享长期使用AI编程代理的经验,指出其在定位Bug、代码推理和任务执行中常出现自信但错误的行为。文章引发开发者对Agentic Coding可靠性、监督成本与工作流设计的讨论。