MemeData

监视反向监控 Sousveillance 6 小时前

“下视”（Sousveillance）一词由史蒂夫·曼（Steve Mann）提出，指个人利用个人设备或可穿戴技术记录活动的行为，这与传统的“监视”（Surveillance，意为从上而下的注视）形成对比。监视通常由权威机构或组织实施，而下视将观察的视角带回到个人层面，使公民有能力记录公共生活或监督权力结构。这一实践包括“反向监视”（inverse surveillance），即公民监督警察等权威人士；以及“不在场证明下视”（alibi sousveillance），用于生成自卫或法律保护所需的客观证据。下视不仅仅是记录，它还是一种实现相互问责、社会行动主义甚至生存的工具，这一点在历史和当代的抵抗运动中均有所体现。然而，其效力好坏参半；虽然它能促进透明度并影响行为，但并不能保证正义，一些备受关注的案例表明，视频证据并不一定能促成起诉。此外，这种做法还引发了复杂的隐私问题，并可能改变公民和官员的行为方式。归根结底，下视代表了数字能动性的转变，使公民社会能够通过广泛、基层的手段传播第一手证据，从而挑战权力关系并参与构建一种“真相政治”。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录监视反制 ( wikipedia.org ) 10 分由 xeonmc 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论帮助指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索:

OpenAI（2015年） OpenAI (2015) 6 小时前

请启用 JavaScript 和 Cookie 以继续。

最近的一场 Hacker News 讨论重新翻出了 OpenAI 2015 年最初的使命宣言，引发了关于该组织变化之大的讽刺性评论。用户们嘲笑了该公司早期的主张——特别是其宣称的“不追求经济利益”并专注于造福人类的目标——鉴于 OpenAI 目前的商业轨迹，人们认为这些言论“像放坏了的牛奶一样”令人反感。对话很快从公司的历史转向了其关键人物的政治立场，特别是格雷格·布罗克曼（Greg Brockman）等人向支持特朗普的超级政治行动委员会（Super PACs）所提供的高额捐款。这引发了关于政治腐败、金钱对美国政治的影响，以及西方资本主义与中国国家支持的 AI 项目（如 DeepSeek）之间对比的广泛且激烈的辩论。一些评论者对所谓的“美国道德优越感”表示不满，认为国内政治和企业的腐败与其他国家一样具有系统性。该讨论串凸显了社区对 OpenAI 从一家开源非营利组织演变为一家拥有强大政治背景的商业实体所感到的幻灭。

生物学或许并非量子，但其数学却是类量子的。 Biology might not be quantum, but its math is quantumlike 6 小时前

几十年来，科学家们一直在争论生物体是否利用了“量子性”（例如相干性和纠缠态）来实现诸如光合作用近乎完美的效率等生物学成就。虽然细胞温暖而混乱的环境通常会破坏脆弱的量子态，但研究人员曾假设生命已经进化出维持这些状态的方法。然而，以普林斯顿大学化学家格雷戈里·斯科尔斯（Gregory Scholes）为首的领域内最新进展提出了不同的结论。生物体可能并非在利用真正的量子效应，而是利用了在数学上“模拟”量子行为的复杂经典网络。经过数十亿年的进化，生命发展出了复杂的结构，这些结构无需量子物理学即可达到与量子系统相同的函数结果。这种“类量子”视角为传统观点提供了一种引人注目的替代方案。它表明，大自然之所以能实现超凡的效率，并非通过挑战宏观世界的退相干性，而是通过将经典组件组织成能够复制量子领域优势的系统。这一认识标志着量子生物学的一次重大转折，它强调了尽管生命表现出的任务看起来像是量子的，但其底层的运作机制依然稳固地植根于经典复杂性之中。

