Amiga Graphics Archive: 保存 Commodore Amiga 像素艺术
Amiga Graphics Archive 是一个策划的数字画廊，致力于保存为 Commodore Amiga 电脑创作的高质量且罕见的像素艺术。
GrapheneOS Defends Data-Wiping Function That Blocked US Border Search
GrapheneOS defended its duress password data-wiping feature after an activist used it to thwart a US Customs border search, saying the feature is legal and constitutional.
Claude Mythos Preview 发现对 HAWK 和减轮 AES 的改进攻击
Claude Mythos Preview 发现对 HAWK 后量子签名方案的改进密钥恢复攻击以及对 7 轮 AES 的更快 meet‑in‑the‑middle 攻击，展示了 AI 在不影响生产系统的情况下发现密码学弱点的潜力。
GrapheneOS 资助和捐赠基础设施
GrapheneOS 维护一个开源的隐私导向移动操作系统，得到了全球多样化捐赠方式的支持，包括加密货币、传统银行和赞助平台。
Deflock Casa Grande：应对亚利桑那州的 大规模监控
Deflock Casa Grande 是一个无党派的公民运动，主张对在亚利桑那州 Casa Grande 部署的 Flock Safety 监控网络进行监督、审计和问责。
Anthropic 对开放权重模型的立场：不主张禁止，重点放在芯片管控、蒸馏和安全测试
Anthropic 首席执行官 Dario Amodei 阐明，公司不主张禁止开放权重模型，而是主张对芯片出口进行管控、采取反蒸馏措施，并对所有具备能力的模型实施强制安全测试。
Netflix员工因在退修信任练习中分享个人详情而被解雇
一名Netflix员工在公司退修信任练习中披露个人信息后被解雇，引发了关于职场界限和雇主越权的争论。
Kimi Linear 在 75% 更少内存和 6× 更快解码的情况下优于全注意力
Kimi Linear 的混合线性注意力架构在各项任务中优于全注意力，通过将 KV‑cache 内存减少多达 75% 并为 1 M‑token 上下文提供最高 6× 更快的解码。
一个缺失的下划线导致无辜男子被关进监狱18个月
Kik 用户名中的一个单字拼写错误导致警方指控并定罪了一名无辜的加拿大男子，他在定罪被推翻前服刑了18个月。
ACM的提议：允许在数字图书馆上进行LLM训练——收益、风险与社区反应
ACM认为，授予LLM访问其数字图书馆的权限将提升AI的准确性并扩大研究影响力，同时也承认存在归属、许可和集中化风险。
Qwen3.5-9B 通过 RL 微调在目录审查中优于前沿模型，每 1k 条目成本为 $0.5
经过 GRPO 微调的 Qwen3.5-9B 模型在目录审查任务中达到了最大可达成分数的 87.3%，成本约为每 1,000 条目 $0.50，击败了得分为 76.9%、成本为每 1,000 条目 $19–$172 的前沿模型。
Yap: 面向 macOS 的开源本地语音听写工具
Yap 是一款免费的开源 macOS 应用程序，利用 Apple 的 Speech 框架提供快速的本地语音听写功能，无需外部模型或 API keys。
迈向软件开发的开放模型之变
开发者发现，像 Kimi K3 这样的开放权重模型，当与私有推理端点配对时，能够提供与面向目标编码任务的封闭前沿模型相媲美的数据所有权和迭代速度水平。
Vimgolf.ai：游戏化 Vim 学习平台
Vimgolf.ai 是一个交互式、基于关卡的学习平台，旨在通过游戏化挑战和与 “vimbot” 的竞争来教授 Vim 和 Neovim 命令。
在SlopCodeBench上对Opus 5进行基准测试
Opus 5在SlopCodeBench上达到了24%的严格通过率，表明尽管它优于之前的模型，但当前的前沿LLM仍然难以在长周期、迭代开发任务中保持代码库质量。
软件消费的伦理：分析 DHH 和 Hey 的争议
技术社区的一场辩论探讨用户是否应基于创作者的政治和社会观点取消软件订阅，这场辩论由 David Heinemeier Hansson 对移民和罗姆人的言论引发。
理解 ClickFix 验证码恶意软件攻击
新一波 'ClickFix' 攻击利用假冒的 CAPTCHA 页面诱使用户通过 Windows 运行对话框执行恶意 PowerShell 脚本，通常通过被入侵的网站传播。
苹果在AI市场泡沫中的战略定位
分析苹果优先考虑设备端AI和边缘硅的策略，以对冲潜在的AI市场泡沫破裂，并将其与AI供应商的高资本基础设施投资形成对比。
Apple 车辆运动提示 用于晕动症
Apple 的 Vehicle Motion Cues 功能利用屏幕上的视觉指示器来减轻在移动车辆中阅读或使用设备的用户的晕动症。
理解Forth：基于栈的编程和xkcd视角
Forth是一种以逆波兰表示法和极简设计为特征的面向栈的编程语言，常因其可读性而被误解。
XY – 快速、可组合、GPU 加速的 Python 图表库 (alpha)
XY 是一个处于 alpha 阶段、经过 GPU 加速的 Python 图表库，利用 Rust 核心和密度表面，可以从小型图表渲染到包含数十亿个点的交互式 Web 和 Notebook 图表。
您应该清洗太阳能板吗？
作者的测试表明，清洁太阳能板使功率提升了 2‑5%，相当于每年 modest 的节省，但这种节省可能随时间而衰减。
AI 训练与稀有书籍的破坏性扫描
报道表明，AI 公司正在批量采购并高速扫描后粉碎稀有书籍以创建训练数据，据称此做法被视为在合理使用下合法，以确保仅存在一份副本。
Google 诉 SerpApi：法院驳回针对搜索结果抓取的 DMCA 指控
美国法官驳回了 Google 对 SerpApi 的诉讼，裁定 DMCA 的反规避条款不适用于非版权搜索结果的抓取。
水体缺氧与行星界限框架
加州大学圣地亚哥分校斯克里普斯海洋研究所的研究人员警告称，快速的水体缺氧正将地球推向一个‘不安全的空间’，并可能对全球稳定产生不可逆转的后果。
通过 WebGPU 和 Rust 在浏览器中运行 Manim
一种新的基于浏览器的 Manim 动画引擎实现使用 Rust、WebAssembly 和 WebGPU 来实现数学动画的实时渲染和实时预览。
Lean 4 中经过正式验证的 3D CSG 网格交集
在 Lean 4 中实现的经过正式验证的 3D 构造实体几何网格交集，具有 93 行的规范和 AI 生成的证明，使得人工审查可以在不检查 1000 行实现的情况下信任其正确性。
python-build-standalone: 创建高度便携的 Python 分发版
python-build-standalone 提供自包含的 Python 分发版，具有最小化的运行时依赖，从而在各种系统上实现可靠的嵌入和安装。
Moonshot AI Kimi-K3 发布
Moonshot AI 正在发布 Kimi-K3，这是全球首个专为长程编程、推理和智能体任务设计的开源 3T 级模型。
tale.fyi: 同步小说和有声书的基于Web的阅读器
tale.fyi 是一个新的网络平台，旨在通过使用公共领域库和神经对齐提供同步的文本和有声书体验来庆祝小说。
伦理冲突与离开谷歌DeepMind
前员工描述了他们由于对公司政府合同的伦理担忧以及被感知到的公司问责缺失而决定离开谷歌DeepMind。
Anthropeum：一款面向人类文物的Geoguessr风格游戏
Anthropeum 是一款每日教育游戏，玩家需要猜测来自大都会艺术博物馆开放获取藏品的文物的来源和年代。
太空人士报告在为期六个月的 ISS 任务后出现持续的观察者感官
从为期六个月的国际空间站任务返回的太空人士描述了一种持续的观察者感官——感觉自己像是从轻微的距离观察自己的生活——飞行医师指出，对于大多数机组人员来说，这种感觉会在几周到几个月内消退。
FeyNoBg 和 NoBg：SOTA 背景移除模型与训练库
Feyn 介绍了 FeyNoBg，这是一个在八个类别中的基准测试中表现优异或持平的最先进背景移除模型，以及 NoBg，一个用于训练和运行此类模型的开源 Python 库。
Misago 从 React.js 迁移到 HTMX 以提升性能和可维护性
Misago 论坛项目正在用 HTMX 替换 React.js，以消除重复的 UI 逻辑，减小 JavaScript 包大小，并通过返回服务器端渲染来简化开发工作流程。
Bun Rust 重写：AI 驱动的开发与软件移植的现实
使用 Anthropic 的 AI 对 Bun 进行 Rust 重写的分析，突出了营销声称的 '已完成' 重写与实现稳定版本所需的持续工程工作之间的差距。
Segue：跨 AI 上下文转移 via MCP
Segue 是一种中立的中继，允许用户通过模型上下文协议（MCP）使用简短、易读的句柄，将工作上下文从一个 AI 助手保存并加载到另一个 AI 助手中。
Kimi-K3 技术报告与开源发布
Moonshot AI 发布了 Kimi-K3 前沿模型及其相关基础设施，具备用于任务合成的自演进知识图谱以及限制性商业许可证。
CXMT IPO 飙升近 470%，成为中国大陆市值最高的上市公司
中国芯片制造商 CXMT 的股票在上海证券交易所科创板上市首日上涨近 470%，将其估值推高至约 3.3 万亿元人民币，使其成为中国大陆市值最高的上市公司。
Paged Out #9: 面向黑客文化的现代技术志
Paged Out #9 是一份深度技术的策划志，以类似于 2600 和 Phrack 等经典黑客出版物的风格，融合了从次像素渲染到可计算平铺的多样化计算主题。
德国迪卡侬集成 Wero 支付系统
德国迪卡侬已将 Wero 添加到其网站，标志着在采用旨在减少对非欧洲支付提供商依赖的欧盟主导的数字支付基础设施方面迈出了重要一步。
美国检察官因亚特兰大机场GrapheneOS手机擦除而起诉Sam Tunick
美国检察官因其GrapheneOS启用的手机在2025年1月机场搜查期间自行擦除，根据联邦反毁坏法起诉了亚特兰大居民Sam Tunick，这引发了关于胁迫PIN和边境搜查权力的法律问题。
Web 可访问性的侵蚀：摩擦、机器人检测与以应用为中心的互联网
Hacker News 上的一场讨论探讨了日益增加的机器人检测、强制性的应用安装和激进的 MFA 要求是如何将开放的网络转变为一个封闭、高摩擦环境的。
AI公司增加华盛顿游说支出至创纪录水平
包括OpenAI和Anthropic在内的领先AI公司已大幅增加其联邦游说支出，以影响华盛顿的AI监管和政策。
Claude AI 团队计划服务中断和支持挑战
用户报告 Claude AI 团队计划出现显著服务不可用，并且由于依赖类似 Fin 的自动机器人而难以联系到人工支持。
使用 Lean 和 LLMs 进行证明自动化
大型语言模型（LLMs）与像 Lean 这样的依赖类型语言的集成正在大幅降低形式验证的成本，使得证明以前太昂贵而无法实现的复杂软件不变量变得实际可行。
Volvo/Eicher 车队平台的安全漏洞
安全研究员发现 Volvo/Eicher 车队平台存在一个关键漏洞，该漏洞可能导致对所有用户和车辆的未授权控制，凸显了云管理汽车软件中的系统性风险。
Audio-Cassette-Simulation: 使用 FFmpeg 模拟磁带音频
正如其在 Hacker News 上分享的标题和链接所示，Audio-Cassette-Simulation 仓库提供了基于 FFmpeg 的技术来模拟磁带音频特性。
Scriptc: Vercel 的 TypeScript 转原生编译器
Scriptc 将普通的 TypeScript 编译为小型、快速的原生可执行文件，无需 JavaScript 引擎；它对大部分代码使用静态编译，并为动态特性提供可选的 QuickJS-NG 引擎。
预测显示2026-2027年观测到的最强厄尔尼诺
多模型预测表明，2026-2027 年厄尔尼诺可能是有记录以来最强的，峰值中位数为 3.6°C，显著超过之前的 2.75°C 纪录。