2025-09-14

31 篇热帖

1. EPA Seeks to Eliminate Critical PFAS Drinking Water Protections (earthjustice.org)

The move continues to expose communities across the country to toxic forever chemicals in tap water

3. Repetitive negative thinking associated with cognitive decline in older adults (bmcpsychiatry.biomedcentral.com)

Psychological problems such as depression and anxiety increase the risk of cognitive impairment in older adults. But mechanisms on the effect of psychologi

4. Two Slice, a font that's only 2px tall (joefatula.com)
  • 字体特性:名为"Two Slice"的字体高度仅2像素,但仍保持一定可读性。包含大小写字母的不同变体(可根据可读性偏好选择),以及数字和部分标点符号。
  • 可读性建议:在较小的字体尺寸下更容易阅读,用户可自行尝试效果或下载使用。
  • 许可信息:字体遵循CC BY-SA许可证,允许商业使用,但需注明作者归属。
5. Magical systems thinking (worksinprogress.co)

现代生活依赖的系统,如供水、互联网和国际供应链,都起源于简单的、可工作的系统。这些系统通过数十年的迭代和众多人的努力逐步扩展,而不是由单一天才设计。然而,人们往往误以为复杂系统是精心分析的产物,导致政府推行“系统思维”来控制系统,但实证记录显示,这种尝试常失败,例如美国HealthCare.gov的技术故障、澳大利亚残疾改革的成本飙升和英国可再生能源合同导致的电网问题。

在1970年,MIT工程师Jay Wright Forrester为罗马俱乐部构建了一个世界动态模型,预测经济增长会导致资源枯竭和污染加剧,但实际发展却相反:全球GDP增长,森林覆盖增加,污染死亡率下降。Forrester的失败在于他将适用于静态、简单机械系统的方法错误地应用于复杂的人类社会系统。

系统思维的历史根源可追溯到化学家Henri Louis Le Chatelier,他提出“系统总是抵抗变化”的原理。儿科医生John Gall在《Systemantics》中应用此原理,指出系统往往违背初衷,创造新问题,并强调“Gall's Law”:一个可工作的复杂系统总是从可工作的简单系统演变而来,从头设计的复杂系统注定失败。

实际案例支持这一观点。例如,美国ICBM开发通过绕过官僚机构创建新系统而成功;Operation Warp Speed疫苗项目使用特殊协议加速开发;法国Notre-Dame重建通过紧急法律框架实现;爱沙尼亚从简单电子ID逐步扩展至全面数字政府。这些案例都始于小规模、可工作的系统,并迭代扩展。

随着AI生成代码的普及,复杂系统的构建可能更倾向于依赖技术,但核心原则不变:系统总是会反扑,复杂设计难以预测。因此,最有效的方法是保持谦逊,从简单的工作系统开始,逐步演化,而不是试图从头设计和控制庞大系统。

6. Writing an operating system kernel from scratch (popovicu.com)

Exploring a minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI.

7. Geedge and MESA leak: Analyzing the great firewall’s largest document leak (gfw.report)

The Great Firewall of China (GFW) experienced the largest leak of internal documents in its history on Thursday September 11, 2025. Over 500 GB of source code, work logs, and internal communication records were leaked, revealing details of the GFW's research, development, and operations.

8. Pass: Unix Password Manager (www.passwordstore.org)

Pass is the standard unix password manager, a lightweight password manager that uses GPG and Git for Linux, BSD, and Mac OS X.

9. Why We Spiral (behavioralscientist.org)

Questions of who we are or what we’re worth can send us into a tailspin. But the very same processes that pull us down can propel us up, too.

10. Myocardial infarction may be an infectious disease (www.tuni.fi)

A pioneering study by researchers from Finland and the UK has demonstrated for the first time that myocardial infarction may be an infectious disease. T...

11. If my kids excel, will they move away? (jeffreybigham.com)

摘要:如果我的孩子表现出色,他们会搬走吗?

个人背景与"人才外流"

