28 篇热帖
Magika：AI驱动的快速高效文件类型识别系统
pip install magika），无需GPU，并提供命令行工具和Python库。另有实验性的npm包（TFJS版本）可用。核心概述
uv 是由 Astral 开发的、使用 Rust 编写的 Python 包安装器与依赖解析器，旨在成为 pip 和 pip-tools 工作流的直接替代品。它代表了构建一个“Python 版 Cargo”——即一个快速、可靠且易于使用的统一 Python 项目与包管理器——的重要里程碑。Astral 同时接管了实验性工具 Rye，计划将其与 uv 整合，共同推进 Python 包管理的未来。
关键特性与优势
pip-compile）和安装（如 pip-sync）基准测试中，uv 在无缓存时比 pip/pip-tools 快 8-10 倍，在有热缓存时（如重建虚拟环境）快 80-115 倍。创建虚拟环境的速度比 venv 快约 80 倍，比 virtualenv 快约 7 倍。pip 和 pip-tools 兼容的命令行接口（CLI），称为 uv pip API。现有项目无需修改即可使用，例如用 uv pip install 替代 pip install，用 uv pip compile 替代 pip-compile，用 uv venv 管理虚拟环境。pip、pip-tools 和 virtualenv，且不依赖 Python 环境本身，避免了多版本 Python 下管理 pip 的复杂性。--resolution=lowest，用于测试兼容的最低版本依赖）。--python-version），而非局限于当前环境。技术实现与愿景
pubgrub-rs 进行版本解析）。pip 的低层级接口，为未来更“ opinionated ”的、类似 Cargo 或 Poetry 的项目管理 API（如 uv run, uv build）预留了空间。当前局限性
pip，uv 尚未支持一些遗留特性（如 .egg 分发）。pip-tools 行为一致，但不同于 Poetry/PDM）。未来计划 发布后的首要任务是提高 uv 在不同平台上的兼容性、性能和稳定性，随后将致力于将其扩展为完整的 Python 项目和包管理器。
摘要
苹果公司已确认，在欧盟地区禁用 iPhone 网页应用（即渐进式网页应用，PWAs）是其有意为之的决策，而非软件错误。
事件始末 最初，开发者和安全研究人员在最新的 iOS 17.4 测试版中发现，PWAs 功能被降级。原本可独立运行、拥有本地存储、通知推送和专属窗口等类原生体验的网页应用，变成了仅打开网页的快捷方式。这导致了数据丢失和通知失效等问题。在多方询问未获苹果回应后，此事引发了外界关于其意图的猜测。
苹果官方解释 苹果随后在其官方网站上更新了针对欧盟《数字市场法》（DMA）合规的说明，就此变更作出解释。其核心理由是 DMA 强制要求苹果允许在 iOS 上使用 Safari WebKit 以外的其他浏览器引擎。苹果称，传统上 Home Screen 网页应用的安全与隐私模型完全构建在 WebKit 之上。若要支持其他浏览器引擎，并为这些网页应用提供与原生应用同等的安全隔离和权限管控（如保护摄像头、麦克风等数据访问），则需要构建一套全新的、复杂的集成架构。
苹果表示，考虑到 DMA 的其他合规要求以及 Home Screen 网页应用的用户采用率“非常低”，开发这样一套新架构既不切实际也无必要。因此，为了遵守 DMA，苹果选择在欧盟地区移除该功能。作为替代，欧盟用户只能将网站作为书签添加到主屏幕，这实质上使 PWAs 降级为普通快捷方式。
影响与争议 苹果预计此变更将影响少量用户，但对受影响的网页应用开发者和用户表示遗憾。此举引发了关于苹果动机的争议。批评者认为，这是苹果为维护其在 iOS 应用生态系统中的控制权和利润，不惜牺牲用户和开发者的体验。而支持者则可能认为，苹果的解释是合理的，旨在保护用户安全。
目前，苹果仍拒绝回应外界的进一步置评请求。
本文整理了从 Mac OS X Cheetah (10.0) 到最新 macOS Tahoe (26) 的所有主要版本默认壁纸。随着显示技术发展至5K/6K，早期壁纸已被手动调整以适应现代屏幕。
文章概要
2024年2月14日是经典游戏《Lemmings》（旅鼠）发行33周年。该游戏不仅是一款风靡全球的娱乐产品，更成为了文化符号，并直接催化了苏格兰游戏开发产业的繁荣。文章回顾了该游戏从1991年诞生至今的历程、核心设计、巨大成功及其深远影响。
核心要点：
总结：《Lemmings》从一款精巧的解谜游戏，发展为跨越世代的文化记忆，并成为苏格兰乃至全球游戏产业发展的重要里程碑。它的成功证明了创新玩法设计所能带来的持久影响力。
本文探讨了视频生成模型作为世界模拟器的潜力，通过回顾相关研究文献，展示了该领域从早期序列模型到现代扩散模型的技术演进。文章指出，视频生成模型不仅能够合成视觉内容，还可能学习并模拟现实世界的物理规律和动态，为人工智能的探索与学习提供模拟环境。
技术发展主要包括以下脉络：
这些模型的核心组件包括变分自编码器（VAE）、扩散模型、Transformer和预训练范式，通过不同组合实现从像素到语义的层次化生成。文章强调，视频生成模型的发展不仅服务于内容创建，更指向构建能够理解和预测世界动态的通用模拟器，为强化学习、交互环境构建等任务提供基础。
固件与内核限制
安装流程
guix system image -t iso9660 nongnu/system/install.scm安装后配置
/etc/config.scm：问题：默认200%缩放导致界面元素过大
启用分数缩放：
config.scm中的GNOME显示管理器配置，启用Wayland：(modify-services %desktop-services
(gdm-service-type config =>
(gdm-configuration (inherit config) (wayland? #t))))
dconf-editor，启用实验性设置：遗留问题：非原生Wayland应用（如Emacs）显示模糊
emacs-pgtk包替代标准Emacs包，改善显示效果《Think Python》第三版是一本面向零基础或初学受挫者的Python编程入门教材，现已在Bookshop.org和Amazon上提供纸质书和电子书版本。
第三版主要更新：
内容结构： 全书共19章，涵盖从编程思维基础到高级主题的完整学习路径，包括：
教学资源： 本书为教师提供了配套资源：
本文探讨了如何运用信息理论（特别是香农熵）来清理代码库，提升代码质量。核心思想是减少代码中的“惊奇”（surprise），即降低不必要的信息冗余，从而提高可读性和可维护性。
Css.hex "#ddd" 替换为 "ddd"）降低了熵，尽管文件内容更简洁。Attrs.css、Css.rem）。这些高频率、长单词的序列是压缩的候选对象，可以通过提取辅助函数或简化表达式来优化。根据 Perl 语言之父 Larry Wall 的观点，优秀程序员拥有三大美德：懒惰、急躁和傲慢。
懒惰：这种特质促使你付出巨大努力来减少总体精力消耗。它让你编写节省劳力的、对他人有用的程序，并撰写文档，以便无需反复回答关于程序的问题。
急躁：当计算机反应迟缓时产生的愤怒感。这驱使你编写的程序不仅能响应当前需求，更能预见需求——或至少看起来如此。
傲慢：这种特质让你编写并维护出使他人不忍诟病的、高质量的程序。
Campsite 服务关闭与团队变动通知
Campsite 宣布将于 2025 年 2 月 28 日正式停止运营。公司创始人将加入 Notion，继续致力于协作软件的开发。
对用户的影响与行动指南：
未来展望： 创始团队对在 Notion 的新工作感到兴奋，并承诺将投身于打造更强大的团队协作工具。
本文档汇总了 Kagi 搜索引擎及其生态产品（包括 Assistant、Translate、News、Maps 等）自2025年1月至2026年5月的主要更新、功能发布与优化。
kagi2pv5bdcxxqla5itjzje2cgdccuwept5ub6patvmvn3qgmgjd6vid.onion）和更新的隐私政策。本文详细介绍了从零开始构建一个支持自动微分的张量（Tensor）库的过程，其核心目标是为后续构建语言模型中的反向传播算法奠定基础。主要内容可分为以下几个关键部分：
1. 张量（Tensor）类的基础设计
文章首先定义了一个基础的Tensor类，用于封装标量数值。该类初始只包含一个value属性。随后，为了支持微分，为Tensor类增加了三个关键属性：
args：记录生成该张量的运算的输入张量。local_derivatives：记录运算输出对每个输入的局部导数。derivative：用于存储计算得到的最终梯度。2. 基本运算与局部导数记录
文章实现了加法（_add）、减法（_sub）和乘法（_mul）三个基本运算函数。这些函数的关键在于，在返回结果张量时，会将输入张量存储到args中，并将预先计算好的局部导数（如加法的导数为1和1，乘法的导数为另一个输入）存储到local_derivatives中，从而构建起计算图的边。
3. 从标量导数到计算图与链式法则
文章从单个运算的标量导数（如 ∂(x+y)/∂x = 1）出发，引出了处理嵌套函数（复合函数）的链式法则。为了可视化与计算复杂的嵌套导数，文章引入了计算图的概念，其中变量用圆圈表示，运算用方框表示，箭头表示数据流动。通过给边标注局部导数，并将从输出到输入的路径上所有边的导数相乘，再对所有路径求和，即可得到最终梯度。
4. 梯度计算算法的实现
文章将上述思想转化为算法。算法使用一个栈来进行广度优先搜索，遍历从最终输出节点（如损失 L）到所有输入叶子节点（如参数 x）的路径。
args的叶子节点时，就将累积的梯度累加到该叶子节点的derivative属性上。
这个过程有效地在一次遍历中计算出了输出对所有叶子节点的梯度。5. 优化与封装 为了代码的简洁性和可用性，文章进行了以下优化：
Tensor类的backward方法中。Tensor类的 __eq__、__add__、__sub__、__mul__ 等特殊方法，使得可以直接使用 +、-、* 和 == 运算符，使代码更直观。backward方法内部的代码。总结
最终，文章构建了一个能够对仅包含加、减、乘运算的任意数学表达式自动计算导数的轻量级库。其实现原理是通过在运算过程中隐式构建计算图，并在调用backward()方法时，使用基于栈的迭代算法（类似于广度优先搜索）遍历图，应用链式法则累积梯度。这为后续扩展至向量、矩阵乃至神经网络中的反向传播奠定了基础。
应用功能
Galactic Compass 是一款 iOS 应用，通过屏幕上一个绿色浮动箭头始终指向银河系中心——距离地球约 26,000 光年的超大质量黑洞人马座 A*。该应用利用设备陀螺仪、GPS 和天文坐标转换，实时计算并显示银河中心的方位角和高度角，使用户能直观感知自身相对于银河系中心的方位。
开发背景
作者长期对银河系方位有直觉兴趣，曾设想开发此类应用，但受限于编程技能。2023 年后，借助 ChatGPT 的代码生成能力，他逐步将想法实现。作者本身并非专业开发者，但擅长将复杂问题分解为可管理的小任务。
开发过程
应用意义
作者引用 Robin Sloan “应用可以是家常菜”的理念，强调此应用代表个人创意的直接实现——无需依赖专业团队，即可将小众兴趣转化为可分享的产品。AI 工具降低了技术门槛，使跨领域能力者能自主实现创意，并从中获得持续创新的动力。
发布与反响
总结
Galactic Compass 不仅是一个趣味工具，更体现了 AI 辅助编程如何赋能非专业开发者，并重塑个人数字创作的边界。通过持续指向银河中心，应用试图为用户提供一种宇宙尺度的方位感知，融合技术实现与哲学思考。
根据美国能源信息署（EIA）的初步数据，2024年美国计划新增62.8吉瓦的公用事业级发电容量，较2023年的40.4吉瓦（自2003年以来最高）增长55%。其中，太阳能和电池储能将占据绝对主导，合计占比达81%。
太阳能
电池储能
风电
天然气
核电
2024年美国新增发电容量将大幅增长，并由可再生能源和储能技术引领。太阳能创下新增纪录，电池储能产能实现翻倍，两者共同推动能源结构向清洁化、可调度化转型。风电增长相对平稳，天然气新增容量降至低位，且技术选择更侧重于灵活性。政策支持（如《通胀削减法案》）和供应链状况改善是这一趋势的重要推动因素。
Showmax 超越 Netflix 成为非洲最受欢迎的流媒体平台
根据 Omdia 的市场研究，南非流媒体公司 Showmax 在2023年11月底以 210 万 订阅用户，在非洲大陆超越了拥有 180 万 订阅用户的 Netflix，成为非洲市场的领导者。同期，Showmax 的市场份额接近 39%，而 Netflix 降至 33.5%。亚马逊 Prime Video 以 30 万用户位居第三。
成功关键因素
用户反馈与挑战
行业观点与未来目标
这段内容描述了一个在x.com上可能出现的技术问题。具体来说，某些隐私相关扩展程序可能会导致访问出现问题。系统建议用户尝试禁用这些扩展，然后重新操作。
本项目指导您制作一个3D打印的六足机器人，并提供了完整的资源链接和实施方案。
项目提供了一张内部元件布局示意图，展示了电池、主板、树莓派（若使用）、舵机和摄像头等主要组件在机器人内部的典型放置位置。
一份新报告揭示，塑料生产商超过30年来明知回收利用在经济和技术上均不可行，却持续向公众推广这一方案。报告由气候责任中心发布，基于内部文件和历史调查，指出行业可能违反了保护公众免受误导性营销和污染的法律。
塑料生产商在1950年代为确保市场增长，推广“一次性使用”概念。1956年行业会议鼓励生产商追求“低成本、大销量”和“消耗性”，目标是让产品最终进入垃圾车。
报告指出，行业近年来推广的化学回收（将塑料分解为分子以制造新产品）同样不是真正解决方案。行业内部早已知其“根本上不经济”，且该过程产生污染，比传统回收更耗能。这被视为欺骗行为的延续。
报告强调，通过法律手段追究塑料生产商的责任，是迫使他们改变商业模式的第一步，从而解决塑料污染危机。