近期 Hacker News 上的一篇讨论聚焦于《量子杂志》（*Quanta Magazine*）题为《生物学或许并非量子，但其数学本质却具有量子特性》的文章。该帖文引发了用户间轻松愉快的交流。一位评论者对文章中展现的时间与生物过程的可视化表达感到着迷，将其比作高维生物的体验。另一位用户则对“量子特性”这一术语表示怀疑，认为它是一个毫无意义的描述词。对此，版主“dang”提醒用户应遵守社区准则，避免浅薄的否定，应提出实质性的批评。对话最终以一个调侃该术语的幽默玩笑结束。

将 GLM-5.3-Flash 转化为类似 Jev 的决策模型 Turning GLM-5.3-Flash into a Jev-like decision model 7 小时前

这篇文章展示了如何将现成的 LLM（如 GLM-5.3-Flash）转化为高效的“决策模型”，且无需进行微调。该方法不再生成全文或 JSON，而是通过提示词引导模型输出一个代表预定义选项的单一索引。系统通过在单次前向传递中分析这些特定 token 的对数概率（log probabilities），即时输出类型化的决策结果及置信度分数。 **核心亮点：** * **性能：** 在 28 个数据集的基准测试中，该方法的准确率和速度均与 TypeSafe 的 Jev 等专用决策模型相当。 * **多模态能力：** 与 Jev 不同，该方法利用模型的视觉能力，实现了针对图像（如扫描文档）的类型化决策。 * **高效性：** 避免了生成式任务的开销，系统实现了亚秒级的低延迟，适用于高吞吐量应用。 * **安全性：** 通过“私有模式”（Privatemode）运行，这些决策在机密计算环境中处理，确保数据在推理过程中始终保持加密状态。该方案开源并兼容任何基于 vLLM 的端点，为传统的专用决策软件提供了一种灵活且高性能的替代方案。

Hacker News 上近期的一场讨论强调了一种将 GLM-5.3-Flash 大模型转化为可媲美“Jev”决策模型的新技术。研究人员通过精心设计输入提示词，使模型在输出第一个 Token 时即做出决策，从而实现了单次推理。基准测试显示，该方法在准确率和速度上均与 Jev 持平，并显著优于 Laya。尽管 Jev 的成本效益更高，但基于 GLM 的方案拥有一项关键优势：支持视觉处理。社区讨论主要集中在这些模型之间的权衡。虽然有人质疑为何要选择比 Jev 更昂贵的模型，但另一些人指出，GLM 的开源权重和多模态能力提供了有意义的差异化优势。此外还有推测认为，Jev 的性能可能依赖于专门的训练后处理，这表明若能通过标准基础模型实现具备竞争力的结果，或许会挑战 Jev 特定架构的必要性。

HomeBody：一个能够自主探索、记忆并采取行动的人形机器人 HomeBody: A humanoid that explores, remembers, and acts on its own 7 小时前

HomeBody 是一个通过“空间目标”连接任务推理与物理执行的机器人框架。系统通过选择技能及其对应的目标（源自第一视角图像、地图上下文及末端执行器状态）来触发结构化的工具调用。这种机制将视觉语言模型（VLM）与底层实现解耦，因为各项技能可自行管理运动规划。每项技能都使用针对其功能定制的空间输入： * **抓取 (Picking)：** 利用二维图像坐标引导分割和立体深度估计，随后进行分析性抓取预测及具备避障功能的运动规划。 * **导航 (Navigation)：** 依赖二维地图坐标和方向目标。 * **放置 (Placing)：** 执行朝向相对于机器人躯干的三维释放目标的运动。 * **操作 (Manipulation)：** 将诸如抽屉开启等复杂任务，整合为包括对齐、钩挂和拉动在内的一系列统一动作。通过将物理执行与高层推理抽象分离，HomeBody 使视觉语言模型能够在无需了解底层控制细节的情况下，指挥复杂的多步机器人行为。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录 HomeBody：一种能够自主探索、记忆并采取行动的人形机器人 ( stanford.edu ) 10 分由 famouswaffles 发布 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论帮助 smusamashah 30 分钟前 [–] > 我们的系统允许由 GPT Astra 引导的 Unitree G1 机器人清理房间，并根据模糊的指令检索已记住的物体。这根本不是“自主”的。回复指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

