Mojo 1.0正式发布
Modular正式发布了Mojo 1.0,这是其Mojo编程语言的第一个稳定主要版本。Mojo旨在结合Python的易用性与系统级性能,这一发布标志着该语言在AI和系统编程领域的重大里程碑。
AI 精选科技资讯,为墨水屏优化
Modular正式发布了Mojo 1.0,这是其Mojo编程语言的第一个稳定主要版本。Mojo旨在结合Python的易用性与系统级性能,这一发布标志着该语言在AI和系统编程领域的重大里程碑。
第九巡回上诉法院驳回了Meta和TikTok援引《通信规范法》第230条主张豁免权的请求,允许加州及其他州总检察长提起的1.4万亿美元社交媒体成瘾诉讼继续推进。法院裁定第230条仅提供责任抗辩而非免于被诉的保护,陪审团遴选定于8月12日开始,审判将于8月19日启动。
谷歌Gemini和OpenAI的ChatGPT双双突破10亿月活用户大关,标志着AI普及的重要里程碑。谷歌CEO皮查伊称Gemini是公司历史上增长最快的产品,而OpenAI则在8月6日低调宣布了ChatGPT达到这一成就的消息。
A Security的研究人员利用不到20个AI提示发现了一个关键的Zoom漏洞,攻击者可通过标注功能在会议期间劫持设备。Zoom已修补此漏洞,该漏洞可导致数据窃取、未经授权的摄像头/麦克风访问或恶意软件安装。
一篇研究论文揭示了一种新型攻击方式:攻击者可以从声称隐藏推理过程的闭源LLM API中提取推理链(Chain-of-Thought)令牌。通过精心设计的查询和利用API响应模式,攻击者能够重建模型在复杂查询时的内部推理步骤。
文章介绍了yyjson库中高度优化的双精度浮点数转字符串算法'yy',该算法将Schubfach族算法简化为仅一次预计算10的幂次乘法。文章详细说明了yy如何利用定点算术和十进制网格交集高效寻找最短可往返十进制表示,并聚焦于边界情况的可视化分析。
由xAI联合创始人Igor Babuschkin创立的River AI,仅在成立两个月之际就以General Catalyst领投的方式获得11亿美元融资。该公司专注于构建个人AI代理,愿景独特。
Chrome引入了设备绑定会话凭证(DBSC),将加密密钥存储在TPM和Secure Enclave等设备级硬件安全模块中。这一措施防止攻击者窃取和重用会话Cookie,随着2FA和passkeys的普及,会话Cookie窃取正成为日益增长的攻击手段。
谷歌CEO桑德尔·皮查伊宣布Gemini已达成10亿月活跃用户,成为谷歌历史上最快达到该里程碑的产品。数据显示,63%的活跃用户使用语音输入,38%的学校相关请求包含附件,谷歌正计划推出新的学习工具。
特朗普提名共和党人丹妮尔·舒曼·塞弗斯担任联邦通信委员会(FCC)委员,形成3比1的共和党多数,打破了维持两党各占席位的传统规范。在第二个任期内,特朗普一直未填补留空的民主党席位,而FCC正是其向新闻媒体施压的核心平台。
苹果正在开发一项名为“Apple Reference Image”的功能,可在拍摄时向iPhone照片嵌入溯源元数据,帮助用户验证照片真实性并证明其非AI生成。该功能在iOS 27 beta 5代码中被发现,但目前处于关闭状态,启用后将默认为关闭。
Meta发布了Muse Glimmer,这是一个30B参数、采用Apache 2.0许可证的开源模型,专为端到端智能体任务完成而优化,在SWE-Bench、DeepSearch QA等基准上表现强劲。Simon Willison通过LM Studio本地测试了该视觉模型,展示了其导航代码库和处理多步工作流的能力。
探讨数据压缩与预测之间的深刻联系,分析压缩算法如何通过识别模式来预测后续数据。文章可能将经典信息论(香农、柯尔莫哥洛夫)与现代机器学习方法联系起来,展示更好的预测能力如何实现更好的压缩。
英伟达发布了Nemotron 3.5 Lightning开源语言模型升级版,并推出NeMo Switchyard工具以简化不同AI框架间的工作负载迁移。该工具链支持RTX消费级GPU与DGX服务器,旨在降低企业AI开发门槛。
探讨了在Apple Silicon上通过GPU直通运行macOS虚拟机,利用llama.cpp实现更快的LLM推理。作者展示了虚拟化macOS并利用原生GPU资源相比标准macOS设置可显著提升LLM服务性能。
AI编程代理公司Manus宣布将继续作为独立公司运营。该博客文章回应了用户,澄清了公司未来的发展方向,此前曾有收购或整合的猜测。
OpenAI的伦理负责人在加入不到一年后就离职,引发了人们对快速发展的AI组织中伦理治理挑战的思考。这段短暂的任期凸显了快速产品开发与负责任的AI监管之间的张力。
作者通过MITM代理拦截GitHub Copilot的网络流量,检查AI编程助手向微软服务器发送的数据。该调查揭示了遥测数据、请求载荷和使用AI编程工具的隐私影响。
本·汤普森在Stratechery的文章分析了英伟达面临的战略风险,探讨其GPU主导地位在竞争对手和市场需求变化下是否可持续。文章深入分析了AI芯片市场竞争格局对英伟达护城河的潜在威胁。
英国交通警察厅(BTP)将实时人脸识别(LFR)试验扩展至伦敦地铁站。这是在此前街头部署基础上的重大扩展,标志着在世界最繁忙的交通系统之一实施实时生物特征监控,引发安全与隐私方面的讨论。
由 Redis 作者 antirez 开发的 MiniMax H3 语言模型在 Apple Silicon 上的原生推理实现。该项目为苹果的 M 系列芯片提供高效的原生推理能力,无需依赖通用机器学习框架。
GNOME设计团队发布了针对GNOME Shell的长期设计愿景文档,概述了未来的UI改进方向。最具体的近期计划是重新设计的搜索界面,采用语义化叠加层从搜索框中展开,预计将在GNOME 51发布。其他想法包括更丰富的搜索结果(文件预览、多重操作、筛选等),但许多需要新API和应用适配。
Chicken Scheme 6.0 正式发布,带来多项重要改进,包括完整的 R7RS small language 模块支持、UTF-8 字符串编码,以及用 bytevector 全面替换 blob。进程处理现返回 process 对象而非裸 PID,文件锁定改用 flock(2) 实现线程安全。
Ata Kuyumcu 的博客中隐藏了一个完全去中心化的多人地牢爬塔游戏,无需任何游戏服务器或数据库。通过 Trystero 库,玩家利用公共 Nostr 中继或 BitTorrent Tracker 进行信令连接,地牢地图则根据日期哈希确定性生成,所有访问者探索相同的关卡。
Brian Callahan 博士分享了其被 IEEE 收录的论文,研究 OpenBSD 7.6 引入的 -fret-clean 安全缓解机制。该标志指令 LLVM 编译器在 amd64 架构的每次调用后插入清零 movq 指令,清除栈上的返回地址。
Uber已出售其在Serve Robotics的全部股权。Serve Robotics是从Uber 2020年收购Postmates后的机器人部门分离出来的独立公司。此次退出之际,两家公司业务方向出现分歧,Uber表示机器人利用率低于预期导致其平台配送量增长趋势逆转。
谷歌Gemini应用用户量已突破10亿,其中63%的用户通过语音功能与AI对话,该平台每日生成超过1.5亿张图片。
OpenAI的长期COO布拉德·莱特卡普即将离职,去寻找新的事业。他告诉员工,他仍然兴奋地从不同角度帮助推进OpenAI的使命。
OpenAI推出了Linux专用ChatGPT桌面应用,将聊天机器人和Codex引入该平台预览版。应用支持Ubuntu 24.04/26.04 LTS、Debian 13和Fedora 43/44,标志着OpenAI在所有主要桌面操作系统上的全面布局。此次发布比Anthropic推出Claude Linux桌面应用晚了约一个月。
Anthropic 的一个未发布模型在黎曼猜想这一超过150年的著名数学难题上取得了显著进展。虽然该猜想尚未被解决,但这一成果展示了高级AI模型不断增强的数学推理能力。
达美航空正在调查一起航班上有人设置伪造Wi-Fi网络的事件,导致机组人员关闭了约30分钟的真实机载Wi-Fi。此事凸显了航空网络持续面临的网络安全隐患。
Joby Aviation已与Resonant Sciences达成收购协议,价值5亿美元,正式启动其国防业务。此次收购标志着Joby将业务从民用电动垂直起降飞行器扩展至国防和政府领域。
Spotify将为代表AI生成身份的艺人档案引入
联邦调查局(FBI)披露,一名朝鲜公民曾以远程IT员工的身份为美国政府部门工作,凸显了朝鲜行动人员渗透美国机构的便捷性。该调查揭示了朝鲜在政府机构、私营企业和加密交易所植入人员的更广泛能力。
罗马尼亚陆军工兵在黑色海域的Neptun Deep海上天然气项目附近炸毁了漂移的两架俄制Gerbera无人机,该项目将使罗马尼亚成为欧盟最大天然气生产国。海岸警卫队船只发现这些无人机后由军队拆除炸药进行处理,乌方确认无人机不属于乌克兰。此类事件是2022年俄乌战争以来俄无人机频繁侵入罗马尼亚领土的又一案例。
新研究以小时为单位分析极端高温,揭示比传统每日指标更严峻的升温趋势,每十年增加62小时极端热浪。研究将极端高温定义为每个小时温度超过1981–2010年同期的第90百分位数,突显了日常平均值所掩盖的细节。该方法强调了气候驱动热事件的加速严重性。
研究人员展示了Pass-ta-key攻击,可从感染恶意软件的Windows设备上从Google密码管理器中提取passkeys,打破了passkeys仅存储在TPM中的常见误解。FIDO2规范并不强制要求硬件保护存储,许多平台在软件中本地存储passkeys,该攻击利用了这一点。
Leonardo公司的SignalTrace系统通过关联自动车牌阅读器附近检测到的蓝牙/Wi-Fi信号与车辆登记记录,将智能手机等无线设备与车牌关联起来。经过多次出行,反复出现在已知车辆附近的设备会被匹配为电子签名,使调查人员即使不知道车牌号也能追踪个人行踪。该系统已在马里兰州Oxon Hill等地部署,但尚未成为常规警务实践。
Sonos正准备推出Sonos Ace的后续耳机,根据新发现的FCC文件显示,这款耳机可能命名为"Sonos Ace Ultra",型号为S52A。此前CEO Tom Conrad在财报电话会议中曾暗示过这一消息,预计将于秋季发布。
谷歌将于8月12日举办Made by Google 2026发布会,预计推出Pixel 11系列、新一代Pixel Fold和Pixel Watch 5。爆料称Pro机型将内置灯光功能,多款车型或将推出多种配色。
新的越狱方法“Véra”已发布,支持最新的Kindle设备,涵盖至5.19.6版本的固件。这为之前因新固件而无法越狱的Kindle用户提供了新的选择。
前谷歌员工克莱尔·斯泰普尔顿的新书《不要作恶》记录了她从公司拥护者转变为直言不讳批评者的心路历程,提供了谷歌如何背离其原始理念的 Insider 视角。
Git-knife 是一款开源工具,允许用户以类似电子表格的交互方式编辑 git 提交记录的消息、作者和日期。该 Show HN 帖子在 Hacker News 上获得了 113 分和 80 条评论,显示出中等的社区关注度。
本文探讨了开发者社区中关于代码审查的演变讨论,回应了代码审查是瓶颈、无效或多余等常见观点。文章引用Google关于代码审查期望的研究——教育、维护规范、把关和事故预防——论证代码审查除了找bug之外还有多重目的。
Jordan Matelsky探索使用笔式绘图仪制作蚀刻全息图,在William Beaty手部绘制全息图的基础上进一步延伸。文章以直觉方式、无需数学地解释了全息光学原理,从手机屏幕上油渍指纹的反光现象入手,展示微小图案如何形成全息图像。
GitHub项目将Microsoft Word 1.1a移植为原生x64 Windows可执行文件,通过用现代替代方案替换16位汇编、分段内存和Win16平台边界实现。项目保留了原始应用程序及其用户体验,而非模拟器或重新实现。
作者认为本地AI模型永远不会取代数据中心托管的模型。他指出本地模型始终落后于前沿能力,用户总是倾向于使用最强的模型,而数据中心的推理成本也更低廉。
Bevy创始人Carter Anderson回顾过去一年,庆祝项目启动六周年。亮点包括推出周边商店、发布带Solari光线追踪光照的Bevy 0.17以及社区里程碑成果。
一篇关于SIMD向量化中内存对齐性能影响的技术博客文章。文章定义了内存对齐的概念,说明了向量访问对齐与标量数组访问的区别,并指出部分架构仅支持对齐的内存访问,处理未对齐访问需要额外开销。
一段YouTube演讲,探讨简化现代图形API并为当代GPU架构重新设计的方案。演讲分析了开发者在使用Vulkan和Direct3D等复杂图形API时面临的挑战,并提出了全新的设计原则。
美国风投机构Accel在19个月后成功关闭了新的一支5.5亿美元印度基金,且认购超额。该公司仍持有此前6.5亿美元印度基金的超过55%资金可供投资部署。
FBI发布预警,称网络犯罪分子正通过入侵成人和未成年人的在线账户,窃取个人及私密照片用于敲诈勒索。此次预警突出了目标明确账户接管攻击日益增多的威胁。
由菲比·盖茨和索菲亚·卡尼共同创办的购物平台Phia,因被指控从事Cookie填充(一种广告欺诈行为)而再次面临审查。据报道,两位创始人在事件公开前数月已知晓这些操作。这引发了对该初创企业商业行为和道德标准的持续质疑。
在大选后用户激增的一年多之后,Bluesky移动应用的活跃用户持续下降。不过,剩余社区的用户仍保持较高的参与度。
Scaleup Europe是一个目标规模为57亿美元的公私合营基金,已将其首笔投资投向了芬兰卫星公司ICEYE。该基金旨在支持欧洲科技规模化企业,标志着这一新基金的重要启动。
2025年下载量最高的手游《Block Blast!》将于9月登陆Apple Arcade,并去除所有广告。这一举措让Apple Arcade订阅用户能够免费体验这款热门益智游戏。
FlightAware对预测市场平台Kalshi提起诉讼,指控其未经许可使用了FlightAware的名称和航班数据来提供航班取消的投注服务。此案凸显了预测市场运营商未经授权使用第三方数据所引发的法律争议。
日本聚变初创公司Kyoto Fusioneering已获得拨款,用于制造聚变核电站燃料系统的关键部件。该公司正定位为未来聚变核电站的供应商,吸引了业内多家聚变初创企业的关注。
Bumble正在取消自2024年上线以来要求女性先发消息的标志性规则,允许男性率先发起聊天。这标志着该应用核心差异化功能的重大转变。
FDA披露仅2.5%的召回污染生菜流向Taco Bell,大部分(46%)销往沃尔玛旗下Marketside品牌,29%流向Taylor Farms自有品牌。这种受粪便污染的Cyclospora寄生虫疫情已导致47个州超过23000人感染,2人死亡,500多人住院。
Ars Technica分析了2.5万至3万美元的二手电动汽车市场,尽管来自租赁期满车辆的数量增加,但价格仍在上涨——自2月以来涨幅超过5%,而销量同比增长约20%。该价位段有超过9000款选择,其中雪佛兰Blazer和Equinox EV最为丰富。
Meta推出了Threads的VR应用,使其登陆Meta Quest头显,将社交媒体功能引入VR平台。该应用支持用户在VR中浏览动态、发帖、点赞、回复、搜索和观看视频,此前Threads已突破5亿月活用户。
谷歌TV免费流媒体服务Freeplay现已支持视频点播功能,用户可从超过1万个节目和电影中进行选择。同时,直播频道阵容也扩展至300多个,涵盖新闻、体育、真人秀等内容。
Audible美国版已从其网站移除将有声书下载到PC或Mac的按钮。下载功能在国际版Audible上似乎仍然可用,表明这是区域性政策变更而非全球更新。
2025年出版业收入总计334亿美元,数字格式占收入的14.2%。报告突出了数字音频和电子书对整体行业收入的持续贡献。