260316｜Polymarket威胁，伊朗导弹事件，大麻素清除阿尔茨海默病 - Hacker News

今日 Hacker News 精选：探讨如何与 LLM 高效协作编程，重温浮点数运算的经典知识，并关注预测市场与金融规则对现实世界的影响。

与大型语言模型协作编程

从程序员到“制造者”

一位开发者分享了他利用大型语言模型（LLM）编写软件的经验。他认为 LLM 使他能以更低缺陷率、更快速度构建更高质量的项目，将自己定位为“制造者”而非单纯的程序员。他的工程技能并未过时，而是从编写具体代码转向设计系统架构和做出可用性决策。

多模型协作框架

他的工作流依赖一个名为 OpenCode 的工具，该工具具备两个核心功能：

使用多个模型：他将不同公司的模型（如 Claude Opus、Codex、Gemini）视为各有专长的独立个体。让不同模型进行代码审查，能像获得“第二双眼睛”一样带来显著改进。

定义可互相调用的代理（Agent）：通过定义不同角色的代理并让它们互相调用，可以避免在模型间手动传递大量信息，提升了效率。

架构师-开发者-评审员工作流

他的工作流由三个代理组成：

架构师（Claude Opus）：开发者只与该代理直接交互，用于阐述高级目标、讨论并确定最终架构。这个过程产出详细到文件和函数的低级别计划。

开发者（Sonnet）：使用一个较弱的模型，严格按照计划实现代码更改。

评审员（Codex/Gemini/Opus）：多个评审员独立审查代码，提出批评。反馈会返回给开发者进行迭代。

人类经验不可或缺

开发者强调，在整个过程中，他会利用自身经验大量纠正 LLM 的建议，使项目带有个人印记。当他对底层技术不够熟悉，无法判断 LLM 的架构决策时，项目可能会陷入混乱。这说明，即使有 LLM 辅助，人类的架构能力和技术理解力仍然至关重要。

停止未经思考地粘贴 AI 内容

什么是“Sloppypasta”

“Sloppypasta”是一个新词，指将未经阅读、提炼、核实的 LLM 输出内容直接复制粘贴给他人。这种行为将验证和理解的负担转移给了接收者，被认为是一种不礼貌的沟通方式。

努力不对称与信任侵蚀

“Sloppypasta”破坏了沟通中的平衡。LLM 让写作的成本几乎为零，但阅读和验证的成本却增加了，给接收者带来认知负担。同时，由于 LLM 存在“幻觉”（生成看似合理但错误的信息），这种行为会侵蚀发送者自身的信誉，并破坏沟通中的信任基础。

如何有效利用 AI

为了避免制造“Sloppypasta”，文章提出了几条指导原则：

阅读：分享前亲自阅读 AI 的输出。

验证：核查所有事实性信息。

提炼：将冗长的回复精简为核心要点。

披露：说明 AI 在内容创作中扮演的角色。

按需分享：只在对方请求时才分享 AI 生成的长篇内容。

使用链接：用链接或附件代替大段文字，避免占据对方的屏幕空间。

核心观点是，利用 AI 加速工作，而不是让它取代你的思考。

计算机科学家应知的浮点数算术（1991）

舍入误差的本质

由于计算机使用有限的位数表示无限的实数，浮点计算本质上存在舍入误差。当两个相近的数字相减时，可能发生灾难性抵消，导致结果的有效数字大量损失。为了提高精度，硬件设计中的保护位（guard digit）非常重要。许多看似简单的公式，如二次方程求解，需要通过数学上的重写来避免数值不稳定的问题。

IEEE 754 标准的贡献

IEEE 754 标准统一了浮点数的表示和计算方法，确保了软件在不同平台间的可移植性。该标准定义了加、减、乘、除等基本运算必须精确舍入，即计算结果如同在无限精度下完成再进行舍入。

标准还引入了特殊值来处理异常情况，使计算可以继续进行：

NaN（Not a Number）：表示 0/0 等未定义结果。

无穷大（±∞）：处理上溢（overflow）情况。

非规范化数（Denormalized numbers）：实现了渐进式下溢（gradual underflow），填补了零与最小规范化数之间的空白，保证了 x - y = 0 当且仅当 x = y。

对系统设计的影响

浮点数的特性对编译器和语言设计提出了要求。编译器优化不能随意套用实数的代数恒等式（如分配律），否则可能破坏算法的数值稳定性，例如经典的 Kahan 求和公式。这提醒开发者和系统设计者，浮点数变量的行为与数学上的实数存在关键差异。

纳斯达克为吸引大型 IPO 修改指数规则

规则变更的核心

