GlobalFoundries（格芯）宣布收购领先的AI和处理器IP供应商MIPS，此举将增强格芯在可定制IP领域的竞争力。MIPS的Atlas系列处理器IP基于开放的RISC-V架构，专注于实时计算，适用于自动驾驶、工业自动化、数据中心和智能边缘等应用。此次收购将使格芯能够为客户提供更灵活的基于RISC-V的开放平台解决方案，并结合其先进的工艺技术和制造能力，推动AI在各个领域的应用发展。
阅读更多
一个 Git 漏洞允许攻击者通过精心构造的 .gitmodules 文件，利用回车符 (CR) 和换行符 (LF) 的处理差异，在 Unix-like 系统上执行远程代码。攻击者可利用 CRLF 注入，修改子模块的路径，从而将子模块克隆到意想不到的目录，实现代码执行。该漏洞已修复，建议更新 Git 及其嵌入式版本。
阅读更多
Berry 是一款为微处理器设计的轻量级、高速且强大的脚本语言解释器。它采用单遍字节码编译器和基于寄存器的虚拟机，支持命令式、面向对象和函数式编程，语法简洁自然，并具有垃圾回收和易用的FFI（外部函数接口）。编译时对象构造使得大部分常量对象存储在只读代码数据段中，从而极大地降低了启动时的内存占用。其动态类型特性和灵活的设计使其非常适合嵌入各种应用中，提供良好的动态可扩展性。
阅读更多
本书通过对博卡乔作品中大量自传元素的解读，勾勒出一位复杂而矛盾的文艺复兴巨匠形象。作者深入分析博卡乔的文学创作与个人经历之间的关联，揭示其敏感、易怒、渴望认可却又充满不安全感等性格特质。虽然作者对博卡乔作品中的自画像过分依赖，导致部分推断缺乏严谨性，但仍为我们理解这位伟大作家的人生历程提供了宝贵的视角。
阅读更多
部分ChatGPT Plus用户发现了一个名为“一起学习”的新功能。该模式并非直接提供答案，而是引导用户进行思考，更像是一位AI助教。这引发了人们的猜测，它是否会发展成多人在线学习模式，以及能否有效阻止学生利用ChatGPT作弊。虽然OpenAI尚未回应，但ChatGPT本身表示该功能的普及时间和方式尚不明确。这一功能的出现，反映了ChatGPT在教育领域的两面性：它既可以辅助教学，也能被滥用于作弊，而“一起学习”模式或许是OpenAI尝试引导其向积极方向发展的一种尝试。
阅读更多
Netflix在洛杉矶动漫展上公布了其动漫战略的最新成果：全球观看量突破10亿，会员观看率超过50%，五年内增长三倍。2024年有33部动漫作品进入Netflix全球Top 10（非英语）榜单。为了满足全球观众需求，Netflix增加了33种语言的配音和字幕。即将推出的作品包括《坂本日常》、《赛博朋克：边缘行者2》、《美乐蒂与酷洛米》以及《终末的审判III》等，涵盖动作、科幻、奇幻和生活等多种类型，进一步巩固了Netflix在全球动漫市场的领导地位。
阅读更多
苹果TV应用中出现了一个全屏F1电影广告，直接链接到外部网站购买电影票，这引发了争议。苹果对其他应用强制执行的应用内购买（IAP）规则，在此例中似乎并未遵守。文章指出，购买电影票并非“数字内容”，因此不受IAP规则限制，但这对普通用户来说可能难以理解。这种差异化对待引发了关于用户体验和苹果政策透明度的讨论，属于科技新闻。
阅读更多
德里政府因公众强烈反对和政策实施的担忧，被迫撤销了一项有争议的计划，该计划实际上禁止旧车在城市道路上行驶。该计划本将利用自动车牌识别摄像头（ANPR）在加油站拒绝为超过15年的汽油车和超过10年的柴油车加油，甚至可能当场扣押车辆。这项政策引发了中产阶级的愤怒，他们认为这项政策实施困难，并且对经济造成影响。政府最终承认了这项政策的不足，并承诺探索更长期的可持续交通解决方案，以解决空气污染问题。
阅读更多
面对Switch 2游戏开发成本的激增，任天堂社长古川俊太郎承认风险增高，但表示公司正在探索多种方法来保持其传统的游戏开发方式，包括投资更高效的开发流程以及开发更多小型游戏来降低成本和价格。虽然Switch 2游戏如《马里奥赛车世界》已展现出更高的雄心和更高的价格，但任天堂也意识到价格可能成为障碍，并正在密切关注。与其他公司大规模裁员和取消游戏项目相比，任天堂的策略显得更为谨慎和务实。
阅读更多
在《堡垒之夜》取得巨大成功后，Epic Games一直努力将自己的应用商店推广到更多手机上。2023年末，Epic赢得了对谷歌的反垄断诉讼，随后又起诉三星在其Android手机上部署“自动拦截器”，该拦截器使得用户更难安装Epic Games Store。就在三星即将发布新款手机的几天前，双方达成了和解。这场纠纷源于Epic Games此前挑战谷歌和苹果的应用商店规则，导致《堡垒之夜》被下架。虽然苹果胜诉，但谷歌败诉，因为Epic证明谷歌曾试图阻止类似Epic应用商店的发展。此次和解标志着Epic Games与三星之间长期法律战的结束。
阅读更多
自动驾驶公司Waymo近日启动了在费城和纽约市的测试项目，旨在扩展其在东北部城市的服务范围。Waymo将先派遣配备其自动驾驶系统的车辆进行地图绘制，之后进行无人驾驶测试（但仍有人类驾驶员在车内）。此前Waymo已在其他城市进行过类似的测试，部分城市随后推出了商业服务。虽然Waymo已申请在纽约市进行无人驾驶测试许可，但目前尚未获得批准，商业化部署仍需时日。Waymo的最终目标是将其商业自动驾驶出租车服务扩展到更多城市，包括计划在今年进军迈阿密，2026年进军华盛顿特区。
阅读更多
苹果在iOS 26开发者测试版第三版中，降低了Liquid Glass设计语言中导航栏、按钮和标签的透明度，这使得原本清晰可见的内容现在变得更加不透明。此举是为了提升可读性，回应了用户此前关于透明度过高导致部分选项难以辨识的反馈。然而，部分用户认为这一改变削弱了Liquid Glass标志性的玻璃质感，甚至将其视为对WWDC上展示设计的倒退。虽然目前仅为开发者测试版，但这一变化仍引发了争议，苹果未来或将继续调整。
阅读更多
体育流媒体服务商Fubo因未经用户同意非法泄露用户个人身份信息(PII)，同意支付340万美元以解决集体诉讼。诉讼称Fubo违反了《视频隐私保护法》(VPPA)，未经用户知情同意，将用户的观看历史等信息提供给第三方广告商进行精准广告投放。Fubo当时的隐私政策声称只分享非个人身份信息，但原告指出Fubo未征得用户同意即共享PII。
阅读更多
本文介绍了如何轻松运行一个证书透明性（CT）日志，这是维护网络安全的重要组成部分。作者指出，借助新的Static CT API和Sunlight实现，运行CT日志的成本和难度已大幅降低，一台服务器、少量带宽和存储空间即可满足需求。这对于拥有闲置资源的组织或个人来说，是一个贡献网络安全、提升自身技术能力的机会。
阅读更多
19世纪的数学家查尔斯·巴贝奇在其自传中讲述了他令人着迷的破译密码经历。他从小就展现出过人的天赋，轻松破解同龄人的密码，但也因此挨了不少打。巴贝奇坚信任何密码都能被破译，并与友人进行了一场有趣的对决，最终凭借其非凡的洞察力和耐心，成功破译了朋友设计的密码，揭示了其看似复杂的规律，展现了其在密码学领域的非凡才能。
阅读更多
作者的父亲热爱经典老爷车，将其视为特定时代科技的象征。作者则以购买一台1989年的Macintosh SE/30为契机，探索了影响他这一代人的经典电脑。这台Mac并非出于怀旧，而是为了探索一个他错过的时代，如同他父亲怀念其经典座驾一般。作者将这台Mac视为科技进步的象征与逝去时代的纪念，并计划修复和使用它，如同他父亲偶尔驾驶老爷车一般。
阅读更多
近年来，利用光子构建容错量子计算机取得了显著进展。研究人员通过各种方法，例如利用光子数态叠加生成“薛定谔猫态”和“格点态”，并结合量子纠错编码（如Gottesman-Kitaev-Preskill码），成功地创建了更强大的光子量子比特，为构建可扩展的容错量子计算机奠定了坚实基础。这些突破性的研究成果发表在《科学》、《自然》等顶级期刊上，标志着光子量子计算技术迈向了新的里程碑。
阅读更多
研究人员利用MADO模型和最小成本路径算法，结合地形数据重新评估了安东尼努斯行程表中从图伊到卢戈的路段（罗马道路XI）。研究发现，先前研究中提出的站点位置分布差异显著，主要原因在于地形坡度对路线选择的影响。通过考虑地形因素，研究者提出了新的最佳路线，该路线与考古发现较为吻合，并解释了部分里程碑位置与最佳路线存在偏差的原因。
阅读更多
本文探讨了《侏罗纪公园》的成功之处，并将其与后续作品进行对比。作者认为，该片的成功源于史蒂文·斯皮尔伯格对恐龙的敬畏之情，以及对电影中人物塑造的巧妙处理。与后来那些缺乏深度和创意的续集不同，《侏罗纪公园》成功地将科学事实与虚构故事融合，并巧妙地刻画了人物之间的关系，使其成为一部经典的恐龙电影。
阅读更多
本期节目探讨了宫胁昭快速造林法，这种方法以其惊人的速度和密度在全球掀起热潮。然而，嘉宾们对该方法的有效性和适用性提出了质疑。一些人认为，该方法过于简化，忽视了不同地区的生态环境差异，导致种植的树木存活率不高，甚至可能破坏当地生态系统。另一些人则认为，该方法能够激发公众参与环保的热情，并作为一种入门方式引导人们深入了解生态学知识。节目中，专家们从科学和实践角度对该方法进行了深入分析，并探讨了其潜在的益处和风险。
阅读更多
EPANET-JS是一款结合现代网络地图和EPANET水力模拟算法的网络应用，专为水务系统规划和更新人员设计。它由Iterating团队开发，利用作者之前开源的Placemark地图编辑工具代码构建。EPANET-JS不仅在浏览器中运行完整的模拟，还以开源方式回馈社区，为水力模拟领域带来革命性改进，挑战昂贵的传统软件。
阅读更多
作者在构建开源1U托管以太网交换机LATENTRED的过程中，遭遇Microchip VSC8512 PHY芯片文档缺失的难题。官方文档并未提供SERDES TX均衡器设置方法，需要签署NDA才能获取完整资料。作者通过分析公开的文档、IBIS-AMI模型和Microchip以太网交换机API（MESA），结合逆向工程手段，最终找到了修改均衡器设置的方法。他发现VSC8512内部包含一个未公开的MCU接口，通过一系列的寄存器操作，成功调整了SERDES TX均衡器，改善了信号完整性。此项目展现了开源精神和强大的逆向工程能力，为其他开发者提供了宝贵的经验。
阅读更多
传统变形图像只有从特定角度才能识别其真实形态。本文利用潜在校正流模型和一种名为拉普拉斯金字塔扭曲的全新图像扭曲技术，创造出即使直接观看也能保持有效解释的变形图像。这项工作将视觉字谜扩展到潜在空间模型和更广泛的空间变换，实现了新颖的生成性感知错觉的创造，为图像生成领域带来了新的可能性。
阅读更多
3019年第三纪3月15日，索伦向中土世界的自由人民发起了战争。在佩兰诺平原，米那斯提力斯城门前，一场史诗般的战斗正在打响。洛丝洛林、瑟兰迪尔的王国、以及戴尔和孤山都遭到围攻。这款名为《双塔》的MUD游戏，忠实还原了托尔金笔下的中土世界，拥有超过10万个房间，数百个任务，并拥有一个活跃的全球玩家社区。自1994年以来，这款游戏持续运营至今，由一群热爱托尔金和多人游戏的志愿者维护。加入我们，选择你的阵营，投入这场史诗级的冒险吧！
阅读更多
Rust的`#[derive]`宏在生成`Clone`等trait实现时，要求所有泛型参数也必须实现`Clone`，这限制了其应用场景。文章分析了两个例子，说明了该限制导致代码无法编译的原因。作者提出了两种解决方案：一是提交RFC修改编译器行为，二是编写自定义宏来绕过限制。作者选择后者，并计划在`derive_more` crate或自行创建的crate中实现更灵活的derive宏，以解决这个问题。
阅读更多
困扰数学家数十年的高维空间球体堆积问题取得了重大突破。Boaz Klartag教授另辟蹊径，运用凸几何的知识，巧妙地改进了一种已有方法，实现了球体堆积效率的显著提升。他利用随机过程调整椭球体，最终找到了比以往任何方法都更有效的球体堆积方式，其效率在高维空间中提升了数百甚至数百万倍。这一突破不仅刷新了球体堆积的记录，也重新燃起了对高维空间中球体最佳堆积方式的讨论，为密码学和通信等领域带来了新的启示。
阅读更多
Lean 4.22 版本即将推出一个令人兴奋的新特性：用于证明命令式程序属性的全新验证基础设施。文章以一个简单的例子——判断列表中是否存在两个整数之和为零——展示了该特性的使用方法，并将其与 Dafny 和 Verus 等类似工具进行了比较。新框架 Std.Do 基于 Hoare 三元组，并结合了 mvcgen 和 grind 策略，极大地简化了命令式程序的验证过程，即使对于包含循环和提前返回的复杂情况，也能轻松应对。相比于依赖外部 SMT 求解器的自动化系统，Lean 的交互式证明方式更可靠、更易于调试和维护，这使得 Lean 在实际的程序验证任务中具有显著优势。
阅读更多
作者在周末利用大型视觉模型（VLM）技术，仅凭一张商场照片，就成功构建了一个室内定位系统原型。该系统通过标注商场地图，识别照片中可见的商店，并结合VLM的图像识别能力，将照片中的位置与地图上的位置进行匹配，最终在照片中定位出作者所在的位置。尽管存在一定的误差，但结果令人惊讶，展现了VLM在室内定位领域的潜力。这项工作为未来的增强现实（AR）设备和机器人应用提供了新的可能性，同时也提醒我们注意技术带来的潜在环境问题。
阅读更多
Ossia Score 是一款面向视听艺术家的开源多媒体创作工具，它允许用户通过 JavaScript、ISF着色器、Faust、PureData 或 C++ 等多种语言进行创作，并支持 OSC、MIDI、DMX、音频、视频等多种数据格式的交互。它兼容各种硬件，如操纵杆、Wii遥控器、Leap Motion 和 BLE 传感器，并能处理 CSV 和 HDF5 数据集，支持 Windows、Linux 和 macOS 系统，甚至可在树莓派 Zero 2 上运行。Ossia Score 提供了丰富的功能，让艺术家能够轻松创建交互式多媒体表演。
阅读更多
为实现“零死亡愿景”（Vision Zero），美国多个城市正尝试使用AI摄像头来提高司机遵守交通规则的程度。Stop for Kids和Obvio.ai等公司开发的AI系统能够自动检测闯红灯、超速和不礼让等违规行为，并自动开罚单。Stop for Kids在试点项目中取得了显著成效，违规率下降了90%以上。然而，隐私问题依然存在争议。Obvio.ai则采用人工审核的方式，在保证安全的同时，最大限度地保护个人隐私。这些AI系统旨在通过技术手段改善交通安全，最终目标是让这些系统变得多余，实现真正的零交通事故。
阅读更多