自动售货机的演变 The Evolution of Vending Machines 7 小时前

虽然现代自动售货机已成为日常生活的一部分，但其起源可以追溯到古罗马时期的埃及。最早的自动化设备由亚历山大的希罗（Hero of Alexandria）发明，他利用投币式的天平和杠杆机制在神庙中分发圣水。几个世纪后，到了17世纪，自动售货技术在英国重新出现，用于销售烟草。19世纪末，该行业开始蓬勃发展，早期的美国创新者如托马斯·亚当斯（Thomas Adams），开始在纽约的铁路站台上使用机器销售口香糖。整个20世纪，机器经历了显著的演变，从销售香烟、咖啡到冷藏三明治，功能日益多样。技术的进步，特别是从单纯的投币操作转向纸币扫描，以及最终实现信用卡和数字支付的整合，彻底改变了该行业。如今，自动售货市场已是一个价值数十亿美元的企业，并采用了触摸屏和人脸识别等先进功能。从简单的分配器到提供美食和新鲜农产品的复杂智能终端，自动售货机已从古代的奇珍异物演变为现代商业中必不可少的高科技工具。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录自动售货机的演变 ( saturdayeveningpost.com ) 9 分由 ohjeez 发布 3 小时前 | 隐藏 | 往期 | 收藏 | 讨论帮助指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式搜索：

为什么暴风雪号航天飞机有四台计算机，而不是三台 Why Buran Had Four Computers, Not Three 7 小时前

本文探讨了苏联“暴风雪”号航天飞机的四通道冗余系统，该系统利用四台运行相同软件的“Biser-4”飞行计算机，以实现对两次同步故障的容错。作者明确指出，这并非“3f+1”拜占庭容错方案，而是一种通过比较输出结果来识别并屏蔽故障通道的输出表决系统。作者指出，在所有通道上运行相同的软件会带来“共模故障”的风险，即共享的软件漏洞可能导致所有计算机产生相同的错误输出，航天飞机（Space Shuttle）和阿里安501（Ariane 501）火箭均曾因该漏洞遭受重创。为了探索这一问题，作者使用 Rust 语言实现了一个表决组件，并利用 Lean 4 定理证明器对其正确性进行了机器辅助形式化验证。尽管证明确保了表决器本身不会发生崩溃且能正确屏蔽单点故障，但它无法检测或防止共享的软件缺陷，也不是符合 DO-178C 等行业标准的完全合格工具。文章最后总结道，形式化验证虽是确保关键系统可靠性的有力手段，但它只是对严谨软件设计和系统级故障防护的补充，而非替代。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录为什么暴风雪号航天飞机有四台计算机，而不是三台 ( zatona.dev ) 9 分由 dzatona 3 小时前 | 隐藏 | 往期 | 收藏 | 讨论帮助指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

逆向工程 Intel 8087 的正切算法：不仅仅是 CORDIC Reverse-engineering the Intel 8087's tangent algorithm: more than CORDIC 8 小时前