纳斯达克提议修改纳斯达克 100 指数的纳入规则，被指旨在吸引 SpaceX 等大型公司的首次公开募股（IPO）。关键变更包括：

快速纳入：市值排名前 40 的新上市公司，可在上市 15 天后被纳入指数，豁免了常规的考察期和流动性要求。

低流通股权重乘数：对于公众可交易股份（free float）低于 20% 的公司，其指数权重将按其自由流通股比例的五倍计算。

对被动投资者的影响

这些规则可能导致追踪纳斯达克 100 指数的被动型基金（如 ETF）被迫以被人为推高的价格买入新上市公司的股票。例如，如果一家公司仅发行 5% 的流通股，其在指数中的权重将被计算为 25%（5% 乘以 5），导致巨额被动资金在股票流动性极低的情况下涌入，为内部人士和早期投资者创造了有利的退出条件。

市场操纵的质疑

评论认为，这种机制相当于将财富从散户投资者的退休账户转移到公司内部人士手中。更严重的是，当 IPO 锁定期结束后，内部人士可以大量抛售股票，而指数的季度再平衡规则可能恰好在同一时间强制被动基金买入更多股票，为这些抛售行为提供了接盘资金。社区观点普遍认为，此举损害了指数的完整性，并呼吁监管机构介入。

机器人执行器中电机缩放定律与惯性

电机性能的品质因数

文章探讨了机器人执行器中电机的物理特性。通过分析电机的尺寸缩放定律，作者提出了一个“归一化电机常数”作为品质因数（FoM）。这个指标仅由材料属性决定，与电机尺寸无关，可以有效比较不同尺寸电机在磁性材料效率方面的表现。数据分析显示，市售的无框电机大多遵循这个规律。

反射惯量与传动比无关

文章得出了一个与直觉相反的结论：在给定输出扭矩和功耗的情况下，执行器的反射惯量（reflected inertia）主要由功耗决定，而与传动比或电机尺寸几乎无关。这意味着，无论采用直接驱动还是多级减速，只要输出扭矩和电机功耗相同，电机端的惯性表现基本一致。

模型的局限性

作者也指出，这个品质因数模型并未涵盖峰值扭矩、磁饱和、热传递等复杂因素，并且假设了齿轮传动是理想的。尽管如此，它仍然为理解和设计机器人执行器提供了有价值的参考。

预测市场赌徒为赢取赌注威胁记者

事件概述

《以色列时报》的一名记者因报道一枚伊朗导弹落在以色列境内而收到死亡威胁。一群在预测市场 Polymarket 上下注的赌徒是威胁的来源。他们在“伊朗是否会在 3 月 10 日袭击以色列？”这一事件上押注了超过 1400 万美元。

利益冲突的根源

根据 Polymarket 的规则，“被拦截的导弹”不足以让押注“是”的一方获胜。因此，押注“否”的赌徒们试图向记者施压，要求他将报道中的“导弹袭击”改为“拦截器碎片”，以确保自己赢得赌注。威胁从最初的邮件骚扰升级为针对记者及其家人的死亡威胁。

对新闻业的警示

Polymarket 平台谴责了这种行为并封禁了相关账户。然而，这一事件暴露了预测市场可能对现实世界产生的负面影响。当新闻报道的客观事实与巨大的经济利益直接挂钩时，记者可能面临被操纵或被收买的压力。社区评论普遍担忧，这种机制模糊了事实与利益的界限，侵蚀了新闻业的诚信。

大麻素可清除阿尔茨海默病相关蛋白（2016）

实验室研究发现

一篇 2016 年发表于《衰老与疾病机制》的研究报告指出，大麻素（cannabinoids）可以促进神经细胞清除与阿尔茨海默病相关的有毒蛋白 β-淀粉样蛋白（amyloid beta）。这项研究在实验室培养的人类神经元中进行。

双重作用机制

研究显示，当神经元暴露于四氢大麻酚（THC）时，不仅β-淀粉样蛋白水平降低，由该蛋白引起的细胞炎症反应也被消除，从而帮助神经细胞存活。这是首次证明大麻素能同时影响炎症和β-淀粉样蛋白的积累。

研究背景与展望

大脑中的内源性大麻素系统参与了多种生理过程，而体育锻炼可以促进其产生。研究人员强调，这项发现仍处于初步阶段，需要在临床试验中进一步验证，才能作为阿尔茨海默病的潜在治疗方法。

Bandit：运行 Color Forth 的裸机计算机

项目简介

BANDIT 是一款 32 位手工制作的裸机（baremetal）计算机。它不依赖任何操作系统，直接在硬件上运行 Color Forth。Color Forth 是 Forth 编程语言的一种极简主义方言，以其独特的视觉化语法而闻名。

相关链接：