作者在俄亥俄州农村长大,家乡存在典型的"人才外流"现象:高中同学中约30%上大学后(如我)都搬离了,尽管多数仍在附近(如哥伦布、辛辛那提郊区)。作者现居匹兹堡,在卡内基梅隆大学任教,该校拥有世界顶尖的计算机科学专业。虽然离家约两小时五十分钟车程,但由于卓越中心在匹兹堡,他仍能经常回家,孩子也常与祖父母见面,保持紧密联系。

美国作为卓越中心的传统优势

过去几十年,美国一直是全球顶尖人才的聚集地。作者作为教授,能招募来自世界各地的最优秀学生(曾指导过约10个国家的博士生和博士后)。国际学生通常在完成学位后选择留在美国,因为他们受到大学和科技公司的高度需求。这种模式使得美国本土人才无需远行,就能在卓越中心附近发展。

当前国际学生面临的担忧

近年来,国际学生对赴美留学和留居的信心下降。事件包括:一名学生因撰写关于加沙人道危机的文章而被捕;研究生因以往轻微的移民违规被监禁;签证申请和续签的不确定性增加;学生身份被用作攻击顶尖大学(如哈佛)的杠杆。尽管这些事件多数可能解决,但其引发的恐惧和负面信息影响持久。

潜在后果:卓越中心转移

作者担忧,旨在或实际造成混乱和残酷的政策会减少最优秀人才来美国的意愿。如果卓越中心迁往他国,优秀人才倾向于聚集在其他人才密集的地方,这可能形成自我强化的运动。历史上,美国的优势在于本土人才可在家附近找到卓越中心,但如果中心转移,人才可能被迫远走他乡。

对作者家庭的直接影响

作者的孩子如果未来成为顶尖人才,可能不得不搬离家乡,就像作者自己离开农村一样。这直接关系到家庭团聚:如果卓越中心从匹兹堡或美国移走,他的孙辈可能无法经常访问祖父母和农场,家庭纽带将受冲击。作者强调,这不是遥远问题,而是与个人生活紧密相连的现实担忧。

总结

文章通过个人经历和观察,指出美国吸引国际人才的政策变化可能导致卓越中心转移,进而引发人才外流,影响家庭距离和社区联系。作者呼吁重视国际学生的待遇,以维护美国的创新中心和家庭纽带。

12. Bank of Thailand freezes 3M accounts, sets daily transfer limits to curb fraud (www.thaienquirer.com)

Latest Thailand English Online News BoT Freezes 3 Million Accounts, Sets Daily Transfer Limits of 50,000–200,000 Baht to Curb 6-Billion-Baht Scam Losses Market Watch - Thai Enquirer %

13. macOS Tahoe is certified Unix 03 [pdf] (www.opengroup.org)

macOS Tahoe 已获得 UNIX® 03 认证,认证编号为 P1223。该认证由 The Open Group Limited 授予,适用于运行于基于 Apple 芯片 Mac 计算机上的 macOS 26.0 Tahoe 版本。

认证相关的关键信息如下:

  • 认证方:Apple Inc.
  • 认证标准:UNIX® 03
  • 产品:macOS version 26.0 Tahoe
  • 适用硬件:Apple silicon-based Mac computers
  • 首次颁发日期:2025年8月29日
  • 下次续期日期:2026年8月29日
  • 许可证号:L3064
  • 签发人:The Open Group Limited 总裁兼首席执行官 Steve Nunn

该证书确认 Apple 已与 The Open Group Limited 签署商标许可协议,并按照 Open Brand Program 注册了相关产品。Open Brand 被视为符合公认标准的国际公认保证。

14. A single, 'naked' black hole confounds theories of the young cosmos (www.quantamagazine.org)

早期宇宙中发现一个“裸”巨型黑洞,挑战现有理论

詹姆斯·韦伯太空望远镜在早期宇宙中发现了一个质量高达5000万倍太阳质量的孤立巨大黑洞,名为QSO1。这一发现完全颠覆了关于年轻宇宙演化过程的传统理论。

发现与观测

天文学家通过JWST的引力透镜效应观测到了QSO1,它在图像中呈现为三个微小的红点。后续光谱观测证实其质量巨大,且周围几乎没有恒星环绕,其中心质量可能至少占整体质量的三分之二。光谱显示其轨道气体几乎是纯氢元素,表明它在许多恒星诞生和死亡之前就已形成。

对理论的挑战

