作者质疑当前大型语言模型（LLM）日益增长的趋势，认为巨大的规模并非总是必要的。虽然大型模型适用于需要细致理解的复杂通用任务，如聊天机器人，但许多应用——例如SQL自动补全或结构化数据提取——范围有限，并不需要数十亿参数。 核心问题是*推理成本*。运行这些大型模型成本高昂，需要大量的计算能力和基础设施，最终每次用户交互都会增加成本。 作者预测将出现转向更小、更专业化的模型，这些模型针对特定任务进行训练。现有工具已经允许构建和部署这些“小而强大”的模型，甚至可以直接在网页浏览器中进行，为LLM应用提供更高效、更经济的未来——可能仅用1500万个参数就能实现所需的结果。
每日HackerNews RSS
一个黑客新闻的讨论围绕着大型语言模型（LLM）和计算设备的日益增大。最初的帖子链接到一篇文章，质疑模型为何如此庞大，并指出更简单的文本补全任务通常在生成结构化输出方面表现优于提示大型模型，且成本更低。
评论者们争论大型模型是否有必要，有人以树莓派作为优化基准（“它能在树莓派上运行吗？”）。另一些人质疑现代笔记本电脑的尺寸，认为许多任务（例如查看电子邮件或天气）并不*需要*强大的硬件或大屏幕。
一个关键点是，注意力模型处理复杂逻辑的能力*可能*取决于它们的大小和训练数据的广度。最终，人们对未来持乐观态度，认为更小、更便携的设备能够处理日常计算需求，这与当前向更大、更强大的机器发展的趋势形成对比。
永久期货
Perpetual Futures
4 小时前
## 加密货币的赌场：永续期货解释 许多金融创新服务于实体经济，但加密货币常常创造仅存在于自身领域的系统。一个典型例子是**永续期货（perps）**——一种迷人且占据主导地位的加密货币交易形式（通常是现货交易量的6-8倍），类似于衍生品在传统市场中的作用。 本质上，加密货币交易所充当赌场，依靠吸引投注者，并且需要大量资金来保证支付。永续期货通过减少促进风险承担所需的资本来解决这个问题。它们允许交易者使用杠杆进行投机，并通过“资金费率”（赢家和输家之间的支付）频繁地结算收益和损失（每天多次）。 虽然永续期货起源于加密货币之外，但它们在加密货币领域找到了归宿，这得益于高杠杆（通常为20倍-100倍，而传统市场的限制为2倍-4倍）。这种杠杆会带来风险，通过**自动减杠杆（ADL）**来缓解——一种有争议的机制，交易所可以在极端市场波动期间减少获胜头寸以弥补损失。 这个系统并非完美无缺。它依赖于信任，并且交易所可能优先考虑自身利益（或附属公司的利益）而非个人交易者。由于现有解决方案和风险规避，它不太可能在传统金融领域被广泛采用，但理解永续期货是理解加密货币市场动态的关键。
## 加密货币的失落承诺 - Hacker News 摘要
Hacker News 的讨论强调了加密货币最初的理想与其现状之间的巨大差距。虽然最初设想为“无需信任”和去中心化，但加密世界严重依赖于对中心化交易所的信任，并且经常更像是一个杠杆赌博平台。
用户指出，许多加密货币衍生品并非建立在真正去中心化的区块链上，而是作为在监管薄弱的交易所的账面记录。尽管有一些像 Hyperliquid 这样的去中心化交易所的尝试，但可扩展性和成本仍然是问题。
对话承认了动机的转变：许多参与者并非出于自由主义原则，而是出于潜在的财务收益（“数字上涨”）。人们对 Tether 等实体、交易所和矿池的中心化控制，以及发生漏洞时频繁需要干预表示担忧。
最终，讨论表明加密货币在很大程度上已成为一个复杂、中心化的系统，并且日益与传统金融融合，可能带来系统性风险。
弗兰克·盖里，1929年出生，是一位享誉全球的建筑师，以其开创性的解构主义风格而闻名。他摒弃了传统的对称性，拥抱非常规的形状和材料，创造出一种独特且不可预测的美学。 在南加州大学和哈佛大学学习后，他创立了自己的公司，并在毕尔巴鄂古根海姆博物馆的项目中获得国际赞誉。这促成了他在世界各地标志性建筑的委托，包括芝加哥的杰伊·普里茨克亭、巴黎的路易威登基金会和布拉格的“跳舞的房子”。 盖里的建筑以其雕塑般的形态而立刻被辨认出来——经常被描述为类似于折叠的玻璃或揉皱的纸袋——并且每个项目都独具原创性。1989年，他荣获普利兹克建筑奖，他的作品被赞誉为具有“高度精致……冒险的美学”，并被比作爵士乐的即兴精神。
## 弗兰克·盖里逝世 - Hacker News 讨论
著名建筑师弗兰克·盖里去世，引发了 Hacker News 上对其影响深远且常常引发争议的作品的讨论。用户分享了个人经历，从在靠近他非常规的圣莫尼卡住宅附近长大（被描述为永久“令人困惑”）到在他在 Facebook 门洛帕克办公室工作（尽管有屋顶公园，但据报道是一个糟糕的工作场所）。
许多评论员强调了盖里的标志性风格，指出他的建筑，如毕尔巴鄂古根海姆博物馆和迪士尼音乐厅，完善了他早期更具挑战性的概念。其他人回忆起具体的项目，包括存在问题但视觉上引人注目的麻省理工学院斯塔塔中心（曾是诉讼对象）和纽约市的 8 Spruce Street。
一位用户分享了在建筑学院期间与盖里会面的积极经历，赞扬他对学生的慷慨。一个幽默的注释提到了《辛普森一家》中关于他“曲线形式”的一个难忘的笑话。还提供了一个《纽约时报》讣告的链接。
## 药品定价差异：米博案例 一个鲜明的例子是米博，一种治疗干眼的药物。在欧洲可以非处方药购买，价格约为20美元（以EvoTears销售），而在美国，同样的药物作为处方药销售，价格高达800美元以上。有人成功地从欧洲药房在线购买到该药，价格为32美元，凸显了巨大的价格差异。 这并非个例；美国的处方药价格平均比其他发达国家高2.5倍。Bausch & Lomb 战略性地寻求FDA将其作为处方药批准——尽管在其他地方是OTC药物——以利用专利保护和最大化利润，米博2024年的销售额超过1.72亿美元。 批评人士认为这是价格欺诈，该公司此前在其前身Valeant时期也曾使用过这种策略。Bausch & Lomb 为其定价辩护，理由是获得FDA批准所需的广泛临床试验，但专家认为，该药物在欧洲已经确立的安全记录应该使其在美国获得OTC地位。 提出的解决方案包括要求FDA在批准药物作为处方药之前考虑国际OTC批准，并对米博等案例进行追溯审查，最终将患者的可及性置于公司利润之上。
## 美国药品定价与市场问题 - 摘要
在欧洲容易以20美元购买的药物，在美国需要处方且最初定价为800美元，引发了Hacker News的讨论。然而，实际成本远比这复杂。虽然“标价”是为了与保险公司谈判而定的高价，但“储蓄卡”和共付计划通常能使有保险的个人自付费用降至0美元——尽管现金价格仍然是225美元。
评论员认为高价是由于严格的FDA法规造成的，这些法规要求昂贵的药品新申请（成本从数亿到数十亿美元不等），从而有效地为更便宜的非处方药设置了进入壁垒。这种情况被批评为一种卡夫卡式的系统，优先考虑利润而非患者的可及性。
人们也对该药物的成分（PFAS）和潜在的健康影响表示担忧，以及对美国医疗市场和不受监管的资本主义在推高成本方面所扮演的角色提出了更广泛的批评。一些人认为真正的自由市场*应该*导致更低的价格，而另一些人则指出缺乏竞争和潜在的垄断是关键问题。
## 潮汐的复杂科学
我们现代准确预测潮汐的能力依赖于几个世纪的科学进步。古希腊人最初确定月球的引力是潮汐的原因，后来牛顿和拉普拉斯对此进行了量化，但*计算*潮汐却非常复杂。拉普拉斯的方程虽然准确，但对于特定地点来说，手动求解过于困难。
这促使洛德·开尔文在1870年代发明了机械潮汐预测机——这些复杂的设备自动化了繁琐的计算。这些机器不仅考虑了月球的引力，还考虑了太阳的影响、地球的倾角，以及关键的海岸线形状和海洋深度。
潮汐不仅仅是跟随月球的隆起；它们是受陆地影响的波浪，创造出独特的模式，例如围绕岛屿的环形潮汐和潮汐变化最小的区域。预测潮汐需要理解众多天文组成部分的强度和时间，*以及*当地的地理因素。
这些机器一直沿用至1970年代，当时数字计算机终于超越了它们的能力。即使在今天，潮汐仍然是一种令人惊讶的复杂现象，持续的发现揭示了超出我们当前理解的更多复杂性。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
潮汐比你想象的更奇怪 (signoregalilei.com)
9 分，surprisetalk 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
fhdkweig 发表于 18 分钟前 [–]
https://www.youtube.com/watch?v=AxC770lpSLw 展示了这篇文章中简要提到的旧潮汐预测机械计算机之一。它实际上是在进行逆傅里叶变换，将影响潮汐的 30 多个正弦波相加。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
苏萨姆·帕尔展示了一种仅使用CSS的解决方案来解决经典的FizzBuzz问题，仅用四行CSS代码即可实现序列输出。该代码利用CSS计数器和`:nth-child()`选择器在列表(`<li>`)元素内生成序列。 具体来说，它为每个列表项递增计数器，除非该项能被5整除，否则显示计数器值，为3的倍数添加前缀“Fizz”，为5的倍数添加后缀“Buzz”。 作者承认该解决方案并非针对代码高尔夫优化，而是将其作为起点提供。提供了一个精简版的代码，去除了所有空格，长度为152个字符。帕尔邀请读者提交更短、更高效的解决方案。一个可运行的示例可在css-fizz-buzz.html找到。
一位 Hacker News 用户 susam 分享了一个仅使用 CSS 解决经典 FizzBuzz 问题的创意方案。该方法利用有序列表 (`<ol>`) 和 CSS 选择器 (`:nth-child()`) 来显示“Fizz”（3 的倍数）、“Buzz”（5 的倍数），并隐藏列表样式。
虽然代码简洁（129 个字符的 CSS），susam 提到输出显示错位。一位评论者建议使用 `list-style-position: inside;` 来改善对齐。
其他用户认为这个方案巧妙而有趣，承认它不是传统的编程解决方案。一位评论员指出，由于必要的 HTML 开销，它不适合“代码高尔夫”，特别是当扩展到更大的数字集合时，实际实现需要 JavaScript。 这篇帖子引发了关于替代方案以及“真正”解决方案定义的讨论。
## REPL 的调试适配器协议：nluarepl & hprofdap 调试适配器协议 (DAP) 传统上用于调试，但令人惊讶的是，它非常适合构建 REPL（读取-求值-打印循环）。这种方法被用于创建诸如 **nluarepl**（Neovim 的 Lua REPL）和 **hprofdap**（用于检查 Java 堆转储）之类的工具。 DAP 的 `evaluate` 命令允许客户端发送表达式进行求值，并返回 `result` 以及可选的 `type`。重要的是，它包含一个 `variablesReference`，可以以 UI 中可导航的树的形式表示结构化数据。可以使用 `variables` 命令检索更多详细信息，从而可以深入检查数据结构，即使是嵌套或循环引用。DAP 还支持代码补全等功能。 虽然 DAP 包含断点处理等调试特定功能，但这些功能可以被绕过或为 REPL 使用而最小化实现——例如，nluarepl 使用日志点代替断点。使用 DAP 的主要动机是 **重用现有的调试 UI 元素**（例如 `nvim-dap` 中的元素），并避免重新发明 REPL 界面，从而将开发精力集中在核心求值逻辑上。这种方法提供了一种熟悉的用户体验，具有一致的键映射和行为。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
调试适配器协议是一个伪装的 REPL 协议 (zignar.net)
22 分，由 Malp 7 小时前发布 | 隐藏 | 过去的 | 收藏 | 1 条评论
o11c 4 小时前 [–]
嗯，这里的 `type` 是静态类型还是动态类型，对于同时适用两种类型的语言来说？回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
法官裁定软件自由保护协会在维吉奥GPL案件中胜诉。
Judge Signals Win for Software Freedom Conservancy in Vizio GPL Case
5 小时前
软件自由保护协会 (SFC) 正在法庭上起诉 Vizio，原因是其 SmartCast 电视使用了 GPLv2 和 LGPLv2.1 许可的 Linux 和其他软件。SFC 指控 Vizio 通过未能提供相应的源代码而违反了这些许可协议，这是这些开源许可的关键要求。
加州法官已发布初步裁决，*支持* SFC 的主张，认为 Vizio 有义务向购买者（在本案中为 SFC）提供源代码。然而，该裁决并非最终，取决于最近听证会上的辩论。
此案凸显了法律先例的转变。早期，开源许可的可执行性存在不确定性，但法院越来越多地维护其条款。此前由软件自由法律中心对 Monsoon Multimedia、Xterasys 和 Verizon 等公司提起的成功诉讼铺平了道路。
最近被沃尔玛以 23 亿美元收购的 Vizio 拥有强大的辩护资源，这使得本案成为开源许可执行的重要考验。听证会的最终结果还有待观察。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
法官判决对软件自由保护协会在Vizio GPL案件中胜诉 (fossforce.com)
17点 由 speckx 24分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
CachyOS，一个以速度和优化为重点的社区驱动型Linux发行版，宣布获得了Framework（模块化笔记本电脑公司）的重大赞助。Framework将提供一台Framework Laptop 16用于开发，并每月捐赠250美元——约占CachyOS典型月度资金的10%。
此次合作尤其有价值，因为Framework展现了对支持Linux生态系统的承诺。这笔资金将有助于稳定CachyOS的基础设施，并为实现全职开发这一长期目标做出贡献，最终改善用户体验。Framework还已公开将CachyOS列为其2025年的赞助项目之一，展示了其对开源项目的更广泛支持。CachyOS社区对这两个组织都表达了热烈的支持。
## CachyOS 获得 Framework 支持 & 用户报告
CachyOS，一个 Linux 发行版，现在已获得 Framework（一家以模块化设计著称的笔记本电脑公司）的直接赞助。此消息在 Hacker News 上出现，引发了用户讨论。
多名用户报告了切换到 CachyOS 的积极体验，尤其是在游戏方面。一位用户成功将其安装在高配置游戏主机上，并注意到与 Hyprland 和 Gnome 的兼容性（尽管 KDE Plasma 存在问题）以及无缝的睡眠/唤醒功能。另一位 Framework 13 AMD 用户报告称，从原生 Arch 迁移后，游戏性能提升了 3fps。
用户还推荐使用“proton-catchyos”以加快着色器编译速度，但对于 CPU 超频不稳定的用户，应谨慎使用，因为这会增加散热负荷——在一次测试中，着色器编译达到了 105°C。总体而言，社区反馈表明 CachyOS 是一个很有前途的选择，尤其是对于 Framework 笔记本电脑和 Steam 游戏。
使用单调递增的序列值作为幂等性键可以简化消费者的消息处理。消费者无需存储所有已处理的键，只需跟踪*最新*键，丢弃任何键较低或相等的消息作为重复消息。这在使用像Kafka这样的分区源时尤其高效。 然而，为生产者生成这些键可能具有挑战性。单线程生产者可以轻松利用数据库序列或计数器。并发生产者会带来复杂性；确保单调性需要原子获取和发出键，以防止重复——通常会造成性能瓶颈。仅仅使用数据库序列是不够的；真正的原子性需要诸如Postgres建议锁之类的机制。 虽然对消费者有益，但实现单调递增的键需要仔细考虑生产者架构和潜在的性能权衡。Kafka分区偏移量自然地充当分区内消息的此类键。
## 幂等键用于精确一次处理：总结
Hacker News 的讨论集中在分布式系统中实现“精确一次”处理——确保操作仅发生一次，即使存在潜在的消息重试。一个关键的解决方案是使用 UUIDv5 键。这些基于输入生成唯一标识符，允许在数据库中检测重复项。如果收到具有相同幂等键的消息，可以忽略它或优雅地处理。
讨论了 SHA256 哈希等替代方案，UUIDv5 本质上是一种哈希盐+字符串的方法。然而，当处理涉及数据库事务*外部*的外部副作用时，会出现挑战——无法回滚这些副作用。
对话强调了真正实现“精确一次”的难度，并倾向于“最多一次”处理。人们对持久化工作流的复杂性以及最终一致性与强保证之间的需求表示担忧。一些人建议利用现有的解决方案，如基于 TCP 的序列化（尽管这在多个生产者/消费者的情况下会失效），或者专注于简化流程，以避免对复杂工作流的需求。最终，讨论强调了分布式系统的实际挑战以及确保数据一致性所涉及的权衡。