苹果音乐推出了全新的DJ功能，允许订阅用户直接从苹果音乐的海量曲库中创建和混音。该功能与AlphaTheta、Serato、InMusic旗下的Engine DJ、Denon DJ、Numark和Rane DJ等DJ软件和硬件平台集成，并基于与Algoriddim的djay Pro软件的集成。所有级别的DJ都可以访问苹果音乐超过1亿首歌曲的曲库，在任何这些DJ软件和硬件平台上创建和排练他们的作品。此次整合不仅方便了DJ的音乐创作流程，还为DJ提供了专属的音乐分类页面和策划的播放列表，进一步提升了DJ的创作体验。
阅读更多
本文回顾了Anthropic的Claude平台及其Artifacts功能，该功能允许用户无需编码即可创建AI驱动的网页应用。作者将Claude比作生成式AI时代的Dropbox，因为它解决了用户创建和分享AI应用时遇到的API密钥、部署和身份验证等问题，并巧妙地通过用户的Claude账户订阅来实现盈利，无需开发者承担任何成本。作者认为，Claude的这种模式具有极高的商业价值，并展望了未来通过简单的支付方式来变现的可能性。
阅读更多
芝加哥太阳报在其夏季增刊中刊登了一份由AI生成的虚假夏季阅读书单，引发了广泛争议。该书单列出了真实作者但虚构书名的书籍，被作家和读者批评。尽管出版商解释称该增刊为全国性通用内容，且人员精简后资源有限，但读者仍表达了不满，认为这是对订阅用户的欺骗，并要求追究责任。这起事件突显了AI在新闻出版领域应用中的风险和伦理问题，以及媒体行业在资源压缩下的困境。
阅读更多
近年来，西方国家普遍认为青少年心理健康危机日益严重，但数据显示并非如此。美国确实存在心理健康危机，但主要集中在中年白人男性和年轻美国印第安男性身上，而非青少年女性。自杀率数据显示，各群体自杀率涨跌同步，中年白人男性和年轻美国印第安男性的自杀率远高于青少年，且2003年至2020年间增幅更大。2020年至2023年间，除美国印第安女性外，大多数群体的自杀率均下降，这与社交媒体使用率没有显著关系。CDC数据显示，家庭逆境事件（如虐待、忽视、父母患有精神疾病或服刑）与青少年心理健康问题之间存在显著关联，而非社交媒体。因此，关注家庭环境而非社交媒体，才是解决青少年心理健康问题的关键。
阅读更多
还在为查看巨大的日志文件而苦恼吗？这款名为`giant-log-viewer`的软件可以瞬间打开 4TB 的文本文件，内存占用极低，仅需 80MB JVM 堆内存。它支持 UTF-8 和 ASCII 编码，但存在一些限制：不支持长行（>=1MB）、Emoji 和无 GUI 系统，目前仅支持 Windows、macOS 和 Linux。虽然功能不如 `less` 强大，但它对于快速浏览大型日志文件非常方便，你可以通过拖放文件或键盘快捷键进行操作。该项目开源，代码托管在 GitHub 上，作者也欢迎捐赠以支持后续的签名认证工作。
阅读更多
Python 包索引 (PyPI) 推出了“项目隔离”功能，以应对持续存在的恶意软件问题。该功能允许管理员将潜在有害的项目标记为隔离状态，阻止用户轻松安装，从而减少恶意软件造成的损害。该系统并非直接删除项目，而是将其从简单索引中隐藏，项目所有者仍然可以修改项目（但不能发布新版本），管理员可以随时解除隔离。未来，PyPI 计划通过自动化系统，根据多个可信报告自动隔离项目，进一步提高效率，并减少恶意软件传播的时间窗口。
阅读更多
本文探讨了中心化授权系统的优势和挑战。传统上，授权分散在各个应用中，效率低下且难以管理。中心化授权系统能带来标准化、降低成本和加强合规性等好处，但需要解决表达能力、性能、隔离性和集成性等难题。文章介绍了如何使用像Topaz和Aserto这样的开源和商业平台来克服这些挑战，最终实现一个高效、安全且易于管理的企业级授权系统。
阅读更多
Minecraft 25w03a快照发布，游戏测试系统迎来重大更新！现在可以通过数据包和新的测试指令访问游戏测试系统，可以使用新的测试方块进行基于方块的测试，或在模组中使用代码设置更通用的测试。此更新还包括许多技术改进，例如数据包版本更新到63，资源包版本更新到48，以及新的游戏测试主入口点。此外，还修复了许多bug，并对实体数据、物品组件和资源包进行了改进。
阅读更多
历时十年，利用超过600张哈勃太空望远镜拍摄的图像，科学家们拼接出一张史无前例的4.17亿像素仙女座星系全景图。这张巨幅图像包含2亿颗恒星，展现了仙女座星系前所未有的细节，为研究其历史和与其他星系的合并提供了宝贵资料。这项工作不仅展现了哈勃望远镜的强大能力，也再次印证了人类探索宇宙的毅力与决心。
阅读更多
这项研究提出了一种高效的3D重建方法，通过融合来自不同2D模态的数据（深度图、语义分割结果和CLIP特征）到预训练的稀疏体素中。该方法利用经典的体积融合方法，对2D视图进行加权平均，生成包含深度、语义和语言信息的3D稀疏体素场。研究展示了利用深度图生成SDF（符号距离函数）重建网格、利用Segformer进行语义分割以及利用RADIOv2.5和LangSplat提取视觉和语言特征的例子，并提供了Jupyter Notebook链接以供参考。
阅读更多
本文探讨了SQL在测试和复用业务逻辑方面的不足，提出了一种名为“函子”的可组合SQL片段解决方案。通过将查询参数化并依赖接口而非具体表，函子解决了SQL测试的难题，并允许在不同查询中复用业务逻辑，从而提高代码的可读性、可测试性和可重用性。作者还讨论了泛型、业务逻辑泛化以及避免全局变量等方面的扩展，最终实现高效、可测试且易于理解的SQL查询。
阅读更多
在Windows 11沙箱环境中安装测试Neovim时，发现其捆绑的tee.exe二进制文件被识别为恶意软件。该文件进行可疑的DNS查找和网络连接，其中一个IP地址已被VirusTotal标记为恶意。作者建议对该二进制文件进行根本原因分析，并建议Neovim的依赖项从源码构建，以避免此类安全风险。
阅读更多
亚马逊强制员工每周五天返回办公室的政策在1月份显著增加了西雅图市中心的上班族人数，虽然仍未恢复到六年前的水平。数据显示，亚马逊办公室所在的南湖联合区和丹尼回填区的客流量恢复到了2019年1月的74%。尽管市中心整体客流量比去年同期增长9%，但仅恢复到疫情前平均水平的57%。然而，市中心咖啡馆、午餐场所等都呈现出繁荣景象。未来，花卉展、足球赛和动漫展等活动有望进一步提升市中心客流量和经济活力。
阅读更多
研究人员开发了一种新方法，能将C语言代码安全地编译成Rust语言。这项技术利用静态分析和类型导向转换，避免了依赖Rust的`unsafe`代码块，从而保证了内存安全。该方法已成功应用于HACL*加密库和EverParse库中的代码，生成了一个8万行纯Rust编写的、经过验证的现代加密库，这是业界首创。
阅读更多
本文探讨了排版引擎Typst和TeX在布局模型上的差异。TeX基于盒子和胶水模型，灵活但缺乏对精确位置的感知；Typst采用区域模型，允许元素对其位置做出反应，但牺牲了部分灵活性。作者分析了两种模型的优缺点，并指出Typst通过引入重新布局机制，有望兼顾灵活性与优化，解决目前在处理复杂布局（如环绕式图片、可分页表格）上的不足。
阅读更多
本文讲述了爵士乐传奇人物路易斯·阿姆斯特朗1922年到达芝加哥，加入乔·奥利弗乐队的传奇故事。作者理奇·里卡迪通过新书《踩踏吧，我们走吧：路易斯·阿姆斯特朗的早期岁月》生动地还原了阿姆斯特朗从新奥尔良到芝加哥的旅程，以及他在林肯花园首次登台的紧张与兴奋。这段经历不仅标志着阿姆斯特朗职业生涯的转折点，也展现了他谦逊的品格和对导师的尊重。
阅读更多
2015年，东京大学信息科学系学生在“CPU实验”课程中，挑战了前所未有的难度：设计并构建一个RISC指令集架构（ISA）的处理器，为其编写C语言编译器，最终成功运行了类Unix操作系统Xv6。这是一个耗时四个月的项目，团队克服了编译器构建、操作系统所需CPU特性、模拟器改进以及Xv6移植性等诸多挑战，最终不仅成功运行了Xv6，还实现了游戏（2048、扫雷）等娱乐功能，甚至在自制CPU上运行了课程要求的光线追踪程序。这是一个充满挑战和乐趣的经历，展现了学生们非凡的创造力和技术实力，也证明了“重新发明轮子”的价值和意义。
阅读更多
一家公司仍在生产环境中运行一台使用了十多年的旧文件服务器。这台服务器虽然老旧，BMC 甚至需要 Java 来支持 KVM-over-IP 功能，但由于其拥有 16 个磁盘托架和 10G 以太网端口，以及公司对低成本大容量存储的需求，它被重新利用作为“自带磁盘”的廉价存储服务器。尽管速度和内存较低，但满足了用户的低性能、大容量需求。这体现了在特定情况下，老旧硬件通过合理利用依然可以发挥价值的理念。
阅读更多
GitHub 安全实验室的研究人员发现了 ruby-saml 库中两个严重的身份验证绕过漏洞（CVE-2025-25291 和 CVE-2025-25292）。攻击者利用该漏洞，只需一个有效的签名即可伪造 SAML 断言，从而以任何用户身份登录，实现帐户劫持。该漏洞源于 ruby-saml 使用了两个不同的 XML 解析器（REXML 和 Nokogiri），导致解析结果差异，被攻击者利用。目前已发布 1.18.0 版本修复漏洞，建议所有 ruby-saml 用户尽快更新。
阅读更多
从探险家沙克尔顿的南极探险到现代旅行者们另类的旅程，本文探讨了旅行方式的演变。便捷的交通和大众媒体塑造了千篇一律的旅游模式，但与此同时，一股追求不寻常冒险的新潮流正在兴起。例如，有人尝试直线穿越国家，有人在欧洲玩捉迷藏，有人徒步探索城市未知角落。这些冒险并非追求地理上的发现，而是体验新的方式，发现旅行中被忽视的乐趣。文章最终鼓励读者抛开固有模式，拥抱个性化的、不寻常的冒险之旅。
阅读更多
Mullvad VPN 发布了 2024 年回顾，总结了其在提升用户隐私和安全方面的重大进展。其中包括将支持团队邮箱迁移至自托管硬件，推出 DAITA 技术以增强流量混淆，在所有平台上添加多跳连接和 ShadowSocks 支持，以及完成对 VPN 服务器和应用的多次安全审计。此外，Mullvad 还开展了传统户外广告宣传活动，以提高大众对大规模监控的认识。
阅读更多
一支由前Facebook员工组成的五人团队，基于他们在Facebook积累的经验，正在构建一个开源CMS，旨在简化内容创作流程。他们首个亮相的工具是一个基于Twitter用户名生成“身份卡”的程序，并计划将类似Constitutional AI的方法应用于模型微调和推理。该团队强调易于贡献的开发体验，并采用Isograph、Replit和Sapling等非传统工具，旨在降低参与门槛，提升开发效率和协作性。他们希望通过社区驱动的方式，打造一个更友好的开源项目。
阅读更多
DeepSeek R1，一个开源模型，在复杂推理任务中与OpenAI的模型一较高下。它利用群体相对策略优化（GRPO）和强化学习的多阶段训练方法，不仅发布了模型，还发布了相关的研究论文。论文中描述了训练过程中一个“顿悟时刻”：模型学会了通过重新评估初始方法来分配更多思考时间，无需任何人工反馈或数据指导。本文尝试使用GRPO和Countdown游戏来重现DeepSeek R1的“顿悟时刻”，训练一个开源模型，使其自主学习自我验证和搜索能力。文章还提供了一个Jupyter Notebook交互式代码，以及在多GPU节点或SLURM集群上运行训练的脚本和说明，方便读者学习GRPO和TRL的使用方法。
阅读更多
一篇新论文展示了一个仅需6美元训练成本的AI模型S1，其性能逼近最先进水平，却可在普通笔记本电脑上运行。S1的关键在于其巧妙的“推理时间缩放”方法：通过在LLM的思考过程中插入“Wait”指令，控制其思考时长，从而优化性能。这与Entropix技术异曲同工，都通过干预模型的内部状态来提升性能。S1极度节约数据，仅用1000个精选样本就达到了令人惊讶的效果，这为AI研究带来了新的思路，也引发了关于模型蒸馏和知识产权的讨论。S1的低成本和高效性预示着AI发展将进入一个更加快速迭代的时代。
阅读更多
哥伦比亚大学即将毕业的哲学系学生Mohsen Mahdawi在佛蒙特州参加美国公民申请面试时，被戴着兜帽和口罩的ICE探员秘密逮捕并带走。Mahdawi持有绿卡，其律师认为这是对Mahdawi支持巴勒斯坦的报复。法官已下令暂时阻止当局将Mahdawi转移或驱逐出境。Mahdawi曾接受60分钟采访，谈及对以色列回应哈马斯袭击的抗议活动，并强调反犹太主义与争取巴勒斯坦自由的斗争应并行。
阅读更多
HNSW 是一种基于分层可导航小世界图的近邻搜索算法，它利用分层结构加速向量嵌入的近邻搜索。该算法通过在不同层次上构建稀疏和密集的图结构，并在搜索时从顶层逐步向下搜索，从而高效地找到最近邻。其代码简洁，使用现代 C++ 和 Eigen 库进行 SIMD 加速，只需约 500 行代码即可实现。
阅读更多
计算机历史博物馆沉痛悼念计算机先驱唐纳德·比特泽 (1934-2024)。比特泽是平板等离子显示屏的共同发明者，也是“PLATO”系统的创建者，该系统是世界上最早的基于计算机的共享式教育系统，也是世界上最具开拓性的在线社区之一。PLATO系统包含了论坛、留言板、在线测试、电子邮件、聊天室、即时通讯、远程屏幕共享、多媒体和多人视频游戏等诸多现代网络概念的雏形。比特泽的创新为现代网络社区的形成奠定了基础。
阅读更多
Yggdrasil 是一款实验性的紧凑型路由方案，完全去中心化，仅需少量状态即可运行。它主要是一种最短路径方案，网络将尝试找到到目的地的最直接路径。节点是平等的参与者，使用对等连接相互连接以承载网络流量。对等连接可以通过任何 IP 网络建立，无论是直接的有线或无线链路、局域网还是互联网。在某些情况下，同一网络上的附近设备还可以使用组播发现自动建立对等连接。所有 Yggdrasil 网络上的节点都是路由器，并将自动传递流量以帮助其尽可能接近其目的地。这意味着，即使在仅稀疏连接的网络中，所有节点都将可以访问该网络上的所有其他节点。即使节点位于 NAT 后面也无关紧要——一旦建立对等连接，流量就会通过该对等连接双向流动。Yggdrasil 还旨在容忍网络变化。例如，如果链路发生故障，网络将自我修复并使用其他链路在可用时路由流量。这使其适用于网状网络，其中网络拓扑可能会并且经常会发生变化。网络上的每个节点都有一个与位置无关的加密身份，并且在我们当前的实验实现中，稳定的 IPv6 地址是从此密钥生成的。这允许支持 IPv6 的应用程序在很大程度上无需修改即可在 Yggdrasil 上运行。地址是完全移动的，并随着节点在网络中移动而保持不变。
阅读更多
Python 的继承机制一直以来都很有趣。传统上，Python 使用基于类型的继承，类似 Java。但鸭子类型（通过魔术方法实现）的灵活性有限。PEP 544 引入了协议（Protocol），允许定义结构化子类型，即静态鸭子类型。通过继承 Protocol 类，开发者可以声明一组方法，任何实现了这些方法的类都将被视为该协议的实例，解决了传统鸭子类型在扩展性上的不足，使代码更清晰，更易于维护。
阅读更多
2024年对于数学界而言是激动人心的一年，一系列里程碑式的成果接踵而至。九位数学家完成了长达800页的几何朗兰兹纲领猜想证明，这一成就被誉为“皇冠上的明珠”，它将数学不同领域巧妙地联系起来。此外，在几何领域也有多个重大突破，有些解决了长期悬而未决的猜想，有些则提供了令人惊讶的反例。与此同时，人工智能在数学领域的影响力日益增强，谷歌DeepMind的AlphaProof模型在国际数学奥林匹克竞赛中表现出色，甚至可以作为数学研究的“副驾驶”。2024年取得的这些进展，不仅标志着数学研究的重大突破，也预示着AI技术将深刻地改变数学研究的未来。
阅读更多