传统理论认为,黑洞是在星系形成后,由恒星坍缩、合并并吸积物质逐渐形成的。然而,QSO1的孤立存在表明,巨大的黑洞可能无需宿主星系就能形成,甚至可能先于星系出现。这动摇了关于星系形成的教科书认知。

可能的起源假说

QSO1的成因引发激烈讨论,主要有几种猜想:

  1. 原始黑洞假说:源于霍金1971年的提议,认为宇宙大爆炸初期的密度涨落直接坍缩形成了黑洞,随后吸收周围物质生长。
  2. 非原始直接坍缩:大爆炸后形成的气体云,因残余辐射未能冷却形成恒星,而是足够巨大后直接坍缩成黑洞。
  3. 快速形成与消亡:黑洞可能在一个快速形成恒星的区域内诞生并迅速吞噬物质增长,而周围其他早期恒星则迅速消亡,留下“裸”黑洞。

现有的“恒星坍缩-合并-吸积”传统路径被基本排除。

更广泛的意义

QSO1是JWST发现的数百个“小红点”之一,这些天体性质类似,正在引发天体物理学界的广泛讨论。它们共同描绘出一幅早期宇宙更为混乱、复杂的图景,表明大型黑洞和星系可能同时、独立甚至以不同顺序形成。这相当于发现了宇宙演化的“幼儿期”,迫使科学家重新审视他们基于成熟星系所建立的认知框架。

15. RIP pthread_cancel (eissing.org)

curl项目曾尝试在8.16.0版本中引入pthread_cancel来中断可能长时间阻塞的getaddrinfo()调用,以避免线程阻塞或泄漏问题。然而,实际发布后出现了已取消线程的内存泄漏问题,导致该方案被撤回。

背景与尝试
libcurl使用单独的线程调用getaddrinfo()进行DNS解析,但线程管理困难:pthread_join()会阻塞,pthread_detach()可能导致线程累积。为解决此问题,项目引入了pthread_cancel来主动终止线程。

问题暴露
发布后,发现glibc的getaddrinfo()实现存在泄漏风险:其内部会读取/etc/gai.conf进行结果排序,而该文件读取操作可能成为取消点。当线程在此处被取消时,已分配的内存将被泄漏。进一步分析表明,glibc的设计并未充分考虑取消场景下的资源清理,潜在泄漏点不止一处。

