## 简化的TCP打孔测试算法 该算法提供了一种在*无需*复杂基础设施的情况下测试TCP打孔的方法，专注于打孔机制本身。传统的打孔需要同步时间、WAN IP交换和端口发现——这些都容易出错。这种方法通过从单个参数：当前时间戳确定性地推导出所有必要数据来绕过这种复杂性。 核心思想是使用时间戳计算一个共享的“桶”编号，考虑到潜在的时钟偏差。然后，该桶会作为伪随机数生成器的种子，以创建潜在端口的共享列表，利用家庭路由器中常见的“等量增量映射”（本地端口和外部端口匹配）。 该算法利用非阻塞套接字和积极的SYN数据包发送来尝试打孔。一旦建立多个连接，领导者/跟随者系统（由WAN IP地址确定）将通过简单的单字符交换选择一个“获胜”连接。 最终，这种方法允许隔离测试打孔过程，仅需要目标IP地址并最大限度地减少外部依赖。虽然简化用于测试，但它展示了用于功能性（尽管有限）打孔实现的确定性元数据生成的核心原理。
每日HackerNews RSS
## 优雅的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枚失踪金币的位置而被监禁。然而，法官去年结束了他的无限期刑期，认为他不太可能透露它们的下落。虽然获释，但剩余金币的命运仍然是个谜，关于宝藏销售和分配的完整账目仍存在疑问。
这篇帖子详细介绍了作者对量化投资的探索，特别是将其应用于外汇（FX）市场，尽管他们之前从事高频交易。与股票不同，外汇收益受宏观事件（如利率变化）的强烈影响，这使得建模更加复杂。
作者利用TwelveData API收集主要货币的每日汇率数据，创建用于分析的数据集。然后，他们复制美元指数（DXY）——一种衡量六种主要货币对美元汇率的加权平均值——作为整体市场走势的代理，类似于股票市场的标准普尔500指数。
作者以资本资产定价模型为框架，通过滚动线性回归计算了几种货币相对于DXY的beta值。这些beta值表明了货币对美元波动整体的敏感度。初步结果与预期一致——欧元显示出接近1的beta值，而土耳其里拉由于其独特的宏观经济因素表现出较低的敏感度。
虽然这些初步的beta值本身并没有特别深刻的见解，但这项工作为构建一个更全面的外汇因子模型奠定了基础，该模型将纳入动量和商品敏感性等因素。
一个黑客新闻的讨论围绕理解美元指数（DXY），衡量美元相对于一篮子外国货币的价值。用户dm13450分享了他对该指数公式和历史构建的分析链接。
一个关键点是ICE指数中看似武断的“~50”系数，这被揭示为在过渡到欧元期间所做的历史调整，以确保与之前的货币公式的连续性。另一位用户使用FRED数据构建了DXY的长期历史，并注意到广场协议的重大影响。
一位评论员质疑该指数的零和性质，指出将货币与其平均值进行比较在理论上会产生零阿尔法。这场讨论凸显了货币指数编制的复杂性以及塑造其当前形式的历史背景。
作者发现对通过大型语言模型（LLM）“润色”过的短信存在负面反应，尤其是在个人或专业交流中。核心问题不仅仅是措辞改变，而是*失去了个人声音*。 我们潜意识里会理解人们的沟通方式——他们的语气、强调，甚至不完美之处——这对于准确解读至关重要。LLM抹去了这些细微差别，破坏了对话中的自然“同步”。这阻止了接收者真正“了解”发送者，并理解信息在字面意思之外的意图。 作者认为，真实、甚至是不完美的沟通更有价值，允许接收者建立重要的语境理解，并促进真诚的联系。本质上，让一个人的真实声音展现出来比追求完美无瑕更重要。
由陶哲轩发起的一项“数学提炼挑战”旨在从包含2200万条结果的数据集中，提炼出一份用于解决通用代数方程问题的技巧“速查表”。 该挑战的主要目标并非直接*提升*人工智能性能，而是提炼人类可理解的数学直觉。
Hacker News上的讨论显示，人们对这种方法存在争议。 一些人认为，训练和分析大型语言模型（LLM）将是一种更有效的提炼方法，有可能重现类似DeepMind的AlphaProof系统。 另一些人则强调了纯文本速查表的价值，它既可供人工智能使用，也可供人类使用。
最终目标是识别适用于超出此特定挑战的有效问题解决技巧，陶哲轩希望获奖提交的作品能够提供广泛有用的数学见解。 该挑战被视为LLM研究的补充，未来可能为创建更好的提炼方法提供信息。
## 布朗T3与iPod：设计遗产 1958年由迪特·拉姆斯设计的布朗T3袖珍收音机是一款革命性的设备，优先考虑极简主义美学和用户友好的功能。它简洁的外形和直观的控制与当时笨重的收音机形成鲜明对比，体现了拉姆斯“少即是多”的设计理念。 几十年后，这款收音机成为了苹果iPod的关键灵感来源。史蒂夫·乔布斯和他的团队钦佩T3的简洁性、便携性和简洁的线条，直接影响了iPod标志性的设计——从其矩形形状和滚轮到其配色方案。 T3预示了iPod对简化导航和直观用户体验的关注，最终促成了一场音乐消费方式的革命。 这两种设备都展示了具有远见的设计的持久力量，并继续激励着消费电子领域的创新。
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交登录[标记]
corpano 1天前 | 隐藏 | 过去 | 收藏
tiberone 1天前 | 下一页 [–]
这里没什么可深入讨论的。 也许阅读Jony Ive关于Rams影响力的采访会更好，包括T3：https://rams-foundation.org/magazine/interviews/jonathan-ive...
pcurve 1天前 | 上一页 | 下一页 [–]
Dieter Rams。 仍然活着且健康。 祝福他。
leoc 1天前 | 父级 | 下一页 [–]
他有很多观点：https://youtu.be/ypyAg3Zbs_8。
amelius 1天前 | 上一页 | 下一页 [–]
是的，伟大的艺术家会借鉴。
CephalopodMD 1天前 | 上一页 [–]
这整篇帖子看起来很糟糕。 第一张图片中的标签拼写错误。“4rd”？
DrewADesign 1天前 | 父级 [–]
任何三年级毕业的人都应该注意到这一点。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：