2024-12-03

43 篇热帖

1. South Korean president declares martial law, parliament votes to lift it (apnews.com)

韩国总统宣布戒严后数小时即解除

事件概述
韩国总统尹锡悦于12月3日深夜突然宣布在全国实施戒严,但仅在约6小时后,迫于政治压力,于4日凌晨解除戒严。此举是自1987年韩国民主化以来首次戒严,引发强烈争议。

背景与原因
尹锡悦宣布戒严源于其与控制国会的反对派之间的长期政治僵局。他指责反对派是“反国家势力”,涉嫌“亲朝”,并试图通过立法和预算操作瘫痪政府功能。此外,尹锡悦的支持率近期下滑,其政府面临反对派弹劾关键官员、预算案争议等多重挑战。

戒严宣布与实施

  • 尹锡悦在电视讲话中称,戒严旨在“重建和保护国家免于毁灭”,将“迅速铲除反国家势力”。
  • 军方随即宣布暂停国会活动及可能引发“社会混乱”的政治集会,并授权无逮捕令拘留违反戒严令者。
  • 军队和警察进入国会区域,直升机降落国会院内,议员和抗议者与军警发生对峙。

国会反应与戒严解除

  • 国会议长禹元植紧急召集所有议员,并宣布戒严令“无效”,誓言与人民共同“保卫民主”。
  • 国会迅速行动,190名参与投票的议员全部支持要求解除戒严。根据宪法,总统必须遵从国会多数表决。
  • 在国会投票后,军警于凌晨撤离,尹锡悦在内阁会议上正式解除戒严令。

政治与社会影响

  • 党内批评:尹锡悦所属的保守派政党领袖韩东勋称戒严决定“错误”;2022年大选对手、共同民主党党首李在明指其“非法违宪”。
  • 民众抗议:数百名抗议者聚集国会前,要求弹劾尹锡悦,期间与军警发生零星冲突。
  • 国际关注:美国白宫表示“严重关切”,并强调未事先获通知,但2.7万驻韩美军未受影响。
  • 专家分析:分析人士认为此举是尹锡悦表达 frustration 的象征性行动,但也标志着“民主倒退”,可能进一步加速其弹劾进程。

宪法与历史背景
韩国宪法规定,总统仅在“战争、类似战争状态或紧急事态”下可宣布戒严,并授权采取特别措施限制部分公民权利。尹锡悦此次行动被质疑缺乏充分法律依据,且是自1979年以来的首次戒严,唤起了对威权时代的担忧。

事件结局
尽管戒严令短暂解除,但尹锡悦面临的政治危机加剧,弹劾风险显著上升,其政府与国会之间的对峙预计将长期持续。

2. Facebook's Little Red Book (www.map.cv)