决定与替代方案
鉴于频繁内存泄漏不可接受,curl项目决定移除pthread_cancel的使用(通过PR #18540),宁愿忍受偶尔的getaddrinfo()阻塞。作为替代,建议用户使用c-ares库进行非阻塞DNS解析,但其功能可能无法完全替代glibc。

总结
此事件凸显了在复杂系统调用中使用线程取消技术的风险,尤其是当底层库(如glibc)未针对取消场景进行设计时。curl项目最终回归更稳定的线程管理策略,但指出DNS解析的易用性与可靠性仍是持续挑战。

17. Will AI be the basis of many future industrial fortunes, or a net loser? (joincolossus.com)

The disruption is real. It's also predictable.

18. An open-source maintainer's guide to saying “no” (www.jlowin.dev)

Stewardship in the age of cheap code

19. Refurb Weekend: Silicon Graphics Indigo² Impact 10000 (oldvcr.blogspot.com)

It's one of my periodic downsizing cycles, which means checking the hardware inventory (and, intermittently, discovering things that were no...

20. SpikingBrain 7B – More efficient than classic LLMs (github.com)

Spiking Brain-inspired Large Models, integrating hybrid efficient attention, MoE modules and spike encoding into its architecture - BICLab/SpikingBrain-7B

21. Nicu's test website made with SVG (2007) (svg.nicubunu.ro)

这是一个由Nicu于2007年创建的SVG(可缩放矢量图形)技术测试网站,展现了极简主义的设计风格。

整个页面以浅灰色为背景。设计中包含多个几何图形元素:顶部和底部各有一条浅蓝色水平矩形作为装饰。页面右上角放置了一个白色小矩形,其内部垂直排列着三个圆圈:最上方是红色圆圈,下方紧跟着两个蓝色圆圈。在白色矩形的下方,是用SVG绘制的黑色山脉剪影,为简洁的页面增添了自然元素。

页面底部使用蓝色粗体、略带扭曲效果的字体呈现了文字“NICUBYNU.RO”。此外,图像中还出现了两个运动球(如篮球、足球等),打破了纯几何图形的秩序感,增添了一丝生活气息。

总体而言,这个页面是一个纯粹的SVG视觉设计与技术练习。它通过简单的色彩、基础的几何形状以及少量具象元素(山脉、运动球)的组合,展示了SVG在网页上实现矢量图形的能力,反映了早期网页设计中对矢量图形技术的一种探索和应用。其设计核心在于图形的排布与视觉平衡,而非复杂的内容。

22. Cat Aquariums (cataquariums.com)

All cat-view fish tanks are crafted with ultra-clear glass to deliver an exceptional viewing experience for your cat. Enjoy free worldwide shipping on every order.

26. How the restoration of ancient Babylon is drawing tourists back to Iraq (www.theartnewspaper.com)

Work on the Temple of Ninmakh and walls at the Ishtar Gate is nearing completion at the Mesopotamian metropolis, a victim of centuries of damage and neglect

27. Fukushima insects tested for cognition (news.cnrs.fr)

In the contaminated area around Fukushima, Japan, scientists are studying the impact of radioactivity on the cognitive abilities of pollinating insects such as honeybees and giant hornets.

28. EFF to court: The Supreme Court must rein in secondary copyright liability (www.eff.org)

案件背景

电子前沿基金会(EFF)联合美国图书馆协会等组织,向最高法院提交法庭之友简报,要求推翻第四巡回上诉法院在Cox Communications案中的裁决。该裁决采纳“实质贡献”标准,认为互联网服务提供商(ISP)因提供可能被用于侵权的服务,需对用户的版权侵权行为承担次要责任。音乐公司起诉Cox,主张ISP应因订阅者的侵权行为负责。

核心问题

如果最高法院维持原判,ISP将面临巨大压力,可能根据侵权指控(包括薄弱或自动化指控)终止用户的互联网访问。这会导致ISP成为“版权警察”,并威胁无辜用户。互联网访问是“大宗商品”,主要用于合法用途,但“实质贡献”标准可能使ISP承担数十亿美元赔偿责任。

EFF的法律论点

EFF敦促最高法院参考专利法来定义版权中的次要责任。专利法规定,只有当产品特别为侵权设计且缺乏实质非侵权用途时,才构成侵权。互联网访问具有广泛合法用途,因此不应适用“实质贡献”标准。EFF主张,版权次要责任应遵循专利法的清晰规则,而非下级法院的混淆性测试。

社会影响与人类成本

终止互联网访问不仅影响被指控的个人,还会波及整个家庭、学校、图书馆和企业:

  • 公共图书馆可能失去为缺乏家庭宽带的用户提供的服务。
  • 大学、医院和地方政府可能面临互联网访问中断。
  • 低收入社区和少数族裔家庭因共享宽带连接,可能因单个用户的指控遭受集体惩罚。
  • 超过三分之一的美国人只有一家或没有宽带提供商,终止访问后无法重新连接。互联网对教育、就业、医疗和公民参与至关重要,终止访问将带来严重且不成比例的后果。

呼吁与展望

EFF要求最高法院纠正错误,拒绝“实质贡献”测试,重申专利法作为次要责任框架,并确保版权执法服务于公共利益。最高法院有机会保护互联网访问不因版权执行而受威胁。EFF将继续关注案件进展,并鼓励公众阅读其法庭之友简报以了解更多细节。

29. Safe C++ proposal is not being continued (sibellavia.lol)

One year ago, the Safe C++ proposal was made. The goal was to add a safe subset/context into C++ that would give strong guarantees (memory safety, type safety, …

30. High Altitude Living – 8,000 ft and above (2021) (studioq.com)

Living at high altitude reduces risk of dying from heart disease: Low oxygen may spur genes to create blood vessels. Summary: Researchers have found that people living at higher altitudes have a lower chance of dying from heart disease and live longer. Jeanne and I live at 8,400 feet (2.560 meters)

31. Writing an operating system kernel from scratch – RISC-V/OpenSBI/Zig (popovicu.com)

Exploring a minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI.