最新

Kalshi 起诉伊利诺伊州一项对预测市场体育博彩征税的新法律，声称该法律不公平地将它们归类为无牌照赌博运营商，同时可能面临重罪指控。

QuEra 发布路线图，计划到2028年建造一台拥有超过10,000个量子比特和256个纠错逻辑量子比特的量子计算机，旨在超越现有系统，并在2029年推出更强大的后续机型。

谷歌警告称，欧盟拟议的法规要求其共享搜索数据并向竞争性AI助手开放Android，可能导致欺诈和隐私风险增加，并援引AI容易进行去匿名化。

.garden 顶级域名正被标记为问题区域，很可能是因为垃圾邮件或滥用问题，使其成为互联网生态系统中的‘不良邻居’。

Arena，这个源自加州大学伯克利分校的AI模型排行榜平台，在推出商业服务八个月后，年化经常性收入已达到1亿美元，凸显了市场对AI模型评估服务日益增长的需求。

vLLM 引入了 Semantic Router，这是一种服务层原语，通过微代理实现多个模型之间的协作，使得路由器能够在不修改模型权重的情况下提升输出质量。

以三星和SK海力士为首的韩国科技巨头已承诺投资超过9000亿美元，建设四座新的内存晶圆厂、一个HBM封装中心以及AI数据中心，以应对全球内存芯片短缺（‘RAMageddon’）并加强该国AI产业。

Anthropic与加州州长加文·纽森达成一项协议，允许州和地方政府机构以折扣价使用Claude AI聊天机器人，并提供培训和支持，旨在提高政府效率，同时维护安全标准。

这是一篇评论文章，探讨了关于形式验证的常见误解，并强调了它在确保软件和AI系统可靠性中的关键作用。

JumpServer 是一个开源的特权访问管理（PAM）平台，通过网页浏览器提供对 SSH、RDP、Kubernetes、数据库和 RemoteApp 端点的安全按需访问。

详细记述建造一台名为Wallace的153mm f/2.8超广角望远镜并将其与徒步结合进行天文观测的过程。

本文认为，核灾难中低剂量辐射的危害被过度夸大。通过切尔诺贝利的数据，文章展示了与其他工业灾难相比，其对健康的影响有限，并批评了由此对核电产生的监管负担。

Ornith-1.0 是一系列用于智能体编程的开源自我改进模型，通过联合优化脚手架和解决方案展开的强化学习，在编程基准测试中实现了最先进的性能。

Apple的M3版iPad Air，配备128GB存储和蜂窝网络支持，目前在Best Buy售价仅为499美元，相比基础款iPad和新款M4型号，性价比极高。

OpenAI 正在为其 Codex 编程工具预告一款新硬件设备，将于 7 月 15 日与 Work Louder 合作推出，可能是一个宏键盘用于快捷键。

Qwen 3.6 27B 被赞誉为强大的本地 AI 模型，在通用智能方面超越预期，适用于代码生成等实际任务，并能通过 llama.cpp 轻松运行。

索尼暗示，下一代PlayStation将扩展至客厅之外，可能提供手持游戏体验，这一线索来自近期的投资者问答会。

Tidal宣布将从7月15日起标记完全由AI生成的曲目并停止支付版税，但不会全面禁止；Spotify和Deezer等竞争对手也有类似政策。

讨论了使用OpenClaw的开发者如何通过一个交接文档（AGENTS.md）来跟踪目标、文件、失败和决策，从而在混乱的编码会话中保持AI编码代理的上下文。

Pieter Levels 分析了他的博客统计数据，发现负面内容比正面内容表现好约1.5倍，而好奇内容（如巧妙项目）排名第二。他分享了来自743篇帖子的详细情感和情绪数据。