1980 年推出的英特尔 8087 处理器通过大幅加速浮点运算，彻底改变了 IBM PC 的性能。其一大亮点是 `FPTAN` 指令，仅需 90 微秒即可完成正切计算，相比 8086 处理器所需的 13,000 微秒有了巨大提升。为了实现这一性能，8087 采用了结合 **CORDIC**（坐标旋转数字计算机）算法与**有理多项式近似**的复杂混合算法。CORDIC 最初是为 B-58 轰炸机开发的，它允许仅通过简单的加法、减法和位移运算来计算超越函数，从而避免了昂贵的乘法或除法运算。该芯片的微代码通过三个阶段实现 `FPTAN`： 1. **伪除法**：利用 CORDIC 确定必要的旋转角度。 2. **有理近似**：使用帕德近似（$3x/(3-x^2)$）高精度处理剩余角度。 3. **伪乘法**：通过位移和加法应用确定的旋转。通过卸载除法运算并利用专用硬件进行平方和位移，8087 高效地实现了 64 位精度。尽管现代 CPU 现在更倾向于使用多项式近似和向量化库（SIMD）而非 CORDIC，但 8087 依然是计算机史上硬件级巧妙优化的里程碑。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录逆向工程 Intel 8087 的正切算法：不仅仅是 CORDIC ( righto.com ) 10 分由 pwg 发布 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论帮助 jaygreco 1 小时前 | 下一条 [–] 喜欢这些深度解析。看到我们今天视为理所当然的底层工程是如何发展起来的，真是太迷人了。难以置信的是，相当于一台 160 磅重的数字计算机的功能，竟被构建并固化在了硅片中。逆向工程也令人赞叹。在这样一个似乎不再欣赏专业知识的时代，看到这些真是令人耳目一新。回复 kens 1 小时前 | 上一条 [–] 我是作者，欢迎提问关于 8087 的问题…… 回复指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式搜索：

```Go 并发精要``` Go Concurrency Distilled 8 小时前

本指南为 Go 并发编程提供了简明扼要的技术回顾，侧重于实际应用而非基础理论。涵盖的核心主题包括： * **执行与同步：** 利用 **Goroutines** 处理轻量级任务，以及使用 **WaitGroups** 进行同步。 * **通信：** 使用 **Channels**（缓冲通道、定向通道）和 **`select`** 语句处理复杂的数据流与流水线管理。 * **时间与控制：** 通过 **`time.Timer`**、**`time.Ticker`** 和 **`context.Context`** 管理操作，实现稳健的取消与超时控制。 * **安全性：** 使用 **Mutexes**（互斥锁）、**原子操作**和**信号量**防止**数据竞争**（Data Races）和**竞态条件**（Race Conditions）。 * **高级模式：** 利用 **`sync.Pool`** 进行高效内存管理，使用 **`sync.Once`** 实现一次性初始化，以及通过 **`sync.Cond`** 进行信号通知。 * **诊断：** 使用**指标（metrics）**、**`pprof`** 分析器识别瓶颈以及**执行追踪（execution tracing）**来监控运行时健康状况。 * **测试：** 编写可靠的并发测试，包括使用 `synctest` 包进行基于虚拟时钟的确定性测试。本书专为中级 Go 开发者设计，强调 Go 调度器能够高效管理数千个 Goroutine，同时指出竞态检测器（race detector）对于维护生产级线程安全代码至关重要。

抱歉。

雷丁贝叶挂毯 Reading’s Bayeux Tapestry 8 小时前

虽然大英博物馆展出的贝叶挂毯原件门票已售罄，但雷丁博物馆提供了一个绝佳的替代选择。在那里，您可以免费欣赏到一幅全尺寸的手工刺绣复制品，无需排队，也无需支付高昂的门票费用。这件长70米的杰作由利克刺绣协会于1885年创作，陈列在一个专门的展厅中。由于它避开了11世纪原件所经历的历史磨损，因此色彩依然极其鲜艳。雷丁的这件复制品还因其透明度而独具特色：35名绣工中的每一位都在自己的板块上缝上了名字，博物馆甚至还增加了乔伊·梅森特（Joy Messent）于2019年创作的补白，想象了挂毯遗失的最终场景。无论您是对诺曼征服、19世纪的针线活，还是仅仅对引人入胜的历史叙事感兴趣，雷丁博物馆都能提供高质量且便捷的参观体验。虽然它可能缺乏布卢姆茨伯里（大英博物馆）那种950年历史的“历史气息”，但这件制作精良的艺术品完美地捕捉了黑斯廷斯战役的宏大故事。博物馆周二至周六开放，免费入场。

抱歉。

每日HackerNews RSS