The Verge ·

沃尔玛以23亿美元收购Vizio

💡 原文英文，约400词，阅读约需2分钟。

📝

内容提要

沃尔玛计划以23亿美元收购Vizio，提升广告业务。Vizio拥有500多个广告合作伙伴和1800万活跃账户。收购需监管审批，交易可能在45天内终止。

🏷️

ADI将以13.5亿美元全现金收购Alif Semiconductor
ADI与Alif Semiconductor达成最终协议，将以13.5亿美元全现金收购Alif。Alif专注边缘智能，其AI原生微控制器与融合处理器平台支...
为什么老阿姨喜欢我？
作者总结自己从小受阿姨们喜爱的原因：长相可爱无攻击性、嘴甜爱打招呼常带真诚笑容、愿意倾听关注让她们感到被看见。他强调不应带目的讨好，真心待人才能自然获得善意。
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
Christophe Pettus: All Your GUCs in a Row: max_function_args
PostgreSQL won't let you pass more than 100 arguments to a function, and ...
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
Anthropic报告里的AI假人与非法蒸馏
Anthropic报告称，有中国公司利用Claude操控约4700个AI账号，在约会软件上针对美国用户实施诈骗，两周内发送236万条消息；另有中国本科生用...