1. ChatControl: EU wants to scan all private messages, even in encrypted apps (metalhearf.fr)
The European Union wants to require all messaging platforms to scan private communications.
2025-09-26
36 篇热帖
2. ChatGPT Pulse (openai.com)
3. Improved Gemini 2.5 Flash and Flash-Lite (developers.googleblog.com)
Google is releasing updated Gemini 2.5 Flash and Flash-Lite preview models with improved quality, speed, and efficiency.
4. Fast UDP I/O for Firefox in Rust (max-inden.de)
Motivation Around 20% of Firefox’s HTTP traffic today uses HTTP/3, which runs over QUIC, which in turn runs over UDP. This translates to substantial UDP I/O activity. Firefox uses NSPR for most of its network I/O. When it comes to UDP I/O, NSPR only offers a limited set of dated APIs, most relevant here PR_SendTo and PR_RecvFrom, wrappers around POSIX’s sendto and recvfrom. The N in NSPR stands for Netscape, giving you a hint of its age.
5. Electron-based apps cause system-wide lag on macOS 26 Tahoe (github.com)
Maintainer update From @MarshallOfSound (#48311 (comment)): Hey folks, anyone experiencing this issue can you please raise a Feedback (via Feedback Assistant) with Apple. Make sure you send it while the issue is occurring and ensure you ...
6. Evanston orders Flock to remove reinstalled cameras (evanstonroundtable.com)
埃文斯顿市政府要求私人监控供应商Flock Safety重新拆除其未经许可擅自重新安装的固定车牌识别摄像头。
此前，由于发现Flock公司违反伊利诺伊州法律，允许美国海关和边境保护局访问该州摄像头数据，并被报道其他州执法机构利用其数据协助移民案件，埃文斯顿市已于8月26日下令关闭19台Flock摄像头（18台固定，1台车载），并启动为期30天的合同终止程序。截至9月8日，Flock已移除其中15台固定摄像头。
然而，至9月23日（周二），这15台摄像头已被全部重新安装回原位置或附近。市政府发言人证实，城市政策未变，Flock的重装行为未经授权，并已发出停止和终止令。Flock随后承诺将迅速移除摄像头。
现场调查显示，重装的摄像头大多绑回原有街灯柱上，部分安装在新建的独立电线杆上。值得注意的是，部分摄像头型号发生变化，由原先的“Falcon”型号更换为外观更短小、类似“Standard”的型号，且部分型号缺少太阳能板，可能改为接入城市电网供电。
更关键的是，尽管市政府声称摄像头自8月26日起已停止运行，但Flock公司自己的“透明门户网站”数据却显示异常。该网站显示的摄像头数量在关闭后并未降至零，且“过去30天检测车辆数”的下降速度远低于预期。数据分析表明，在8月26日关闭命令后，可能仍有部分摄像头处于活动状态并记录车辆数据，与城市官员的声明及Flock的通信内容相矛盾。
目前，埃文斯顿市已支付Flock五年合同的前两年费用，若合同继续有效，还需支付剩余三年的145,500美元。市政府计划于9月26日正式终止合同，但Flock公司对此提出异议，双方争端可能升级为法律诉讼。
7. Redis is fast – I'll cache in Postgres (dizzy.zone)
There are books & many articles online, like this one arguing for using Postgres for everything. I thought I’d take a look at one use case - using Postgres instead of Redis for caching. I work with APIs quite a bit, so I’d build a super simple HTTP server that responds with data from that cache. I’d start from Redis as this is something I frequently encounter at work, switch it out to Postgres using unlogged tables and see if there’s a difference.
8. Voronoi map generation in Civilization VII (civilization.2k.com)
Get developer insight into the new types of maps built into Update 1.2.5.
9. US cities pay too much for buses (www.bloomberg.com)
10. Athlon 64: How AMD turned the tables on Intel (dfarq.homeip.net)
The Athlon 64 wasn't better than Intel's 64-bit CPU but had one thing Intel didn't: backward compatibility. It turned the tables for AMD.
11. Pop OS 24.04 LTS Beta (system76.com)
12. U.S. once again hits new low in World Happiness Report (www.axios.com)
13. No reachable chess position with more than 218 moves (lichess.org)
国际象棋可达位置最多有218步可行走法
问题背景
自1964年棋局组合大师内纳德·佩特罗维奇发表了一个具有218步可行走法的国际象棋局面以来，人们一直在尝试打破这个记录。本文作者Tobs40于2024年5月通过计算机科学和数学方法，旨在从根本上解决这一问题，并最终证明218是可达位置中轮到走棋的一方所拥有的合法走法的绝对最大值。
核心挑战
证明的关键难点在于，国际象棋的可达合法局面总数约为4.8×10^44个，进行暴力穷举是完全不可行的。因此，必须采用数学证明和优化算法来设定一个严格的上限。
证明方法
作者将问题建模为一个优化问题，目标是在所有可能的棋盘配置中最大化可行走法的数量。为了处理海量的可能性，使用了以下关键技术：
- 分数规划：允许棋子和走法具有分数（例如，一个皇后可以27.3%存在于某个格子），从而将离散的组合问题转化为连续优化问题。如果连这种最优的分数解都无法超过218步，那么任何真实的整数解（即实际棋局）也必然无法超过。
- 整数线性规划：使用专业求解器Gurobi来求解该优化模型。
- 约束条件简化与增强：
- 最初，为了缩小搜索空间，作者暂时放宽了部分国际象棋规则（如王车易位条件、王的安全等），以便快速得到一个宽松的上界。
- 后来，添加了关键的“冗余”约束（例如，最多只能有一个棋子从某个方向移动到特定格子），以排除不合理的分数解，从而收紧上界，获得更精确的结果。
关键结果
经过计算优化，求解器最终证明，即使允许分数棋子和分数走法，可行走法的最大值也无法超过218。由此可以断定，在所有从初始位置合法可达的局面中，轮到走棋的一方最多有218种走法可选。
研究还得到了其他相关结果：
- 无升变情况：在不允许兵升变的条件下，最多可行走法为144步（该记录由匈牙利棋局创作人Jenő Bán于1960年发现）。
- 非法但合法局面：对于“合法”但不可从初始位置到达的局面（例如，王位于角落的某些配置），可行走法最多可达271步。
- 完全非法局面：一个完全违反规则（如多个王）但具有最多走法的非法局面被证明有288步。
意义与验证
- 确定性证明：该结果为组合数学中长期存在的问题提供了确定性答案，确认了218既是下限（已由1964年的棋局提供）也是上限。
- 实用影响：此证明有助于优化国际象棋引擎的数据结构，确认256（或更少）足以存储任何局面的走法数量。
- 开源与可复现：作者已将代码在GitHub上开源。结果已被其他研究者独立验证和确认。
附：相关探索
作者提出，类似的数学优化方法未来可应用于解决其他国际象棋组合极限问题，例如：
- 最多将军次数
- 最多将杀次数
- 最多逼和次数
- 在特定条件下的最多走法数 作者指出，其中一些问题可能极具挑战性，需要开发基于数学洞察的定制算法来计算上界。
14. RedoxFS is the default filesystem of Redox OS, inspired by ZFS (doc.redox-os.org)
This book carefully describes the design, implementation, direction, and structure of Redox, the operating system.
15. My Deus Ex lipsyncing fix mod (www.joewintergreen.com)
16. Ollama Web Search (ollama.com)
A new web search API is now available in Ollama. Ollama provides a generous free tier of web searches for individuals to use, and higher rate limits are available via Ollama’s cloud.
17. Investigating a Forged PDF (mjg59.dreamwidth.org)
18. Context is the bottleneck for coding agents now (runnercode.com)
现状分析
尽管前沿模型在编程竞赛中已展现超人智能（如OpenAI的GPT-5在ICPC竞赛中满分夺冠），但编程智能体在实际软件开发中仍无法替代开发者。根本限制因素已从智能不足转向上下文缺失。
智能体自主性层级
作者将智能体自主能力分为五个层级：
- 代码补全（如自动完成）
- 单次提交（如Cursor、Claude Code可处理）
- 单次PR（如Devin等异步智能体，但仅适用于简单任务）
- 大型功能/重构（目前无法在现有代码库中自主完成）
- 整个代码库（仅适用于从零开始的项目，但难以达到生产级别）
目前仅第二层级在生产环境中相对可靠，且仍需大量人工指导。
核心瓶颈：上下文而非智能
编程竞赛中所有解题信息均包含在问题描述中，而实际开发需要智能体理解远超代码本身的信息。随着模型智能提升，任务失败的主要原因已从智能失败转变为上下文失败。
智能体所需的关键上下文
除基础代码文件、文档访问和代码执行能力外，智能体更需要理解以下深层上下文：
- 代码库组织结构与架构模式（如依赖注入方式、业务逻辑分布惯例）
- 设计决策背后的原因（如历史安全事件、技术选型失败经验）
- 开发与部署实践（如测试标准、部署流程的隐含规则）
- 产品与业务需求（如合规要求、客户特定场景）
这些上下文多为隐性知识，分散于Slack记录、会议笔记、代码评审中，难以被单点提取或同步。
现状挑战与方向
当前智能体仅能获取约20%的相关上下文，且面临以下问题：
- 大量上下文未书面化，需人类开发者补充
- 已书面信息常分散、冲突或过时，需智能体综合处理
- 智能体缺乏上下文缺失的感知能力，倾向于盲目推进任务
未来方向包括：扩展上下文覆盖范围并加强预处理、保留长期人类指导环节、提升智能体识别与请求上下文的能力。
19. Can a model trained on satellite data really find brambles on the ground? (toao.com)
20. Austria hails 'brain gain' in luring 25 academics away from US after cuts (www.reuters.com)
21. Exploit allows for takeover of fleets of Unitree robots (spectrum.ieee.org)
Exploit in Unitree robot Bluetooth interface allow root access, raising concerns about robot safety and potential misuse in real-world scenarios.
22. All British adults to require a digital ID 'Brit Card' (news.sky.com)
23. Fernflower Java Decompiler (github.com)
Decompiler from Java bytecode to Java, used in IntelliJ IDEA. - JetBrains/fernflower
24. Genode OS Framework (genode.org)
25. Translating a Fortran F-16 Simulator to Unity3D (vazgriz.com)
26. SpaceX – Evolving the Multi-User Spaceport (www.spacex.com)
SpaceX designs, manufactures and launches advanced rockets and spacecraft. The company was founded in 2002 to revolutionize space technology, with the ultimate goal of enabling people to live on other planets.
27. Show HN: The Little Notebook for Learning Linear Algebra with Python (little-book-of.github.io)
28. `std::flip` (morwenn.github.io)
std::flip is a little-known utility from the C++ standard library header <functional>: it is a higher-order function that accepts a Callable and returns an equivalent Callable with the order of its parameters reversed (or “flipped”).
29. The phaseout of the mmap() file operation in Linux (lwn.net)
The file_operations structure in the kernel is a set of function pointers implementing, as the [...]
30. Windows ML is generally available (blogs.windows.com)
The future of AI is hybrid, utilizing the respective strengths of cloud and client while harnessing every Windows device to achieve more.
31. Illiteracy Is a Policy Choice (www.theargumentmag.com)
32. DeepFabric – Generate high-quality synthetic datasets at scale (lukehinds.github.io)
33. Design of the SCHEME-78 Lisp-based microprocessor (1980) (dl.acm.org)
34. A platform-jumping prince – History of Prince of Persia's 1990s Ports (www.jordanmechner.com)
The latest news from Prince of Persia creator, author and graphic novelist, Jordan Mechner.
35. How to stop AI's "lethal trifecta" (www.economist.com)
36. Bit is all we need: binary normalized neural networks (arxiv.org)
Abstract page for arXiv paper 2509.07025: 1 bit is all we need: binary normalized neural networks