客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。
每日HackerNews RSS
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
威尔·塞尔夫的热情 (newstatesman.com)
15 分，apollinaire 1 天前 | 隐藏 | 过去的 | 收藏 | 3 条评论 帮助
mitchbob 1 天前 | 下一个 [–]
https://archive.ph/2026.03.07-033009/https://www.newstatesma... 回复
rwmj 1 天前 | 上一个 | 下一个 [–]
他似乎在现实生活中和他的书中一样痛苦和厌世。回复
samirillian 1 天前 | 上一个 [–]
他名字中的讽刺/命名决定论。自我无法摆脱混乱的局面，无法意志成为他分离式崇拜的好基督徒。“信仰不在个人意志之中。塞尔夫试图相信——但无法相信。”回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
这项探索始于研究三角函数和双曲函数的复合，旨在创建比较表。然而，过程发现Mathematica处理这些恒等式，特别是双曲函数时存在复杂性。虽然Mathematica正确地简化了圆函数复合，如`Sin[ArcCos[x]]`，但对于`Sinh[ArcCosh[x]]`和`Tanh[ArcCosh[x]]`却产生了意想不到的结果。
这种差异源于`ArcCosh(x)`的细微定义。由于`cosh`的偶数性质，`ArcCosh`需要在复平面上通过分支割来保持一致的定义——具体来说，是从负无穷到1的不连续性。此外，简化`√(x + 1)² = (x + 1)`并非普遍成立，尤其是在`x`小于-1时。
Mathematica的输出反映了结合了解析延拓和极限的严格定义，而更简单的公式则假定`x`是大于或等于-1的实数值。通过明确声明假设 (`Assumptions -> {x >= -1}`)，Mathematica*可以*返回简化的形式。这强调了仔细定义诸如`ArcCosh`和`sqrt`之类的函数的重要性，以确保在所有可能的输入下都能保证正确性。
## Mathematica 简化问题与计算机代数系统讨论
最近的 Hacker News 讨论集中在 Mathematica 的一种令人困惑的行为上：它无法简化 `Sinh[ArcCosh(x)]`。作者最初给出了错误的结果，后来更正，强调了 Mathematica 处理反双曲函数中的复数和分支割裂时的一个特点。
该讨论扩展到关于计算机代数系统 (CAS) 中简化的更广泛的对话。用户指出，“简化”并不总是直接的，取决于上下文和期望的结果。核心问题包括对变量的假设的需求（例如，实数与复数）以及像 `sqrt(x^2)` 这样函数固有的歧义，它等于 `abs(x)`，而不仅仅是 `x`。
许多评论者提倡 CAS 算法的更大透明度，建议开源核心函数背后的启发式方法。虽然 Mathematica 的 CAS 备受推崇，但其“黑盒”性质让一些用户感到沮丧。最后，讨论涉及大型语言模型 (LLM) 和形式化验证工具在未来挑战传统 CAS 系统主导地位的可能性。
杰夫·贝佐斯颠覆了《华盛顿邮报》
Jeff Bezos wants Washington Post’s newsroom budget halved, productivity doubled
31 天前
请启用 JavaScript 并禁用任何广告拦截器。
## 华盛顿邮报面临压力：贝佐斯要求削减成本并提高产量
据报道，杰夫·贝佐斯希望将《华盛顿邮报》新闻编辑室的预算减半，同时将生产力提高一倍，引发了业内观察人士的担忧。讨论的重点在于*如何*衡量生产力，人们担心这会优先考虑数量而非高质量新闻——例如，优先考虑代码行数而非深度报道。
据报道，《邮报》在2024年亏损了1亿美元，这促使了削减成本，但一些人认为贝佐斯收购《邮报》并非为了盈利。许多评论员指出与贝佐斯资助蓝色起源的情况相似，蓝色起源持续亏损数十亿美元，暗示《邮报》的价值可能更多在于影响力而非收入。
一些用户认为贝佐斯打算将《邮报》用作宣传工具，这与富豪投资媒体以塑造公众舆论的趋势相符。另一些人指出，《邮报》近年来质量有所下降，这归因于编辑方向的转变和读者流失。这种情况引发了对新闻业未来以及富豪所有权在媒体中作用的质疑。
微小斜坡
Microslop
31 天前
## “微量垃圾”日益引发不满与科技的未来
本文表达了对微软日益激进策略的强烈不满，特别是其对人工智能集成的推动——被称作“垃圾”（slop），以及对用户体验的控制。作者预测可能会出现反弹，并可能因使用的强烈措辞导致在必应网络上被列入黑名单。
核心论点集中在微软从一个有用的平台转变为一个控制力量，优先考虑云服务和人工智能（Copilot），而牺牲了用户需求和隐私。担忧范围从占用资源的软件和强制使用浏览器，到侵入性监控功能，如“Microsoft Recall”。作者详细描述了在Windows版本迭代中的个人经历，强调更新始终如一地降低性能并限制用户控制。
出于对所有权和自由的渴望，作者提倡使用Debian、Ubuntu和Void Linux等替代方案，并详细说明了从微软生态系统中转移的工作流程。文章警告了依赖人工智能代理的危险，这些代理可能会集中权力并侵蚀个人自主权，最终担心未来技术将服务于企业贪婪，而不是人类赋权。
最终，这篇文章是一个行动呼吁：承认问题，感到愤怒，并积极寻求解决方案，通过重新掌控你的技术并抵制朝着封闭、人工智能主导的未来的趋势。
Hacker News新版 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录[标记]signa11 1天前 | 隐藏 | 过去 | 收藏
charcircuit 1天前 | 下一页 [–]
Windows Vista 在 Windows 7 之前发布。
AtlasBarfed 1天前 | 上一页 | 下一页 [–]
哈哈，在首页第二位，但“Microslop”违反了 HN 的发布/评论政策，我为此受到了批评。我想人们看到纳德拉试图，嗯，“领导”，并说不要把人工智能称为垃圾，这还挺让人欣慰的，但微软在智能手机出现之前，就已经在个人电脑领域拥有了数十年的垄断地位，控制着人们的思想和感受。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
令人不愉快的灌木变成了不同的蔬菜。
Centuries of selective breeding turned wild cabbage into different vegetables
31 天前
## 从杂草到奇迹：芸薹的故事 几乎所有农作物都源自野生植物，经过几个世纪的选择性育种而塑造。然而，*芸薹*，或野生甘蓝，以其卓越的多功能性而脱颖而出——它是卷心菜、羽衣甘蓝、西兰花、球芽甘蓝、花椰菜等的祖先。尽管外表朴实而粗糙，古代文明却认识到了它的潜力。 通过持续选择特定性状——更密的叶子用于卷心菜和羽衣甘蓝，花簇用于西兰花和花椰菜，或可食用的芽用于球芽甘蓝——农民极大地改变了植物的发育。这归功于一种独特的遗传特征：*芸薹*是多倍体，具有多套染色体，从而允许更大的遗传多样性和对突变的耐受性。 研究表明，驯化始于古希腊，最初侧重于叶片发育，然后传播到地中海及其他地区。今天，研究野生甘蓝种群——天然地对气候变化和病虫害具有抵抗力——为改善现代作物和确保未来的粮食安全提供了宝贵的见解。*芸薹*的故事证明了人类选择的力量和植物卓越的适应性，它不断地随着我们不断变化的世界而进化。
## 野白菜及其亲属的非凡故事
几个世纪的选择性育种将野白菜 (*Brassica oleracea*) 转化成各种各样的蔬菜，如西兰花、花椰菜、羽衣甘蓝和球芽甘蓝。这突显了单个物种内令人难以置信的可塑性。讨论超越了欧洲的例子，并指出亚洲芸苔属植物的多样性，如芥兰、大白菜和各种小白菜品种。
有趣的是，*Brassica rapa* 甚至更加多样化，包括芜菁、水菜和许多鲜为人知的亚洲蔬菜。在其他植物科中也看到了类似的多元化，例如柑橘类（橘子、柚子、香橼）甚至芹菜茎与芹根的性状。
现代育种也提高了适口性——特别是球芽甘蓝，苦味已被育种消除。对话涉及芸苔属植物独特的遗传方面，包括它们不寻常的染色体结构以及对丛枝菌根真菌的依赖性不足。最终，它展示了人类干预和自然变异如何从单一祖先植物中创造出令人惊叹的农产品。
## 简化的TCP打孔测试算法 该算法提供了一种在*无需*复杂基础设施的情况下测试TCP打孔的方法，专注于打孔机制本身。传统的打孔需要同步时间、WAN IP交换和端口发现——这些都容易出错。这种方法通过从单个参数：当前时间戳确定性地推导出所有必要数据来绕过这种复杂性。 核心思想是使用时间戳计算一个共享的“桶”编号，考虑到潜在的时钟偏差。然后，该桶会作为伪随机数生成器的种子，以创建潜在端口的共享列表，利用家庭路由器中常见的“等量增量映射”（本地端口和外部端口匹配）。 该算法利用非阻塞套接字和积极的SYN数据包发送来尝试打孔。一旦建立多个连接，领导者/跟随者系统（由WAN IP地址确定）将通过简单的单字符交换选择一个“获胜”连接。 最终，这种方法允许隔离测试打孔过程，仅需要目标IP地址并最大限度地减少外部依赖。虽然简化用于测试，但它展示了用于功能性（尽管有限）打孔实现的确定性元数据生成的核心原理。
## 优雅的TCP打孔 – 摘要
一篇最近的博文详细介绍了一种TCP打孔算法，旨在建立NAT后对等体之间的直接连接。然而，该算法的“优雅”依赖于一个重要的假设：NAT设备会保留出站连接的源端口——这种做法并非普遍实施。
讨论强调了这一局限性，评论员指出许多路由器不保持源端口的一致性，从而降低了该算法的有效性。虽然类似的假设存在于其他技术（如STUN）中，但博文声称的“等量增量映射”特性被质疑，一些人认为在已建立的网络术语中没有找到它。
对话还涉及NAT的更广泛问题以及IPv6缓解这些复杂性的潜力。然而，即使使用IPv6，防火墙仍然是一个因素，因此需要打孔技术。一些人认为ISP错失了完全采用IPv6的机会，而选择了不太理想的解决方案，如运营商级NAT (CGNAT)。
最终，该算法被视为理解NAT穿越的有价值的教育工具，但其在实际应用中受到现实网络配置的限制。尽管增加了复杂性，但TURN中继等替代方案通常更可靠。
## 机架式水培：一项出乎意料的成功实验
出于从电脑转向农业的愿望，作者将一个闲置的42U服务器机架改造成了一个独特的水培系统，用于种植生菜和香草。尽管承认这是一个“糟糕的主意”，但该项目却出乎意料地有效。
该系统采用了一种简单的涨落式（潮汐式）方法，将富含养分的水循环到种植在网格盆中的植物上，这些植物使用岩棉或珍珠岩，并放置在安装到机架中的Sterilite储物箱内。组件包括储水箱、水泵、曝气器和现成的补光灯。 建设过程包括钻孔用于管道和布线，以及改装机架式搁板以容纳种植托盘。
最初的挑战包括花盆漂浮（用石头作为镇重物解决）和藻类生长。通过带开关的PDU和cron任务控制的自定义时间表，调节光照（18小时）和涨落周期（最终每天两次）。 一种神秘的肥料粉末被谨慎地试验使用。
尽管存在轻微泄漏以及涨落式系统容易出现问题的警告，但该系统仍然成功收获了多次生菜和香草。作者总结说，这不是一个实用指南，而是一次有趣的学习经历，带来了新鲜的沙拉——并且证明了按照自己的方式做事的可行性。
## 机架式水培：Hacker News 摘要
Hacker News 上的一场讨论围绕着使用服务器机架搭建的 DIY 机架式水培系统展开。创建者引发了关于该设置的实用性和效率的讨论。
一些评论者建议将服务器机架更换为更便宜的托盘货架，以便于维护时的操作。人们对潜在的水 damage 和“过于干净”的美学表示担忧，预料到不可避免的溢出和 debris。
讨论扩展到更广泛的水培主题，包括营养液、植物选择（烟草、草莓、羽衣甘蓝）以及室内种植相关的能源成本。一些人分享了 NFT 和深水培等各种水培方法的经验，而另一些人则强调了传统土壤种植的好处。
一个反复出现的主题是在垂直农业中，控制和效率与自然阳光和土壤提供的“免费”资源之间的权衡。原文不寻常的写作风格（全部小写）也成为讨论的焦点，被归因于代际趋势或语言背景。最终，该帖子展示了 Hacker News 社区中技术讨论、个人经验和 playful debate 的融合。
最近的 Hacker News 讨论提到 Dialector，这是一个由电影制作人克里斯·马可于 1988 年创建的聊天机器人。许多人惊讶于以电影作品闻名的马可也具备编程技能。
这款用 BASIC 编写的聊天机器人，在讨论中链接的文章（kubicki.org）中有详细介绍。用户们正在分享资源，以便亲身体验 Dialector，包括 Poptronics Dialector 网站上 Disquette 003 的源代码链接 ([https://dialector.poptronics.fr/dialector_documents/ADisquet...](https://dialector.poptronics.fr/dialector_documents/ADisquet...)) 以及运行它的模拟器 ([https://dialector.poptronics.fr/](https://dialector.poptronics.fr/))。
甚至有人正在尝试使用 Claude 等现代人工智能来理解和重现这个系统。这场讨论反映了人们对马可多才多艺的着迷，以及 Dialector 对早期聊天机器人技术的引人入胜的洞察。
## Knuckledragger 二进制验证
本文详细介绍了使用 Python 构建的二进制验证工具“Knuckledragger”的开发过程，该工具利用 Ghidra 的 p-code 语义。其目标是提供一种更易于管理的方式来验证低级代码——通常出于性能、特定硬件访问或严格控制的需要，但由于其冗长性和有限的工具支持而容易出错。
其核心创新在于“双模拟”方法。该工具允许用户定义程序行为的*更高层次*模型，而不是直接调试复杂的符号执行输出。Knuckledragger 然后使用 Z3 进行自动证明，自动验证汇编代码中的所有可能执行路径都对应于此更高层次模型中的有效路径。
作者通过示例演示了这一点，包括一个简单的加法程序和一个 `mycpy` 函数（内存拷贝）。使用模型检查在 `mycpybad` 中发现并修复了一个错误——缺少长度检查。通过双模拟框架和 Knuckledragger 的反射特性，实现了进一步的验证，包括证明程序状态的不变量，并提供可读的规范。
虽然比基本的模糊测试或有界模型检查更复杂，但这种方法能够实现无界验证，并允许对程序正确性进行形式化证明。代码和演示视频可在网上找到。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
RISC-V 汇编程序使用 Knuckledragger 的精化建模与验证 (philipzucker.com)
10 分，由 matt_d 1 天前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## 寻宝者出狱
73岁的深海寻宝者汤米·汤普森在服刑十年后获释，罪名是刑事藐视法庭。汤普森于1988年发现“黄金之船”——SS Central America号沉船，该船位于南卡罗来纳海岸附近，打捞出数百万枚最初在旧金山铸造的金币。
资助探险的投资者在2005年起诉汤普森，声称他们从未收到从打捞的宝藏（估计价值高达4亿美元）销售中承诺的回报。汤普森于2012年出逃，并于2015年被捕。
他因拒绝透露约500枚失踪金币的位置而被监禁。然而，法官去年结束了他的无限期刑期，认为他不太可能透露它们的下落。虽然获释，但剩余金币的命运仍然是个谜，关于宝藏销售和分配的完整账目仍存在疑问。