根据提供的内容,目前无法生成摘要。所提供的文本 “There is no site configured at this address.” 是一条常见的网页服务器错误信息,表明您尝试访问的URL(即文章《Facebook's Little Red Book》的链接)指向了一个无效或未配置的站点。

这意味着:

  • 所请求的文章内容不可用。
  • 无法基于“无内容”的状态提取任何有效的主题、观点或细节。

建议: 请检查您获取此内容的来源URL是否正确,或尝试稍后重新访问,以确认该网页是否已恢复正常服务。

3. World Labs: Generate 3D worlds from a single image (www.worldlabs.ai)

World Labs:从单张图片生成3D世界

技术文章总结(按时间顺序)

2024年12月 - 世界生成初步进展 World Labs分享了其早期进展,旨在创建可在浏览器中探索的持久、可导航的3D世界。

2025年9月 - 生成更大、更精美的世界 宣布了3D世界生成技术的最新突破,能够生成规模更大、细节更丰富、保真度更高的环境。

2025年10月 - RTFM:实时帧模型 发布了一个名为RTFM(实时帧模型)的研究预览版。这是一种新型生成式世界模型,能在用户交互时实时生成视频。

2025年11月10日 - 从文字到世界:空间智能是AI的下一个前沿 Dr. Fei-Fei Li发表文章,阐述了“空间智能”的概念、其重要性,以及World Labs如何构建将解锁这一能力的世界模型。该模型预计将在创造力、具身智能和人类进步方面产生重塑性影响。

2025年11月12日 - Marble:多模态世界模型 正式发布了名为“Marble”的前沿多模态世界模型,该模型已向所有人开放。

2026年1月21日 - 发布World API 宣布推出公共API,允许用户通过文本、图像和视频生成可探索的3D世界,将Marble的世界建模能力集成到各类应用程序中。

2026年3月3日 - 3D即代码 提出理念:如同文本成为软件的通用接口一样,3D正在成为空间的通用接口。它是允许人类和AI系统共同生成、编辑、模拟和分享世界的媒介。

2026年4月14日 - 流式传输3DGS世界至网页 对Spark 2.0的流式、细节层次系统进行了技术深入介绍。该系统专门用于在网页上流式传输3D高斯溅射世界。

核心脉络总结: World Labs自2024年底起,持续推动3D世界生成技术的演进。其发展路径清晰:从创建基础可探索的3D环境(2024.12),到提升生成世界的规模与质量(2025.9),再到实现实时交互式生成(2025.10 RTFM)。随后,公司通过发布多模态世界模型“Marble”(2025.11)和对外开放的“World API”(2026.1),将其技术产品化。近期(2026.3-4)则聚焦于基础理念(3D作为通用接口)与底层技术优化(实现3DGS世界在网页端的高效流式传输)。整个历程体现了公司推动“空间智能”、使人与AI能够协同创建和交互虚拟世界的愿景与技术积累。

4. DuckDuckGo donates $25k to the Perl and Raku Foundation (www.perl.com)

2024年12月3日,在“Giving Tuesday”慈善日,Perl和Raku基金会(TPRF)宣布收到DuckDuckGo捐赠的25,000美元。自2011年以来,DuckDuckGo已向与其“提升在线信任标准”愿景一致的组织累计捐赠超过600万美元。

TPRF致力于通过开源开发、社区参与和推广,促进Perl和Raku编程语言的发展,确保其持续增长、相关性和可访问性。这笔捐赠将帮助TPRF继续资助Perl核心开发、支持社区重要项目以及其他社区支持工作。

每一份捐赠都传递了对这项工作重要性的认可。TPRF对DuckDuckGo的慷慨及其对TPRF使命的信任深表感谢。如需了解TPRF当前活动及未来目标,可查阅其2024年展望文件。若有组织有兴趣成为TPRF捐赠方可联系相关负责人进一步沟通。

5. Lessons I learned working at an art gallery (www.henrikkarlsson.xyz)

在艺术画廊工作的经验教训

作者因生活所需,在丹麦一家条件较差(薪水低、夏季无休)的艺术画廊找到了一份工作。尽管最初职责是周末卖咖啡,但他将此工作视为一个“项目”,尝试优化咖啡馆运营并分析业务以改进画廊,却因未与团队建立信任而受阻。这让他领悟到在机构中工作,需要协调他人、建立信任,而非独自追求“最佳方案”,但这并不意味着放弃自己的判断。

他引用了一种“垂直解决整个问题”的心态:不局限于职责范围,为实现目标应主动跨越边界、学习新技能、争取资源。他通过参与董事会会议、与利益相关者沟通,逐步摸清各方价值观与目标,最终与上级建立信任,获得了“做你认为正确的事”和灵活安排工作的自由。这种突发式、高强度的自主工作模式非常适合他的性情。

通过与约150位艺术家的合作,作者观察到:

  • 最优秀的艺术家(如A和B夫妇)极度敬业、无私且专业。他们会为微小的改进无偿投入大量工时,已获财务自由却仍追求艺术精进,沟通高效、不提无理要求。
  • 业余或难合作的艺术家则表现为沟通迟缓、抱怨多、依赖外部支持,最终导致作品平庸且过程痛苦。
  • 作者发现,通过响应速度和抱怨程度就能有效预测合作成败。耐心筛选“已做好决定”的合作伙伴,能极大减少无效工作,让合作事半功倍。

关于艺术与商业的关系,作者认识到:

  • 非营利艺术机构虽以美和社区为旨归,但必须务实解决资金问题。依赖他人(如市政)的救助是不可持续的。
  • 艺术家和机构有责任让自己的作品或事业足够有吸引力,让人们愿意主动资助(如成为会员、购买作品或咖啡)。
  • 艺术价值(灵感、伦理)与市场需求(商业激励)常如两个方向不同的向量。但通过耐心探索和努力,可以找到两者对齐的位置,此时市场力量会助推艺术进程,而非冲突。

在画廊的实践方面,作者发现基础财务分析(如区分收入与成本中心、计入维护成本)竟长期被忽略,进行简单核算并聚焦有效的业务部分后,通过优化策略、实验定价、精简流程等,画廊收入增长了311%,解决了维护危机,建立了储备,确保了未来十年的运营。

丹麦国王的访问让作者感受到归属与认可。这段经历让他在机构管理、合作选择、平衡理想与现实方面收获了深刻见解,最终带着成就感和一份作为纪念的售出雕塑收据,准备回归自己的项目。

6. Ask HN: Who is hiring? (December 2024)
7. Next-level frosted glass with backdrop-filter (www.joshwcomeau.com)

CSS毛玻璃效果高级优化指南

核心概念

  • backdrop-filter: blur():通过模糊背景创建毛玻璃效果,增加界面深度和真实感
  • CSS滤镜:通过filter属性应用各类效果(模糊、色相旋转等),backdrop-filter则对元素后方内容应用滤镜

主要问题

标准毛玻璃实现存在缺陷:

  1. 模糊算法限制:仅考虑元素正后方的像素,忽略附近内容
  2. 视觉不真实:现实中的毛玻璃会通过光线散射模糊附近物体
  3. 交互问题:扩展区域会阻断下层元素的点击事件

优化方案

1. 扩展模糊区域

  • 创建子元素.backdrop,设置为父容器200%高度
  • 使用mask-image渐变遮罩:前50%完全不透明,后50%完全透明
  • 关键代码
    .backdrop {
      height: 200%;
      mask-image: linear-gradient(to bottom, black 0% 50%, transparent 50% 100%);
    }
    

2. 修复指针事件

  • 添加pointer-events: none使遮罩层可穿透点击
  • 必须将毛玻璃效果放在子元素,避免影响父元素交互

3. 解决顶部闪烁

  • 添加从实色到透明的渐变背景
  • 覆盖因滚动离开视口元素导致的模糊算法闪烁

4. 增强可读性

  • 增加模糊半径backdrop-filter: blur(20px)
  • 添加半透明背景background: hsla(0,0%,100%,0.1)

5. 3D玻璃边缘效果

  • 创建第二个.backdrop-edge元素,应用不同滤镜参数
  • 使用较小的模糊半径(如8px)和亮度增强(brightness(120%)
  • 通过变换定位和遮罩仅显示边缘几像素

浏览器支持

  • backdrop-filter支持率超过97%
  • mask-image支持率96.3%
  • 需要-webkit-前缀(工具通常自动处理)
  • 使用特性查询确保旧浏览器仍可读

最终实现

完整方案包含:

  1. 主毛玻璃层(扩展+遮罩+指针事件修复)
  2. 顶部渐变防闪烁层
  3. 可选3D边缘效果
  4. 旧浏览器回退方案

优化后的毛玻璃效果更接近真实物理特性,模糊范围自然延伸至附近内容,同时保持了良好的交互性和跨浏览器兼容性。

8. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)

本文基于作者8年Haskell和8个月OCaml生产环境使用经验,从语法、特性、生态系统、工具链、编译器消息和标准库等多个维度对两种语言进行了对比。

语法

  • Haskell:语法极其简洁、隐式,追求用最少的字符表达思想,被认为是最优雅的语法之一。
  • OCaml:同属ML家族,语法也很优秀,但相比Haskell更显式。
  • 示例对比:通过字符串求和、定义二叉树、解析字符串等具体代码,展示了Haskell更倾向于点式风格(point-free),而OCaml则使用管道操作符(|>)和显式绑定。

特性

  • Haskell:特性极为丰富(如纯函数默认、惰性求值、类型类、高阶类型、可选语言扩展),但过多特性可能导致“分析瘫痪”,分散开发精力,增加项目理解和维护难度。
  • OCaml:特性相对较少,但足以解决问题,且更易于预测和维护。拥有Haskell所不具备的特性,如一级模块、多态变体、对象和类、可变性的良好支持。
  • 生产效率:作者感到在OCaml中能更专注于实际构建产品,而在Haskell中常纠结于抽象设计的选择。

生态系统

  • 总体:两者都是小众的函数式编程语言,生态系统规模有限,但都能满足多数常见任务需求。
  • Haskell:生态更丰富,第三方库和解决方案更多,但有时会出现“选择困难症”,因为存在大量功能重叠的库。
  • OCaml:生态相对较小,但能找到稳定可用的解决方案。工具链(如VS Code插件)通常开箱即用且稳定。
  • 示例:以Stripe API客户端库数量为例(Haskell 13个,OCaml 1个且已过时)说明生态差异。

工具链

  • Haskell:工具链(如GHCup, Cabal, HLS, Hoogle)功能强大,但用户体验好坏参半,有时会遇到令人沮丧的构建或兼容性问题。
  • OCaml:工具链(如opam, dune, ocaml-lsp)更简单、稳健,用户体验一致性较好。
  • 对比表格:列出了编译器、REPL、构建工具、包管理器、格式化工具等主要工具的对应关系。

编译器消息

  • Haskell:编译器消息通常冗长,包含大量上下文信息,有时显得冗余和干扰。
  • OCaml:编译器消息更简洁,有时甚至过于简略。
  • 作者观点:认为编译器是函数式编程开发者的重要伙伴,应清晰传达信息。通过具体示例展示了两者在错误提示风格上的差异。

标准库

  • 共同点:两者标准库都相对基础,未包含太多“电池”。
  • Haskell标准库(base):文档质量有时令人惊讶,包含使用示例,并支持从文档跳转到源码。
  • OCaml标准库:文档相对简略,缺乏示例。
  • 作者偏好:倾向于“开箱即用”的标准库。

结论

  • 两种语言都已发展成熟,足以支持工业级需求。
  • 如果不依赖特定的SDK,两者都能提供良好的编码体验。
  • 个人选择:作者目前更偏好OCaml,因为感觉能够更专注于实际构建产品,而非陷入语言特性的权衡中。
9. Company claims 1k% price hike drove it from VMware to open source rival (arstechnica.com)

英国云服务提供商Beeks Group近日将超过两万台虚拟机从VMware迁移至开源平台OpenNebula。该公司表示,这一决定主要源于VMware许可费用在博通收购后飙升至原来的十倍,成本大幅增加。

迁移后,Beeks Group的3000台裸金属服务器中,更多资源得以分配给客户负载,而非用于虚拟机管理。由于OpenNebula所需的管理开销更低,该公司虚拟机效率提升了200%,每台服务器可承载更多虚拟机。

此外,Beeks Group指出,客户逐渐视VMware为非必需品,且VMware的技术支持和创新力度下降,这也促使了迁移。目前,该公司仍有部分VMware虚拟机,但“大部分”已运行在OpenNebula上。

博通方面未回应相关询问。尽管其强调收购VMware带来的财务成功,但预计仍会有更多老牌客户减少或放弃使用VMware产品。

10. Blizzard's pulling of Warcraft I and II tests GOG's new Preservation Program (arstechnica.com)

GOG保存计划应对暴雪移除《魔兽争霸》经典版

  • 事件核心:暴雪娱乐将其经典游戏《魔兽争霸I》和《魔兽争霸II》从GOG平台下架,这直接考验了GOG的“游戏保存计划”。
  • GOG版本的优势:GOG销售的版本通常超越了在暴雪自家Battle.net上销售的经典版本。针对这两款游戏,GOG具体改进了《魔兽争霸I》的网络代码,并优化了《魔兽争霸II》的DirectX封装,以提升其在现代显示器分辨率下的缩放表现。
  • 保存计划的意义:GOG的保存计划是一个创新的承诺,旨在确保即使发行商不再销售某款游戏,购买者仍能继续游玩。《魔兽争霸》系列不会是唯一经历此类情况的游戏,其发行商的热情可能落后于GOG及其经典游戏玩家。
  • 技术限制与挑战:GOG指出,对于某些游戏,其无权修改游戏文件,只能由原开发者进行。因此,如果GOG无法通过DOSBox等手段让游戏正常运行,可能需要付出非凡的努力。
  • 暴雪重制版的背景
    • 暴雪2020年发布的《魔兽争霸III:重制版》口碑不佳,被批评为半成品,且其原版《魔兽争霸III》也从商店下架。
    • 暴雪新发布的《魔兽争霸I和II》重制版虽增加了如经典与重制画面切换、宽屏支持、选择更多单位等改进,但原版游戏被从GOG下架,使得GOG保存的优化版本更具价值。
  • 玩家选择:鉴于暴雪重制版存在的争议以及对Battle.net服务的永久依赖,许多《魔兽争霸》粉丝可能希望保留GOG的这些经典优化版本。
11. Fish have a brain microbiome – could humans have one too? (www.quantamagazine.org)

近年来,科学家发现健康鱼类(如鲑鱼和鳟鱼)的大脑中存在活细菌群落,这为“健康脊椎动物可能拥有大脑微生物组”提供了迄今最有力的证据,并引发了对人类是否也存在类似系统的探讨。

核心发现:鱼类拥有健康的大脑微生物组 新墨西哥大学的研究团队通过多年严谨实验,在鲑鱼和鳟鱼的大脑中发现了活跃生存的细菌。这些细菌并非来自污染或血液残留,而是真正定居于脑组织中。研究发现:

  • 广泛存在:细菌不仅存在于嗅球,还遍布大脑其他区域。
  • 主动生存:微生物是活跃生存的,而非休眠或死亡状态。
  • 特殊适应性:部分微生物具备穿越血脑屏障的特殊能力(如产生能打开屏障“连接处”的多胺分子),或帮助逃避免疫反应。

细菌如何进入“堡垒”:对血脑屏障的挑战 传统认为血脑屏障不可渗透,能阻挡细菌。该研究提出了两种可能机制:

  1. 早期定植:在鱼类发育早期,血脑屏障尚未完全形成时,细菌便已进入。
  2. 持续渗漏:大多数细菌可能从血液和肠道持续少量地“渗漏”进入大脑,并需要在后期具备特定特征才能反复进出。

对人类研究的启示

  • 可能性:鉴于鱼类与人类生理有相似之处,且人类肠道微生物组已知能通过“肠-脑轴”影响大脑,此项研究使得“人类也可能拥有大脑微生物组”的假说变得不那么牵强。
  • 挑战:证实人类存在大脑微生物组非常困难。获取健康人脑组织不易,且微生物DNA无处不在,容易造成假象。此前2013年曾在人脑中发现过细菌遗传线索,但后续研究未能确证。
  • 下一步:研究人员已开始在小鼠大脑中进行类似实验,并已发现微生物存在的早期迹象。如果能在哺乳动物中证实,将极大增强人类也拥有大脑微生物组的说服力。
  • 潜在意义:即使人脑中定居的微生物数量很少,也可能影响脑代谢和免疫系统,代表一种此前未知的神经调节层面。

目前,科学界对“健康人脑可能存在微生物”这一想法持更加开放的态度,但仍需更多研究来确认其存在及功能。

12. Distributed Erlang (vereis.com)

分布式 Erlang 摘要

Erlang 语言以并发、容错和分布三大特性著称,这些特性源于其底层设计,尤其是 Actor 模型。在 Actor 模型中,进程是轻量级执行单元,负责管理自身状态并通过消息传递相互通信。每个进程由 BEAM 虚拟机调度,确保公平的 CPU 分配,允许创建成千上万个进程而不影响效率。进程通过 spawn/1 函数创建,并独立运行,无需锁机制。

消息传递是进程间通信的核心,每个进程拥有邮箱队列,可以接收和处理消息。通过模式匹配,进程能够响应或忽略消息。结合进程和消息传递,Erlang 实现了原生的并发支持。

容错通过进程链接和监控实现。链接使关联进程在故障时同时崩溃,传递退出信号以便处理;监控则允许进程观察其他进程的故障而不影响自身。这些机制支持优雅的故障处理,如重启进程或系统关闭。

OTP(Open Telecom Platform)是 Erlang 上的库和设计原则集合,包括行为(强制模块实现特定函数)、监督者(管理 worker 进程的启动、停止和重启)和 GenServer(实现请求-响应式服务器进程)。OTP 组件组合可构建容错、可扩展的系统。

分布是 Erlang 的另一核心特性,允许程序在多台机器上运行并通信。节点是 Erlang 虚拟机的运行实例,通过 epmd(类似 DNS)进行发现和连接。节点间使用共享 cookie 进行认证。分布具有网络透明性,进程可像本地一样向远程进程发送消息,PID 格式区分本地和全局引用。

然而,分布式 Erlang 存在显著挑战:

  • 扩展性:节点间形成网格网络,连接数随节点数线性增长,可能导致高网络流量,尤其在大集群(历史上约 50-100 节点)中。
  • 缺乏细粒度控制:无法精细管理节点连接或流量限制,可能导致网络拥塞。
  • 网络分区:网络分割可能导致单点全局进程问题,建议使用分布式共识算法(如 Raft)或避免依赖单一全局进程。
  • 单邮箱瓶颈:远程消息通过节点分布层的单邮箱处理,在高流量时易成为瓶颈。
  • 节点发现:传统机制需补充(如使用 libcluster)以适应云环境(如 Kubernetes)。
  • 物理限制:网络延迟和时钟同步需考虑,开发与生产环境差异可能影响系统行为。

总之,Erlang 提供了强大的分布式系统构建基础,但需谨慎处理分布式环境中的复杂性和挑战。

13. Raspberry Pi boosts Pi 5 performance with SDRAM tuning (www.jeffgeerling.com)

树莓派通过优化SDRAM时序和内存设置显著提升了Pi 5性能。工程师与美光合作,调整了内存刷新间隔等参数,使默认2.4GHz频率下的整体性能提升10-20%。若结合超频至3.2GHz,性能提升可达32%。这些优化预计将通过固件更新推送给Pi 5和Pi 4用户。

核心优化措施:

  1. SDRAM时序调整:调整了SDRAM刷新间隔。经美光确认,8GB内存可使用4GB的更快刷新时序,从而减少刷新开销,提升基准测试成绩。
  2. NUMA仿真:相关补丁已集成至树莓派操作系统内核。更新系统后即可启用,可大幅提升多核工作负载性能。
  3. 超频:作者将Pi 5超频至3.2GHz(配合电压提升与风扇全速运转)。

性能提升效果: 在默认固件更改基础上,Geekbench 6单核和多核成绩已分别提升8%和18%。叠加3.2GHz超频后,单核成绩提升32%,多核提升31%,创下新的世界纪录。

  • 默认设置:单核 833,多核 1805
  • 应用SDRAM优化与NUMA仿真:单核 899 (+8%),多核 2169 (+32%)
  • 叠加3.2GHz超频:单核 1153 (+32%),多核 2468 (+31%)

应用优化的方法:

  • SDRAM优化:运行 sudo rpi-update 更新固件,编辑引导程序配置 (sudo rpi-eeprom-config -e),添加 SDRAM_BANKLOW=1(Pi 4使用3)。
  • NUMA仿真:运行 sudo apt full-upgrade 更新系统即可默认启用。
  • 超频:在 /boot/firmware/config.txt 中设置特定频率和电压参数,并配合软件调整。

结论与展望: 这些内存优化可能即将成为默认设置。它们有效改善了Pi 5的内存速度瓶颈。需要注意的是,超频至3.2GHz以上非常困难,且SDRAM优化可能使极限超频更加不稳定。作者鼓励他人尝试结合所有优化以冲击更高的性能记录。

14. Tweaking Stunt Island's 30-year-old 3D engine (annali.netlify.app)

文章概述了作者对1992年游戏《Stunt Island》3D渲染引擎进行逆向工程和修改的全过程。游戏原版在远距离物体细节上有明显限制,作者通过一系列技术手段,成功提升了游戏的细节级别。

主要步骤与发现:

  1. 工具准备:使用DOSBox调试版、反编译工具Ghidra和十六进制编辑器Bless。
  2. 解压可执行文件:发现游戏EXE经LZ压缩,使用UNLZEXE工具解压后,方可进行有效分析。
  3. 定位细节级别变量:通过分析游戏设置文件GAME.VAR和调试中断,找到了存储细节级别(0-100%)的内存地址(DS:2FEA)。
  4. 追踪数据流:在Ghidra中追踪该变量,发现它在渲染循环中被用于计算一个距离阈值(CX),该阈值决定了是否加载物体的高精度模型。
  5. 修改引擎逻辑:通过修改阈值计算处的汇编代码(地址CS:76F4附近),将原来的动态计算替换为固定的高倍数值。最终确定的修改方案是将阈值设置为物体距离的8倍(相当于800%细节级别),在保持游戏基本可玩性的同时大幅提升画面细节。
  6. 应用补丁:将修改覆盖到游戏的三个相关可执行文件(STUNT.EXEMAKEONEPLAYONE)中。
  7. 制作补丁程序:由于原始文件经过压缩,最终创建了一个补丁程序(si-8x.exe),可对原版游戏文件(或可选安装官方“#3”更新后)进行应用。

成果:补丁使游戏中所有物体在更远的距离就显示为高精度模型,显著增强了城市、地形等景观的视觉细节,同时游戏在适度提高模拟CPU性能后仍可流畅运行。作者提供了补丁下载链接及应用说明。

16. Y Combinator and Power in Silicon Valley (commoncog.com)

Y Combinator与硅谷的权力

本文通过AdGrok被前雇主Adchemy起诉的案例,揭示了硅谷风险投资生态中的权力动态,以及Y Combinator(YC)如何利用其独特的地位保护旗下初创公司。

核心事件

AdGrok是一家刚从YC“演示日”毕业、仅有三人的初创公司。其前雇主Adchemy对他们提起了诉讼,指控违反就业协议,且将创始人列为个人被告,一旦败诉将导致创始人破产。AdGrok资金紧张,但成功获得了硅谷知名律师事务所Fenwick & West的支持。

YC的介入与权力基础

面对诉讼,YC创始人保罗·格雷厄姆亲自介入。他的策略并非直接法律对抗,而是动用YC的生态系统控制力

  • 早期投资范式转变:文章指出,2010年代初,由于AWS等云服务降低了创业成本,以及大量科技新贵成为天使投资者,早期融资环境发生变化。优秀的初创公司可以更早获得大量资金。
  • YC作为“上游”看门人:YC因其筛选优秀创业者的能力,控制了硅谷最佳的早期项目源(即“交易流”)。由于早期投资者有权参与后续融资,能否进入YC的“演示日”成为风险投资公司(VC)未来获得顶级交易的关键。这使得YC对VC拥有了巨大的议价权。
  • 行使惩罚权:格雷厄姆威胁将切断Adchemy的投资方——August Capital和Mayfield Fund与YC的所有未来交易。对于VC而言,被排除在YC的交易流之外意味着巨大的商业损失。

另一重压力:商业伙伴

AdGrok联合创始人联系了时任YC导师的萨姆·奥尔特曼(后任YC总裁)。奥尔特曼利用其人脉,让Adchemy的潜在大客户微软了解到诉讼可能带来的合作风险。这对急需微软订单以求生存的Adchemy构成了致命威胁。

事件结果

在YC对投资者施压、商业伙伴产生疑虑的双重打击下,Adchemy在几个月后主动提出和解撤诉。然而,这场斗争消耗了AdGrok团队的精力,其最终在2011年出售给Twitter,产品逐渐消失。

讽刺的是,Adchemy在烧掉约1.2亿美元融资后,于2014年被沃尔玛低价收购。其创始人获得了远高于其他高管和员工的“黄金降落伞”,而众多员工和投资者则蒙受损失。

总结

这个案例表明,在硅谷的创新生态系统中,真正的权力不仅来自资本,更源于对关键资源的上游控制。YC通过成为最佳创业者的“第一入口”,将自己变成了风投机构必须尊重的“上游水阀”,从而能够在危机时刻为其投资组合公司提供远超资本的强大保护。然而,这种权力也可能带来复杂的道德困境和行业影响。

17. Certain names make ChatGPT grind to a halt, and we know why (arstechnica.com)

根据《卫报》报道,OpenAI确认ChatGPT对“大卫·迈耶”这一名称的屏蔽属于技术故障。该问题最初于11月26日在Reddit引发讨论,因该名称由多人共享,用户曾猜测其与大卫·迈耶·德·罗斯柴尔德存在关联,但并无证据支持。

技术故障与硬编码过滤的风险 OpenAI表示,其内部工具误将“大卫·迈耶”标记为需屏蔽名称,导致该名称无法出现在回复中。公司已着手修复此问题。然而,此类硬编码过滤机制引发了对系统安全性和实用性的担忧:

  1. 安全隐患:攻击者可能利用视觉提示注入(如在图片中嵌入浅色、难以辨认的“大卫·迈耶”文本)中断ChatGPT会话,用户却难以察觉原因。
  2. 功能限制:当ChatGPT通过联网搜索功能浏览网页时,若网页包含被屏蔽名称(如“大卫·迈耶”),系统可能无法处理该网站内容,导致信息获取受阻。
  3. 使用不便:由于“大卫·迈耶”是一个常见姓名,屏蔽处理会直接影响同名用户的正常使用。例如,教师若需ChatGPT协助处理包含该姓名的班级名单,任务将被拒绝。

AI发展的早期挑战 目前,人工智能助手、大语言模型和聊天机器人仍处于早期发展阶段,其应用在带来机遇的同时也暴露了诸多漏洞。OpenAI如何解决此类过滤机制引发的问题仍是未知数。

本文于2024年12月3日更新,纳入了OpenAI就ChatGPT屏蔽列表问题向《卫报》发表的声明。

18. Twice-Yearly HIV Shot Shows 100% Effectiveness in Women (apnews.com)

两年一次HIV预防注射在女性中显示100%有效性

药物效果与计划

  • 极高有效性:吉利德公司(Gilead)的lenacapavir(商品名Sunlenca)在针对女性的研究中显示100%预防HIV感染的有效性,在男性中也接近此效果。
  • 便利性:该药物为每年注射两次,相较于每日服药、安全套等现有方法更简便,尤其适用于易受歧视或就医不便的群体(如男男性行为者、性工作者、年轻女性)。
  • 分发计划:吉利德计划允许在120个HIV高负担贫困国家(主要位于非洲、东南亚和加勒比地区)销售廉价仿制药,但排除了大部分拉丁美洲国家(尽管感染率较低但正在上升)。

被排除地区的争议与反应

  • 拉丁美洲被排除:墨西哥、巴西、秘鲁、阿根廷等参与研究的国家未被纳入仿制药计划,引发批评。联合国艾滋病规划署执行主任温妮·拜安伊玛称此做法“不合情理”。
  • 倡导团体行动:来自秘鲁、阿根廷、厄瓜多尔等地的15个倡导团体致信吉利德,要求将拉丁美洲纳入仿制药计划,指出该地区HIV感染率上升且新工具获取不平等。
  • 仿制药成本潜力:专家估计,若仿制药生产覆盖1000万人,每次治疗成本可低至约40美元,而原研药在挪威、美国等国年费用超过4万美元。
  • 患者与医生观点:墨西哥研究参与者(包括一名同性恋男子和一名跨性别女性)表示,注射药物能减少因歧视而不敢就医的障碍。医生指出,拉丁美洲仍存在相关病耻感。

其他药物与强制许可呼吁

  • 其他药物对比:Viiv Healthcare的Apretude(每两月注射一次)在约90个国家提供仿制药,但排除了拉丁美洲大部分地区;其有效性为80%-90%,在中等收入国家年费用约1500美元,难以负担。
  • 强制许可倡议:倡导组织呼吁巴西、墨西哥等国启动“强制许可”,在健康危机中暂停专利以促进药物获取。此前哥伦比亚已为关键HIV治疗药物Tivicay颁发强制许可。

全球背景与专家评价

  • 艾滋病防治进展:联合国艾滋病规划署报告显示,2023年艾滋病相关死亡人数估计为63万,为2004年峰值以来最低,世界处于“历史性十字路口”,有望终结流行。
  • 专家高度评价:南非艾滋病专家萨利姆·阿卜杜勒·卡里姆称从未见过如此有效的预防药物,当前关键是“如何将其送达所有需要者手中”。
  • 公司回应:吉利德表示致力于在需求最大的地区提供HIV预防和治疗选项,正在建立快速高效途径,以让所有需要者获得该药物。
19. Efficient Track Anything (yformer.github.io)

Efficient Track Anything 摘要

本文提出了 EfficientTAM,一种轻量化的“跟踪一切”模型,旨在解决 Segment Anything Model 2 (SAM 2) 计算复杂度高、难以部署在移动设备等资源受限场景的问题。SAM 2 的强大性能源于其大型多阶段图像编码器和记忆机制,但这也导致了计算开销大。

核心方法

为提高效率,本文提出两个关键改进:

  1. 采用轻量级、非层次化的 Vision Transformer (ViT) 作为图像编码器,替代SAM 2中复杂的多阶段编码器,用于提取视频帧特征。
  2. 引入高效记忆模块,利用记忆空间嵌入的强局部性,提出高效的记忆交叉注意力机制,降低了当前帧分割时记忆计算的复杂度。

基于上述组件构建的 EfficientTAM 模型在 SA-1B 和 SA-V 数据集上进行训练,适用于视频对象分割和“跟踪一切”任务。

主要结果

在多个视频和图像分割基准测试中,EfficientTAM 表现出色:

  • 性能与效率平衡:在视频对象分割任务上,EfficientTAM(使用Vanilla ViT)与 SAM 2 模型(HieraB+SAM 2)性能相当,但在 A100 GPU 上实现了 约1.6倍的速度提升约2.4倍的参数量减少
  • 图像分割优势:在图像分割任务上,相比原始 SAM 模型,实现了 约20倍的速度提升约20倍的参数量减少
  • 移动设备部署:在 iPhone 15 Pro Max 等移动设备上,EfficientTAM 能够以 约10 FPS 的速度运行视频对象分割,并保持合理的质量,证明了小型模型在端侧视频分割应用中的潜力。

实验通过定量(包括不同提示下的交互式视频分割、图像分割、速度-精度权衡图)和定性结果(与 SAM 2、EfficientSAM 等的对比)验证了所提方法的有效性。

20. Kagi Search API (help.kagi.com)

Kagi Search API 允许通过编程方式访问 Kagi 的优质搜索结果。完整的 API 参考文档位于 kagi.com/api/docs。使用时可通过包含授权令牌的 HTTP 请求进行查询,例如:curl -H "Authorization: Bot $TOKEN" "https://kagi.com/api/v1/search?q=kagi+search"。该 API 会继承用户账户中的相关设置,例如网站阻止或推广(结果个性化)以及搜索片段长度(通过设置 → 搜索进行调整)。旧版本的 v0 Search API 文档可在“Search API (Legacy)”中查阅。

21. No need to email me about Cisco AnyConnect (daniel.haxx.se)

文章总结

作者Daniel Stenberg(curl项目的主导开发者)澄清,他的姓名和电子邮箱出现在Cisco AnyConnect VPN客户端中,是因为该产品使用了libcurl库(curl是众多开源组件之一)。作者与Cisco公司无任何关联,也非AnyConnect产品的开发或维护人员。

由于用户在使用AnyConnect时遇到问题,常无法找到正确的技术支持渠道,导致大量用户向作者发送求助邮件。多年来,他已收到近百封类似请求,但均无法提供帮助,因为他对AnyConnect的具体问题毫不知情。

作者明确指出,正确的支持联系邮箱应为:ac-mobile-feedback@cisco.com。文章旨在引导用户向官方渠道求助,并避免不必要的误解。

22. Chuck E. Cheese's animatronics band bows out (spectrum.ieee.org)

Chuck E. Cheese 电子动画乐队的兴衰历程

创立背景与商业模式 1977年,雅达利创始人诺兰·布什内尔在美国加州圣何塞开设了第一家 Chuck E. Cheese Pizza Time Theatre。其核心商业模式是垂直整合街机游戏市场:通过提供披萨、电子游戏和电子动画表演相结合的家庭娱乐体验,吸引顾客在等待披萨时消费游戏币,从而直接获取游戏收入。布什内尔从迪士尼乐园的“魔法提基屋”电子动画表演中获得灵感,决定在餐厅中加入类似演出。

技术实现与角色设定

  • 技术原理:电子动画结合了电子、机械、液压和气动部件,可控制角色头部、手臂和眼睛的动作,但无法行走。表演通过预编程的双轨音频磁带同步声音与动作数据,一台DEC小型计算机用于编程,每分钟动画约需三小时编程。
  • 早期阵容:初始角色包括主角老鼠Chuck E. Cheese、厨师Pasqually、班卓琴手Jasper T. Jowls等,表演每小时进行六场,每场两分钟,通过气动阀门驱动200多个同步动作。
  • 命名趣事:创始人原购得一套郊狼服装,后发现实为老鼠,餐厅一度拟更名“Rick Rat's Pizza”,但因营销团队认为名称不吉利,最终定名“Chuck E. Cheese”(一个能让人微笑三次的名字)。

竞争对手与行业竞争

  • ShowBiz Pizza的崛起:1980年,原合作方罗伯特·布洛克因不满Chuck E. Cheese的动画技术,转而与Creative Engineering Inc.(CEI)合作创立了竞争对手ShowBiz Pizza,采用更先进的“Rock-afire Explosion”动画乐队。
  • 市场竞争:两家公司争夺家庭娱乐市场,ShowBiz Pizza以更复杂的动画角色和演出吸引顾客,形成直接竞争。

衰落、合并与淘汰

  • 经营困境:1980年代中期,Chuck E. Cheese因动画制作运营成本高昂和1983年电子游戏业崩溃而申请破产,后被布洛克收购并与ShowBiz Pizza合并为ShowBiz Pizza Time。
  • 品牌统一:1990年,公司推行“概念统一化”,将Rock-afire角色改编为Munch's Make Believe Band,逐步将所有ShowBiz门店转为Chuck E. Cheese品牌。
  • 最终淘汰:2024年,公司宣布将在除五家门店外的所有地点淘汰电子动画乐队,以视频屏幕、舞池和蹦床取代。

文化影响与怀旧情结

  • 电子动画餐厅成为流行文化符号,出现在《辛普森一家》《费城总是艳阳天》等作品中。
  • 2014年游戏《玩具熊的五夜后宫》以类似动画角色为灵感,激发了新一代对这类机械角色的兴趣。
  • 尽管技术已过时,但电子动画代表了家庭娱乐的一个时代,承载着许多人的童年回忆。

总结 Chuck E. Cheese的电子动画乐队从技术创新起家,历经市场竞争与行业变革,最终因成本过高和消费者偏好变化而被淘汰。它的历史反映了娱乐技术从机械动画向数字化屏幕的演变,也标志着一个家庭娱乐时代的落幕。

23. A simple way to scale pixel art games (30fps.net)

像素艺术游戏的简单缩放方法

文章核心介绍了视频游戏历史学家Frank Cifaldi提出的一种缩放像素艺术游戏的方法,旨在模拟老式CRT显示器的视觉效果。

方法描述

该方法建议分别对垂直和水平轴进行不同的缩放处理:

  1. 垂直轴:使用整数最近邻缩放
  2. 水平轴:使用线性缩放(双线性过滤)

这相当于先进行最近邻放大,再对水平方向施加轻微模糊,其效果类似于CRT显示器的显示特性。

视觉效果对比

文章通过《Jazz Jackrabbit 2》的截图展示了三种缩放效果的差异:

  • 纯最近邻缩放:保持像素清晰但对比度强烈
  • 混合缩放方法(文中推荐):减少抖动图案的明显度,使人脸表情更易辨认,同时保留像素艺术的基本清晰度
  • 纯双线性缩放:整体模糊,失去像素艺术的特征

模拟CRT效果的理由

Cifaldi提出此方法的理由是它“符合CRT显示器的显示方式”。文章解释:

  • 通过复合视频连接的电视确实会产生类似模糊效果
  • PC显示器虽然使用VGA连接质量更好,但仍会因显卡或廉价VGA线材产生轻微水平模糊

VGA实验验证

作者进行了实际测试比较HDMI和VGA输出的差异:

  • 将笔记本电脑同时通过HDMI和VGA连接到LCD显示器
  • 实验结果显示VGA图像确实存在水平方向的模糊,且模糊程度有时超过线性缩放产生的效果
  • 结论认为该方法产生的模糊“符合中等质量VGA信号的表现”

适用性与示例

此方法特别适合:

  • 模拟90年代游戏机视觉效果
  • 处理320x200分辨率的MS-DOS游戏(显卡已对垂直方向进行行倍增处理)
  • 文章展示了1995年游戏《Cold Dreams》的缩放效果,表明该方法能平滑颜色渐变,改善轮廓识别

总结

文章认为这种简单的缩放技术为像素艺术游戏提供了一种有效的复古视觉表现方案,只需轻微水平模糊就能模拟CRT显示器特性,同时保持像素艺术的基本特征。

24. Ask HN: Who wants to be hired? (December 2024)
25. We switched from Next.js to Astro (and why it might interest you) (www.datocms.com)

从 Next.js 迁移至 Astro 的实践与考量

本文是系列文章的第一部分,总结了将公司网站从 Next.js 13 迁移至 Astro 框架并更换托管架构的原因、过程及初步成果。

迁移动机与目标

迁移决策源于几个核心诉求:

  • 全面采用 TypeScript:旧站基于2019年纯 JavaScript 构建,缺乏类型安全,随着页面增多,重构信心不足。新站需全面使用 TypeScript,并为 GraphQL 查询提供完整类型支持。
  • 充分利用 DatoCMS 新功能:旧站未能集成 DatoCMS 近期推出的强大特性,如 GraphQL "Strict Mode" 和 Cache Tags(缓存标签),后者能实现静态缓存性能同时支持秒级内容更新。
  • 简化开发心智模型:Next.js 生态近年来愈发复杂(如 Server Components、App Router 等),对于内容驱动的网站显得过度设计。团队需要更简单、直观的架构,避免不必要的复杂性。
  • 追求架构简洁与成本效益:目标是建立一个基于标准、控制力强且成本合理的简单架构。

选择 Astro 的原因

在满足服务器端渲染并能自由操作响应头以支持 Cache Tags 的前提下,选择 Astro 的关键原因在于其核心哲学:

  • 彻底的服务器端优先:Astro 专注于服务器端和静态生成,完全杜绝客户端渲染,这与 Next.js 等框架将复杂运行时打包至浏览器的做法形成鲜明对比,大幅降低了内容网站的复杂度。
  • 适度交互的灵活性:尽管以服务器端渲染为核心,Astro 允许通过 "Astro Islands" 架构在需要时无缝嵌入 React、Vue 或 Svelte 组件,实现局部交互,平衡了性能与功能需求。
  • 现代开发体验:基于 Vite 构建,提供一流的 TypeScript 支持和高效的构建工具链。

新技术架构概览

迁移后的新架构如下:

  1. 框架与部署:使用 Astro(Node 适配器)构建,输出 Node.js 服务器。部署在 Hetzner 的 VPS(每月约15欧元)上,通过 Kamal 管理。
  2. 流量路由与预览
    • www-draft.datocms.com 直接指向 Astro 服务器,供团队预览草稿内容。
    • www.datocms.com 指向 Fastly CDN,以 www-draft 为源,向公众提供缓存内容。
  3. 内容获取与缓存
    • 根据请求域名,Astro 在向 DatoCMS 发起 GraphQL 请求时自动设置 X-Include-Drafts 头,实现草稿与正式内容的分离。
    • 利用 DatoCMS Cache Tags,Astro 将内容关联的缓存标签透传至 CDN 的 Surrogate-Key 头,实现页面级缓存。
  4. 缓存失效:DatoCMS 内容变更时通过 Webhook 通知 Astro 服务器,服务器再调用 Fastly API 进行精准缓存清除,整个过程通常在150毫秒内完成。

迁移效果与收益

新架构已稳定运行,主要收获包括:

  • 卓越的性能与开发体验:网站具备静态站的性能,团队可实时预览内容修改,访客享受 CDN 缓存的快速响应。
  • 心智模型极其简单:核心就是服务器端渲染,无客户端 hydration 或大型 JS 包。缓存机制虽强大,但对开发者透明,无需额外管理。
  • 精准与快速的更新:缓存清除精准到页面级别且瞬间生效,修正错误内容无需等待长时间构建。全站构建时间约3分钟,与页面数量无关。
  • 成本显著降低:基础设施成本大幅下降。

迁移过程总结

整个迁移由两名开发者历时约两个半月完成,期间非全职投入。得益于 Astro 的 JSX 语法,组件迁移相对顺利,复杂交互部分保留为 Astro Islands,简单交互则转换为 Web Components。

本次迁移是一次成功的实践,证明了对于内容驱动型网站,Astro 配合 DatoCMS 的 Cache Tags 能提供一种更简单、高效且成本友好的现代化解决方案。

26. Show HN: Copper – Open-source robotics in Rust with deterministic log replay (github.com)

Copper 是一个基于 Rust 的确定性机器人运行时框架,可视为“机器人的游戏引擎”。它允许通过声明式方式描述系统,并自动生成定制调度器,实现从云端仿真到嵌入式控制器的确定性运行。

核心优势

  • 极低延迟:零分配、面向数据的运行时,实现亚微秒级延迟。
  • 确定性回放:支持调试与认证所需的确定性日志回放。
  • 互操作性:通过桥接与 ROS 2 互通。
  • 跨平台运行:支持从 x86 服务器到裸金属设备的多种环境。

关键特性与文档

  • 应用概览:最小任务图与运行时指南。
  • 构建与部署:项目结构、构建产物及部署流程。
  • 配置参考:基于 RON 格式的任务、消息与连接配置。
  • 任务生命周期:任务的运行、暂停与状态序列化机制。
  • 模块化配置:支持将大型配置拆分为可复用模块。
  • 任务自动化:通过 just 工具实现跨仓库的可重复任务辅助。
  • 桥接概念:连接外部系统与协议。
  • 资源集成:将硬件与共享服务整合到任务与桥接中。
  • 裸机开发:支持作为裸金属运行时运行。
  • 平台支持:覆盖桌面、移动及嵌入式目标。

可视化与更新

  • 任务生命周期可视化:展示任务运行状态。
  • 构建与部署流程图:说明部署步骤。
  • 任务定义示例:提供典型任务配置。
  • 发布说明:记录版本更新内容。

资源与扩展

  • 组件目录:列出可用 SDK 组件。
  • 常用问题与路线图:解答常见问题及未来发展方向。
  • API 文档:提供在线文档(包括稳定版与主分支开发版)。
  • 源码与贡献指南:GitHub 源码及社区贡献指引。
28. Evidence of the use of silk by Bronze Age civilization (www.nature.com)

研究背景与意义 丝绸作为有机材料,在长期埋藏中难以保存。丝绸在青铜时代主要用于祭祀,如制作祭服或作为沟通天地的物质载体(如丝帛书、帛画)。然而,因丝绸易降解,其起源和早期使用的直接考古证据稀缺。中国四川三星堆遗址(公元前1600-1100年)的祭祀坑中,虽出土了大量青铜器、玉器,且发现灰烬层及器物表面有织物痕迹,但此前并未确认丝绸的存在。本研究旨在通过新技术检测这些痕迹,为丝绸的早期祭祀用途提供考古证据。

研究对象与材料 研究主要针对三星堆遗址2018-2019年新发现的祭祀坑。关键样本包括:

  1. 灰烬层样本:取自4号祭祀坑约20厘米厚的灰层。
  2. 矿化织物样本:出自7号坑首次发现的“网格状器”。该器物由青铜网格及内置玉器组成,在玉器和青铜网格表面均发现了矿化织物痕迹。三维显微观察显示,这些织物为平纹,但经纬密度和编织风格不同,表明玉器先用织物包裹后放入网格器,网格器外可能又包裹了另一层织物。

研究方法与技术创新 由于样本中丝绸残留物浓度极低且混杂大量其他有机降解产物和矿物质,传统化学方法难以有效提取。本研究开发并应用了一套综合分析方法:

  1. 形态学观察:通过扫描电子显微镜和X射线三维显微镜观察矿化纤维。结果显示纤维纵向光滑、横截面近似三角形,内径约15-20微米,符合桑蚕丝特征,且矿化程度不均。
  2. 丝素蛋白免疫亲和柱富集技术:这是本研究的核心创新。通过将丝素蛋白抗体偶联于琼脂糖微球,制备了特异性免疫亲和柱,能够从大量复杂提取液中高效富集和纯化微量的丝素蛋白。
  3. 酶联免疫吸附测定:初步筛查证实矿化样本和灰烬层样本均对丝素蛋白抗体呈阳性反应。
  4. 蛋白质组学分析:对富集前后的提取液进行质谱分析。富集前,灰层提取液中检测到44种蛋白但未发现丝素蛋白;富集后,仅检测到4种蛋白,但成功鉴定出桑蚕丝的标志性蛋白P05790。二级质谱进一步验证了该蛋白特异性肽段的可靠性。

主要发现与结论

  1. 首次证实三星堆使用丝绸:本研究首次在三星堆遗址的祭祀坑灰层和青铜器表面矿化痕迹中,通过分子层面的证据确认了丝绸的存在。
  2. 证实丝绸的祭祀功能:丝绸残留物出现在用于祭祀的“网格状器”和玉器表面,结合古代文献记载(如“礼记”中丝绸用于祭服、沟通天地),这为丝绸在青铜时代被用作沟通天地、祭祀神灵的物质载体提供了直接的考古学证据。
  3. 技术突破:开发的丝素蛋白免疫亲和柱结合蛋白质组学的技术,能够从高度降解和污染的考古样本中有效提取和鉴定微量丝绸残留,为探索丝绸及其他有机文物(如毛皮)的起源和使用提供了强大工具。
  4. 历史意义:这一发现将古蜀地区(三星堆)明确使用丝绸的历史提前到三千多年前,为“西南丝绸之路”的早期存在和文化交流提供了重要物证。

技术细节补充(研究方法)

  • 矿化样本提取:将微量矿化样本在特定提取液中高温水浴溶解,离心取上清。
  • 免疫亲和柱制备与使用:将丝素蛋白单克隆抗体与活化琼脂糖微球偶联,装柱。提取液过柱后,通过洗涤去除非特异性吸附,再洗脱获得富集的目标蛋白。
  • 蛋白质组学分析:富集后的样品经酶解、肽段脱盐后,进行液相色谱-串联质谱分析,并与蛋白质数据库比对鉴定。
29. Show HN: Book and change flights with one email (www.bonbook.co)

文章标题:Show HN: 用一封电子邮件预订和更改航班

内容摘要: 该产品在Hacker News上展示,其核心功能是通过一封电子邮件即可完成航班的预订与更改操作。用户只需发送指定格式的电子邮件(或自行编写),系统将在15秒内响应。展示界面模拟了一个简洁的邮件编辑框,包含收件人、主题和正文输入栏,并提示“0条消息”,暗示这是一个高效、自动化的邮件交互流程。整体设计突出便捷性与快速响应,旨在简化传统航班管理步骤。

30. Unlocking the power of time-series data with multimodal models (research.google)

用多模态模型解锁时间序列数据的力量

核心问题与背景

  • 时间序列数据(如医疗ECG信号、气象系统数据)对理解复杂现实系统至关重要。
  • 多模态基础模型(如Gemini Pro)能处理文本、图像等多种模态,但尚未大规模用于时间序列数据分析。
  • 传统方法依赖提示调优或专用编码器,而本文提出直接通过可视化图表来提升模型对时间序列的理解能力。

研究方法

  • 核心假设:多模态模型通过视觉编码器(处理图表)比通过文本(处理原始数值数组)能更好地理解时间序列数据。
  • 实验设计
    • 比较两种提示方式:文本法(原始数值序列)与图表法(数据可视化图像)。
    • 测试模型:包括大型模型(Gemini Pro 1.5、GPT4o)和小型模型(Gemini Flash 1.5、GPT4o-mini)。
    • 任务类型:合成任务(控制条件)与真实数字健康任务(含噪声的实际数据)。

实验结果

真实世界数字健康任务

  1. 跌倒检测(基于IMU传感器数据):
    • 使用公开数据集,分类正常活动、近乎跌倒、实际跌倒。
    • 图表法在少样本学习中总体优于文本法,且性能随示例增加而提升。
  2. 身体活动识别(区分坐、站、爬楼梯、行走、骑车):
    • 多设备数据增加了任务难度,图表法仍表现更优。

合成任务(控制难度递增)

  1. 函数形式识别:分类数据对应的函数类型(如线性、二次)。
    • 图表法的中位分类准确率比文本法最高提升120%
  2. 聚类计数:识别数据中的离散聚类数量。
    • 图表法的平均绝对误差比文本法低55%-85%
  3. 其他任务(如线性相关分类、导数识别)也显示图表法性能等于或优于文本法。

额外发现

  • 图表样式影响:尝试了不同配色、标记大小、坐标轴显示等,结果对这些选择不敏感。
  • 效率优势
    • 上下文利用:图表将时间序列压缩为更少的标记(token),更高效利用模型有限的上下文窗口。
    • 成本节省:处理图表时间序列的API推理成本可能比处理文本表示低10倍

结论

  • 对于多模态基础模型,将时间序列数据可视化为图表能显著增强其理解和推理能力。
  • 该方法无需昂贵额外训练,直接利用模型的原生视觉处理能力。
  • 研究为利用多模态模型构建更强大的工具和助手(如通过自然语言查询时间序列数据)奠定了基础。
32. Show HN: Flow – A dynamic task engine for building AI agents (github.com)

Index:开源浏览器代理工具总结

概述
Index 是一个先进的开源浏览器代理工具,能够自主执行复杂的网页任务。它可将任意网站转化为可访问的 API,并通过少量代码实现无缝集成。

核心特性

  • 驱动模型:支持多种具备视觉能力的推理 LLM:
    • Gemini 2.5 Pro(快速准确)
    • Claude 3.7 Sonnet(带扩展思考,可靠准确)
    • OpenAI o4-mini(在速度、成本和准确性间平衡)
    • Gemini 2.5 Flash(快速、廉价,适用于简单任务)
  • 使用方式
    • 通过 pip install lmnr-index 安装并集成到项目中。
    • 使用 index run 命令在交互式 CLI 中运行代理。
    • 支持通过 Pydantic 模式定义结构化输出,确保数据提取可靠性。
    • 提供无服务器 API 和 Chat UI 供试用。
  • 示例应用:执行如“访问 ycombinator.com,总结 W25 批次前 3 家公司,并在 Google Sheets 创建新表格”的复杂任务。

安装与运行

  1. 安装依赖
    pip install lmnr-index 'lmnr[all]'  
    playwright install chromium  
    
  2. 配置 API 密钥:在项目根目录的 .env 文件中设置模型密钥(如 GEMINI_API_KEYANTHROPIC_API_KEY 等)。
  3. 代码运行
    • 导入模块并初始化 Laminar 追踪(可选,用于记录浏览器会话)。
    • 定义 Pydantic 模式获取结构化输出(例如新闻摘要)。
    • 使用 Agent 类执行任务并验证输出。
  4. CLI 运行
    • 支持浏览器状态持久化、实时流式更新和终端 UI。
    • 可选择模型(如 OpenAI o4-mini)并输入自然语言指令。
    • 可使用 --local-chrome 参数复用个人 Chrome 浏览器实例(保留登录状态)。
  5. API 运行
    • 通过无服务器 API 集成,适合生产环境。
    • 使用 LaminarClient 流式执行任务,需提供项目 API 密钥。

可观测性集成

  • 通过 Laminar 平台实现高级浏览器代理可观测性。
  • 初始化 Laminar 追踪后,可同步记录代理操作与浏览器会话,便于监控和调试。

总结
Index 为构建 AI 代理提供了灵活、强大的动态任务引擎,结合多种 LLM 模型、结构化输出和全面的可观测性,适用于自动化复杂网页任务场景。

34. A middle schooler found a new compound in a piece of goose poop (phys.org)

一项由芝加哥伊利诺伊大学研究人员领导的教育合作项目,使一群中学生参与了真实的大规模科学研究,并取得了重要发现。这些学生通过“男孩女孩俱乐部”与大学实验室合作,参加了为期14周的应用科学课程。他们从自己社区中收集环境样本,并使用编程机器人进行细菌培养和抗生素活性测试。

在收集的14份样本中,一份来自当地公园的鹅粪样本引起了特别关注。学生在后续分析中发现,该样本中的细菌(Pseudomonas idahonensis)不仅具有抗生素活性,还产生了一种从未被记录过的新化合物。

大学研究人员随后通过核磁共振和质谱分析确定了该化合物的分子结构,并将其命名为orfamide N。研究显示,尽管orfamide N并非最初观察到的抗生素活性来源,但它在实验室测试中能够抑制人类黑色素瘤和卵巢癌细胞的生长。这一发现表明该化合物具有潜在的抗癌特性,有待进一步研究。

该项目旨在应对教育资源不平等,特别是STEM领域中实验资源昂贵的问题。通过让代表性不足的学生早期接触高质量的研究实践,该项目不仅帮助他们发现了新的天然产物,也证明了将教育推广与自然产物发现研究相结合是可行的,并强调了大学与社区建立稳固关系的重要性。

该研究已发表在《ACS Omega》期刊上。

36. Static IPs for Serverless Containers (modal.com)

Modal静态IP代理服务技术总结

问题背景

Modal作为无服务器云平台,其容器运行在全球多个区域和云提供商上,动态伸缩且IP地址不固定。这导致无法连接需要固定IP白名单的数据库(如MongoDB),因为:

  1. 容器IP可能位于任何数据中心,且不断变化。
  2. 多租户环境中,同一主机上的不同容器共享主机IP,绕过IP白名单安全性。

初始方案:SOCKS5代理

Modal最初提供SOCKS5代理,但存在局限性:

  • 需要用户修改应用程序代码以集成代理。
  • 依赖于标准库的socket.socket,对异步库(如asyncpg、aiohttp等)兼容性差。
  • 增加了用户配置复杂度,不符合Modal“开箱即用”的开发理念。

最终方案:基于WireGuard的VPN代理(vprox)

为实现透明、高效的静态出站IP,Modal构建了vprox系统,核心组件包括:

1. 代理服务器设计

  • 基于WireGuard(Layer 3 VPN),内置于Linux内核。
  • 服务器监听HTTPS 443端口,接收客户端连接请求,通过TLS安全分发密钥。
  • 使用wgctrl库管理WireGuard peer,定期清理闲置连接。
  • 支持多IP绑定(如AWS实例单主机可关联240个IPv4地址),通过tc进行流量整形,避免带宽竞争。

2. 客户端与连接管理

  • 客户端(Modal worker)定期探测VPN连接,断开时自动重连(10秒内恢复)。
  • 采用协调循环机制:实时监测云实例元数据,动态更新IP地址和WireGuard配置,实现故障转移。

3. 流量路由策略

  • Modal容器使用veth对和网桥进行网络隔离,通过SNAT使流量显示为主机IP。
  • 为将特定容器流量导向VPN接口,使用策略路由
    • 为每个需要代理的容器分配独立的路由表编号。
    • 通过策略数据库将源IP匹配到对应路由表。
    • 动态分配和管理路由表资源,确保多租户隔离。

4. 兼容性与优化

  • 解决反向路径过滤(rp_filter)问题:在Oracle Linux等系统上需设置为loose mode(值为2)以避免丢包。
  • 代理服务器支持自动IP发现(如AWS实例元数据),减少手动配置。

用户使用

  • Team计划用户可直接创建代理获取静态出站IP。
  • 当前每个代理对应一个静态IP,未来计划支持区域代理以降低延迟。

开源与扩展

  • 控制平面已开源:modal-labs/vprox
  • 支持自定义部署,适用于AWS等云环境。
  • 系统设计注重高可用性,单点故障时IP自动迁移,确保服务连续性。

技术亮点

  • 透明代理:用户无需修改代码,所有出站流量自动通过静态IP。
  • 高可用:基于WireGuard的快速故障转移和连接恢复。
  • 可扩展:单服务器支持多IP,经济高效。
  • 安全:利用TLS密钥分发和多租户隔离。
37. Bioluminescent wood using the white rot fungus desarmillaria tabescens (onlinelibrary.wiley.com)

目前无法获取文章正文内容以进行总结。提供的材料是访问文章页面时遇到的Cloudflare安全验证页面(显示“Enable JavaScript and cookies to continue”)及其相关脚本代码,并非文章《Bioluminescent wood using the white rot fungus Desarmillaria tabescens》的实际文本。

因此,基于当前信息无法生成符合要求的摘要。

38. The world of Dante's Divine Comedy (lithub.com)

《神曲》是但丁·阿利吉耶里的巅峰之作,其持久的影响力与艺术复杂性构成了一种非凡的文化现象。尽管这部作品采用严谨的“三韵体”(三行诗节押韵法)写成,格律复杂,且涉及大量中世纪神学、古典文学和历史典故,需要读者具备相应的背景知识才能充分理解,但它却跨越时代吸引了广泛的读者。许多初读时预期枯燥或困惑的读者,最终都被其扣人心弦的叙事所吸引。

作品核心特征

  • 形式与可读性的平衡:诗歌采用“三韵体”和十一音节诗行,结构精密,但其叙事清晰、风格多变,能够迅速从平铺直叙转向崇高描述或激烈对话,塑造了丰富的人物和生动场景。
  • 广阔的背景知识需求:诗中充满简略提及的宗教、神话及政治历史典故,对现代读者而言,若无注解辅助难以完全领会。这与《伊利亚特》或《埃涅阿斯纪》等作品可脱离注解独立欣赏的情况不同。
  • 多层次的内涵:作品不仅是一个引人入胜的虚构旅程故事,提供了但丁时代意大利社会、政治和习俗的详细画卷,还深入探讨了人类存在的哲学与神学根本问题,将这一切融入一个丰富统一的想象宇宙。

标题与性质: “Divine”(神圣的)为后世编辑所加,以彰显其神学意义与艺术成就。但古典意义上的“Comedy”(喜剧)并非指幽默,而是指作品采用通俗的托斯卡纳方言而非拉丁文写成,并且叙述者从艰难境遇走向最终救赎的圆满结局,体现了乐观的生命观。

历史与社会背景: 但丁生活于中世纪晚期(13-14世纪),而非文艺复兴时期。当时的意大利处于四分五裂的城邦时代,政治斗争激烈(归尔甫派与吉伯林派之争),社会流动性低,生活条件艰苦,但基督教信仰及其教会权威渗透社会各个方面,塑造了人们的世界观。但丁本人深度卷入佛罗伦萨的政治漩涡,曾担任公职,后因政治斗争遭流放至死。

作品的自传性与普遍性: 《神曲》虽是虚构的冥界之旅,但深深植根于但丁的个人经历与时代。诗中许多角色是其同时代人乃至政敌,对教皇博尼法斯八世的抨击尤其激烈。然而,但丁不仅仅是在报复个人仇敌,更是在哀叹其所生活时代及教会中的失序与堕落,呼唤最高的道德标准,坚信宇宙终有公正的秩序。因此,作品在个人际遇之上,放射出对人类境况的深刻洞察与尊严。

总结: 《神曲》以其惊人的想象力、复杂的结构、多层次的叙事,以及将个人命运与普世关切相结合的特点,成为不朽的文学经典。它既是一部高度自传性的作品,也是一幅展现中世纪世界观和道德理想的宏伟画卷,其深度与尊严持续引发后世共鸣。

39. Phishers Love New TLDs Like .shop, .top and .xyz (krebsonsecurity.com)

网络钓鱼攻击与新型顶级域名泛滥问题

核心发现: 截至2024年8月,网络钓鱼攻击数量同比增长近40%。这一增长主要集中于少数几个新的通用顶级域名(gTLDs),如 .shop、.top、.xyz 等。

关键数据:

  • 占比悬殊: 新型gTLDs仅占新域名市场的11%,但在2023年9月至2024年8月期间,却占据了约37%的被举报的网络犯罪域名。
  • 对比传统域名: .com和.net域名约占新注册域名总量的一半,但其网络犯罪域名占比略高于40%,与新型gTLDs的比例(37%)接近。

滥用原因:

  1. 价格低廉: 滥用最严重的新型gTLDs中,有9个注册费低于1美元,近二十个低于2美元。相比之下,.com域名的最低价格为5.91美元。
  2. 监管宽松: 这些域名注册商通常只需极低的费用,且几乎没有账户或身份验证要求。

行业监管与未来趋势:

  • 负责监管域名行业的非营利组织ICANN,计划在2026年开启新一轮申请,引入更多顶级域名。
  • 专家批评: CAUCE主席John Levine等人认为,在未实施严格注册政策的情况下增加更多TLDs,将进一步扩大网络犯罪分子的活动空间。批评者指出ICANN的行为更像“域名投机者贸易协会”,而非中立监管机构。
  • 商业模式缺陷: 新型gTLD注册商通过低价吸引大量注册,但犯罪分子和垃圾邮件发送者通常不会续费,导致这种商业模式难以持续盈利。

攻击目标变化:

  • 传统上,被仿冒最多的是苹果、脸书、谷歌等大型科技公司。
  • 但在过去一年,美国邮政服务成为最常被仿冒的目标,其仿冒域名数量是第二名(苹果)的四倍以上。部分原因归咎于一个名为“Chenlun”的网络犯罪分子,其销售针对多国邮政服务的钓鱼工具包。

新兴滥用渠道:

  • 越来越多的钓鱼者避开域名注册,转而利用子域名提供商(如 blogspot.com、pages.dev、weebly.com)。
  • 过去一年,用于钓鱼的子域名实例超过118万个(增长114%),其中超过一半来自谷歌运营的博客等服务。
  • 这类攻击难以缓解,因为采取上游措施(如屏蔽二级域名)会影响提供商的所有客户。报告建议提供商限制用户一次性创建的子域名数量,并遏制利用免费服务进行的批量自动注册。
40. Optimality of Gerver's Sofa (arxiv.org)

Gerver沙发的最优性

本文探讨了著名的“移动沙发问题”中Gerver沙发的最优性。该问题要求找出能通过一个直角L形走廊的最大面积二维形状。

核心问题 移动沙发问题是一个经典的几何优化问题:寻找能在特定宽度的L形走廊内移动的最大面积形状。走廊宽度为1,由两个垂直通道组成,连接处为一个直角转弯。

历史发展与关键形态

  • 哈默尔沙发:最早被广泛研究的解之一,形状类似电话听筒,但面积并非最大。
  • Gerver沙发:1992年由约瑟夫·Gerver提出,是一个具有更复杂曲线的非对称形状。它通过优化曲线的曲率,在转弯时更贴合走廊角落,从而获得更大的面积(约2.2195)。
  • 理论猜想:数学界长期猜想Gerver沙发可能是该问题的最优解,但严格证明一直未被完成。

研究重点 本文的核心主题是对Gerver沙发最优性的分析与证明尝试。这通常涉及:

  1. 变分法:将沙发形状的边界参数化,将面积最大化问题转化为一个受运动约束的泛函极值问题。
  2. 微分方程:最优形状的边界曲线需满足特定的微分方程,以确保其在走廊内移动时不发生碰撞。
  3. 计算验证:通过高精度数值计算来验证Gerver沙发在满足约束下的面积是否确实大于其他候选形状。

挑战与意义 证明Gerver沙发的最优性极具挑战性,因为候选形状的空间是无限的,且移动约束是非线性的。若能获得严格证明,将是对一个长达数十年的经典几何难题的终极解答,展示了解析方法与计算验证在解决此类优化问题上的强大结合。

总结 本文聚焦于为移动沙发问题提供一个关于Gerver沙发最优性的严格分析。它致力于从理论层面确认该形状是面积最大的解,从而为这个结合了几何学、优化理论和微分方程的优美问题画上句号。

41. Show HN: Open-sourced (road) traffic counting application (github.com)

VTC(Video Traffic Counter)是一款基于视频的交通流量计数应用程序,专为Windows系统设计。该软件主要面向Windows 10,但也兼容Windows 7、Vista和8。

硬件要求
VTC无严格硬件限制,但强烈建议使用现代NVIDIA独立显卡(已测试GTX 1060)。GPU需具备至少4GB显存,且必须为NVIDIA品牌以利用CUDA加速图像识别任务,从而提升性能。

开发环境配置

  • 需安装Visual Studio 2017以构建VTC。
  • 可将代码库克隆至任意位置(例如C:\VTC)。
  • 可选安装Visual Studio 2015以构建Yolo DLL,以及Emgu/OpenCV库。

用户指南与资源
设置、配置及故障排除相关指南可参考:

调试与日志

  • 图像可视化调试工具位于\Thirdparty\ImageVisualizer\readme.txt,可帮助将图像对象显示为光栅图像。
  • 运行单元测试可使用命令行参数-tests
  • 日志文件存储在%AppData%\VTC\1.0\Logs\目录下。
42. The dogs of Chernobyl: Populations in the nuclear exclusion zone (2023) (www.science.org)

摘要

提供的HTML内容是一个安全验证页面,由Cloudflare提供,用于保护网站免受自动化或恶意访问。页面标题为“Just a moment...”,显示一个提示,要求用户启用JavaScript和cookies才能继续访问。主要结构包括HTML文档的元数据(如字符集、视口设置、机器人指令noindex,nofollow)、内容安全策略(CSP)限制资源来源、CSS样式定义以及一个JavaScript脚本,用于执行安全挑战。脚本旨在处理验证流程,包括生成挑战令牌、重定向URL和防止滥用。页面设有360秒的刷新周期,并依赖于Cloudflare的挑战平台来验证用户身份。整体而言,这是一个技术性的屏障页面,旨在控制对受保护资源的访问,而非包含原始文章内容。

43. Codenames App, or my biggest project so far (boardgamegeek.com)
  • 页面类型:这是一个Cloudflare安全挑战页面,用于访问验证。
  • 目的:防止自动化或恶意访问,确保用户是合法人类,保护网站资源。
  • 要求:页面依赖JavaScript和cookies才能正常加载;否则显示错误消息提示启用这些功能。
  • 结构
    • HTML文档:标准HTML5结构,包含<head><body>部分。
    • 元标签:定义字符集、视口、机器人指令(如noindex,nofollow)和内容安全策略,限制资源加载源。
    • 样式:内联CSS设置页面布局,包括错误消息的背景图像和响应式设计。
    • 主要内容<noscript>部分显示错误文本“Enable JavaScript and cookies to continue”,提示用户必要设置。
    • JavaScript脚本:加载Cloudflare挑战平台脚本,处理安全验证逻辑,包括参数设置(如挑战ID、区域、哈希值)和可能的重定向。
  • 关键功能
    • 安全验证:通过Cloudflare的托管挑战流程,验证用户身份,防止滥用。
    • 用户引导:在JavaScript禁用时,显示明确错误消息,指导用户启用必要浏览器功能。
    • 动态加载:脚本异步加载挑战脚本,根据浏览器状态处理验证,并可能修改历史记录状态以保持URL一致性。
    • 防护机制:实施严格的内容安全策略(CSP),限制脚本、样式、图像等资源的来源,增强安全性。