## 2026年人工智能:快速进展与日益增长的担忧 – 摘要 2026年斯坦福人工智能指数显示,人工智能能力持续爆炸式增长,美国公司在模型开发方面仍然领先——2025年发布了50个“值得注意”的模型,但中国正在迅速赶上。目前,行业主导了模型创建(90%以上),而中国在机器人部署方面领先,2024年安装的工业机器人数量几乎是美国的3倍。 全球人工智能计算能力自2022年以来每年翻三倍,这主要得益于英伟达的GPU,但这一进展带来了巨大的环境成本——训练像xAI的Grok 4这样先进的模型,可能产生超过72,000吨的碳排放。 尽管存在这些担忧,人工智能在基准测试中正在迅速改进,尤其是在代理任务和医疗应用(药物发现出版物在两年内翻倍)方面。2025年的投资达到创纪录的5810亿美元,GitHub上与人工智能相关的项目激增。然而,人工智能在诸如读取模拟时钟等基本任务上仍然存在困难,凸显了其多模态理解的局限性。 公众认知持谨慎乐观态度(59%的人认为益处大于弊端),但对政府监管的信任度仍然较低,尤其是在美国。这反映了更广泛的趋势,即根据具体应用和地理位置,情绪和结果各不相同。

对不起。

离散傅里叶变换 (DFT) 可以通过分治策略得到显著优化。 最初,DFT 被拆分为两个较小的 DFT——一个处理偶数索引数据,另一个处理奇数索引数据。 虽然这种拆分最初并不能提高效率(仍然是 O[N²]),但利用这些子问题中的对称性可以将每个子问题的计算量减少一半,从而有效地将问题规模减半至 O[M²],其中 M = N/2。 这个过程会递归地应用于这些较小的 DFT,*只要*问题规模保持偶数,就会不断地将计算成本减半。 这种递归减半持续进行,直到子问题足够小,可以直接有效地求解。 结果是规模上的显著改进:从 O[N²] 到渐近复杂度 **O[N log N]**,使其成为处理大型数据集的更快算法。 这可以在像 Python 这样的语言中有效地实现,利用原始 DFT 代码来解决小的子问题。

理解FFT算法 (2013) (jakevdp.github.io) 9点 由 peter_d_sherman 2小时前 | 隐藏 | 过去 | 收藏 | 1条评论 帮助 medbar 8分钟前 [–] 对于任何感兴趣且有30分钟时间的人,我推荐Reducible的youtube视频[1],以了解FFT的工作原理。[1]: https://youtu.be/h7apO7q16V0 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 市场狂热与上升的风险 尽管近期全球存在焦虑(例如伊朗战争恐慌),但股市——特别是连续13天上涨的纳斯达克——正飙升至历史新高。 此次上涨并非由强劲的基本面驱动,而是由技术因素驱动:认购期权、空头回补和动量交易策略。 尽管估值已达到历史高位(希勒市盈率接近40),但市场似乎正在为近乎完美的未来状况定价。 任何轻微的盈利失望、流动性的转变,甚至暗示疲软的降息都可能引发回调。 作者提醒不要假设降息总是看涨。 那些在近期下跌期间买入的人可能已经获得了盈利,但在这些水平上持有是有风险的。 动量驱动的市场可能会迅速反转,且几乎没有预警。 虽然进一步上涨是可能的,但风险回报率已经发生变化,现在可能是获利的好时机。 作者强调要谨慎行事,因为处于这些水平的市场在下跌前不会发出礼貌的警告。 **免责声明:** 作者公开承认可能存在错误,并鼓励读者进行自己的研究,不要仅仅根据此分析做出决定。

“Outnumbered”节目对至少10名美国知名科学家离奇失踪或死亡的可疑模式进行了评论,其中许多人拥有最高安全级别,而白宫表示他们正在调查此事。白宫正在调查一波神秘的美国科学家失踪或死亡事件,自2024年中以来,至少有10名知名人士,包括天体物理学家和核研究人员,失踪或死亡。这些科学家拥有最高安全级别,并掌握着美国最机密的知识。Emily Compagno和“Outnumbered”节目组讨论了这种令人不安的模式以及潜在的外国间谍活动。

对不起。

航空业经历了一个动荡的一周。精神航空面临潜在清算,并据报道已向特朗普政府请求纾困。与此同时,霍尔木兹海峡的重新开放导致喷气燃料价格暴跌,提振了航空公司股票。 合并谈判占据了头条,联合航空首席执行官斯科特·柯比向特朗普总统提出了与美国航空合并的方案,但美国航空迅速拒绝了这一想法,理由是担心竞争和反垄断法。分析师现在认为,联合航空可能会寻求与达美航空合作,或者可能将目标锁定捷蓝航空。 展望未来,精神航空的命运仍然岌岌可危,并计划与交通部长会面。该行业还将密切关注联合航空是否会改变其合并重点,同时受益于燃料价格的当前下跌,此前燃料价格曾经历了一段时间的上涨。

## GPS 之前的空中导航:星象罗盘 在 GPS 出现之前,飞机依靠诸如天体导航之类的技术——利用星星、行星和太阳来确定位置。虽然准确,但这是一种复杂的手动过程。为了实现自动化,B-52 轰炸机在 1960 年代采用了“星象罗盘”系统,这是一项令人惊叹的机电工程奇迹。 它的核心是“角度计算机”,它物理地模拟了天球,以计算恒星的方位角和高度角。它使用一个由电信号驱动的复杂齿轮和电机网络,来解决导航三角形——将天体坐标转换为飞机相对角度。 该系统通过一个配备专用望远镜的“星象跟踪器”跟踪恒星,即使在飞机移动的情况下也能保持稳定的平台。导航员使用独特的旋钮式界面输入诸如时间和恒星赤角等数据,并参考定期更新的“航空年历”中的信息。除了航向之外,“星象罗盘”还允许导航员使用“定位线”——从恒星角度推导出的圆,在地图上近似为线——来确定他们的位置。 “星象罗盘”代表了机械精度和早期电子技术的迷人融合,最终被数字计算机的出现所取代。

一场 Hacker News 的讨论围绕着一篇关于 B-52 轰炸机星象仪内的机电“角度计算机”的文章,它是 Astro Compass 系统的一部分。该系统通过锁定一颗星星,提供高度精确的航向信息(精确到十分之一度)。 用户们争论该系统是否计算了地面航迹(考虑风漂)——它似乎主要关注航向。作者澄清该设备在初始螺旋搜索后*自动*跟踪星星,不同于阿波罗任务中使用的手动星象跟踪。 文章本身被赞扬为一篇详尽的“心血之作”,作者指出由于缺乏可用图纸,不得不费力地追踪每一根电线。这场讨论突出了老式导航系统中使用的模拟计算的巧妙之处。

## MuleRun 安全事件:“永生AI助手” 2026年4月,MuleRun安全团队检测到大规模的自动化账户注册激增——通过GitHub Actions协调了900个账户,利用11个AI平台上的免费额度。初步调查显示,这是一个旨在绕过限制的复杂系统,在八个月内使用了27个电子邮件域名,并具有高度程序化的账户创建模式。 来源并非犯罪企业,而是一位来自菲律宾的年轻人“M”,声称没有编码经验,试图构建一个自我进化的“永生AI助手”。他创建了一个名为“Compass”的系统,其核心AI(“Cortex”)能够自主改进其代码和工作流程,循环迭代了219次。Cortex利用MuleRun进行计算,以及NVIDIA NIM和Gemini等平台,全部使用免费套餐。 一个关键漏洞是未经验证的Firebase数据库,暴露了凭证和运营数据。M的系统收集“研究”——通常因违反策略而被Mule Agent拒绝——并旨在最终迁移到自托管基础设施。 虽然他的行为违反了服务条款并消耗了资源,但该系统的复杂性和自我改进特性仍然令人瞩目。MuleRun此后实施了高级异常检测。该事件凸显了AI辅助系统构建的潜力,即使没有传统的编程技能,并引发了关于在AI工具易于获取的时代,资源访问未来的问题。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 对追逐人工智能永生,同时在我们平台免费搭便车的那个人的敬意 (mulerun.com) 7 分,来自 Anonymitaet 2 小时前 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助 philipp-gayret 0 分钟前 | 下一个 [–] 有趣的阅读,坦率地说,对于一个毫无经验的人来说,用这项技术可以做到什么,这真是一个令人印象深刻的演示。回复 yodon 3 分钟前 | 上一个 | 下一个 [–] 引人入胜的文章。我真的不清楚公开宣称的虚构安全团队是在详细描述真实的还是虚构的事故后分析。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 一种 необычный 蚂蚁合作关系 昆虫学家马克·莫菲特最近在亚利桑那沙漠中发现了一种令人惊讶的两种蚂蚁物种之间的共生关系:体型较大的收获蚁 (*Pogonomyrmex barbatus*) 和一种较小、尚未描述的锥蚁 (*Dorymyrmex*)。莫菲特观察到收获蚁会主动*寻求*锥蚁的梳理——这种行为在蚂蚁中前所未见。 收获蚁会静止不动,张开下颚,让锥蚁爬到身上并仔细地舔舐和啃咬它们的身体,有时甚至*在*它们的嘴里。这些“清洁”过程可以持续几分钟。 科学家认为锥蚁可能以从收获蚁身上清除的微小颗粒为食,而较大的收获蚁则受益于难以触及区域的清洁。这种互动类似于海洋生态系统中的清洁鱼。进一步的研究旨在了解两种物种的全部益处,包括对感染率和微生物组健康的影响。这一发现强调了我们对自然界动物行为的了解还有很多不足。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 科学家发现“清洁蚂蚁”,在亚利桑那沙漠为巨型蚂蚁梳理毛发 (sciencedaily.com) 9点 由 t-3 1小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式 搜索:

## MDV:数据与可视化 Markdown MDV 是一个精简的系统,用于使用简单的 Markdown 超集创建文档、仪表盘和幻灯片。它专注于清晰易用,避免复杂的代码或选择器。 主要特性包括 YAML 前置 matter 用于元数据,围栏代码块用于图表、KPI 和表格,以及 `::: ` 容器用于样式和布局(如标注、列和目录)。MDV 利用主题和命名样式来实现一致的视觉效果,让渲染器处理细节。 文档以 `.mdv` 文件编写,并渲染成自包含的 HTML 和 PDF – 图表以内联 SVG 形式呈现,无需 JavaScript 运行时环境。提供 VS Code 预览以进行实时编辑。 MDV 目前处于预发布阶段 (v1),需要 Node ≥ 20。提供丰富的示例和文档以供入门。

## MDV:一种用于增强视觉效果的 Markdown 一个名为 MDV 的新项目旨在通过添加创建文档、仪表盘和幻灯片的功能(包括数据可视化)来扩展 Markdown 的简洁性。该项目由 drasim 在 Hacker News 上发布,可在 GitHub 上获取,旨在添加视觉元素,*而无需*完全 HTML 的复杂性。 一位评论者 kevinkoning 赞扬了 Markdown 将结构与样式分离的核心理念,提倡通过渲染调整而非复杂的文档结构来实现改进。他分享了一个个人例子,即扩展 Markdown 表格语法以轻松创建图表,如果未提供图表渲染器,则语法默认显示可读表格。 这场讨论凸显了人们对强大的 Markdown 扩展的需求,这些扩展应保持其易用性,并避免像 HTML 一样变得过于复杂。

最近的天文研究证实,宇宙的膨胀速度比基于早期宇宙的现有模型预测的*更快*,这种差异被称为哈勃张力。一个大型合作项目“H0距离网络”提供了对膨胀率的高度精确的本地测量,加强了证据表明这并非测量误差,而可能预示着“新的物理学”。 与此同时,来自暗能量光谱仪(DESI)的数据,绘制了1500万个星系,表明驱动膨胀的暗能量可能*不是*恒定的,而是正在减弱。这挑战了标准宇宙学模型,并暗示着一个更复杂的宇宙。 理论研究表明,如果暗能量减弱到足够程度,宇宙最终可能会在“大坍缩”中崩溃——可能在未来195亿年内,考虑到宇宙的总寿命估计为333亿年。这些发现强调了我们理解中存在的重大差距,未来的观测对于解决这些宇宙学难题至关重要。

来自社区的匿名请求令牌比较,展示了Opus 4.6和Opus 4.7在实际输入上的差异。加载中...提交提示。开源 · 存储的行仅包含匿名的提交ID。与Anthropic无关,也不为其背书。billchambers.me

## Opus 模型更新与成本问题 Hacker News 上的一篇帖子讨论了 OpenAI 的 Opus 模型的一项重大变化,具体是从 4.7 版本转回 4.6 版本,原因是 4.7 版本 token 使用量(以及成本)增加了约 45%。用户报告称,对于相同的提示,4.7 版本通常需要明显更多的 token,甚至有人认为它不如之前的版本智能。 讨论的中心是人们对 OpenAI 正在转向更昂贵、专有的模型,可能限制更广泛的使用访问的担忧。一些人认为这种“通货膨胀”是建立垄断并推动用户转向昂贵的 API 访问或劣质本地替代方案的迹象。另一些人推测这些变化源于优先考虑安全性,可能会影响模型的推理能力。 一些评论者建议坚持使用 Opus 4.6 版本,担心随着技术的进步,成本会不断上涨,最终可能达到人工智能订阅成本超过人类开发者工资的程度。

麻省理工学院教授谢丽·图克尔花费了三十多年研究我们与科技的关系,现在警告了一种日益严重的社会问题:我们越来越多地将人际连接委托给机器。最初,她对人们在 1970 年代开始使用计算机术语描述自己的思维方式感到着迷,但她的研究逐渐演变为观察儿童与早期的社交机器人形成强烈的情感纽带——这些纽带不可避免地破裂时,会造成巨大的痛苦。 图克尔的观点从“网络女神”转变为担忧的批评者,因为她目睹了从热情采用到不健康依恋的转变。她的著作《独自在一起》强调了她所谓的“机器人时刻”,在这个时刻,我们将脆弱的时刻——童年、老年护理——委托给机器人,可能牺牲了关键的人类发展。 她观察到令人担忧的趋势,例如情侣通过短信争吵,以及参加葬礼的人在葬礼*期间*发短信,这表明人们与当下、现实生活的互动脱节。图克尔担心对科技的依赖,特别是对儿童而言,会助长孤独感,并损害我们充分与他人互动、牺牲真实的人性连接而偏爱精心策划的在线形象的能力。尽管她的观点受到批评,她仍然希望能够回归重视真实的 relationship。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 雪莉·图克尔:“我们正在失去与彼此相处时原始、人性化的部分”(theguardian.com) 15 分,来自 plenched 1 小时前 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助 mold_aid 37 分钟前 [–] 过时的,肯定如此 - 我没有检查日期,我当时想“他们为什么谈论《独自在一起》作为新发布?” 现在重新考虑《独自在一起》和《第二自我》可能是有用的,这篇帖子很及时。回复 ar_turnbull 14 分钟前 | 父评论 [–] 哈哈。我也是。我对“每个人都喜欢 Facebook”有同样的反应。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

亚马逊据报道将停止在其Fire Stick上支持 sideloading 应用,这一举动引发了用户担忧。Sideloading – 在亚马逊官方应用商店之外安装应用 – 是吸引“高级用户”并提供比竞争流媒体设备更多灵活性的关键功能。 Hacker News上的评论员认为,这一改变实际上将Fire Stick变成封闭平台,类似于Roku或Apple TV。一些人推测,这是为了限制Android用户的访问,并预计由于访问受限,盗版行为将会增加。 更大的讨论也围绕着亚马逊更广泛的商业行为展开,批评集中在其收购工作室(如《指环王》)、激进的广告策略以及潜在的反竞争行为上。一些用户呼吁解散亚马逊等大型科技公司,认为它们正在损害健康的产业和就业。 此外,还提出了关于GPLv3许可以及用户修改代码权利的问题。

亚马逊将于2026年6月30日停止其Kindle for PC应用程序。此日期之后,当前版本将无法使用。虽然新的Kindle for PC应用程序正在开发中,但它*仅*与Windows 11兼容,并且只能通过Microsoft Store获取。 此举遵循亚马逊收紧Kindle生态系统控制的趋势,此前已停止Kindle for Mac,转而采用Apple App Store独家版本。最初的Kindle for PC于2009年推出,成为对抗DRM移除的焦点,用户经常利用它下载本地书籍。 转向仅限Microsoft Store的应用程序旨在防止此类做法,因为这些应用程序更难修改。亚马逊自身的策略还是来自出版合作伙伴打击盗版的压力,尚不清楚。用户可以通过更新到Kindle for PC版本2.9.1来查看有关停止使用的通知。

亚马逊将于6月30日停止其Kindle for PC应用程序,引发用户担忧。此前已有关于较旧Kindle设备的公告,许多人认为这些举措是故意设计的,旨在加强数字版权管理(DRM),并防止用户从购买的电子书中移除它。 评论员对亚马逊对数字图书采取的“锁定”方式表示沮丧,一些人正在转向替代平台,如Google Play Books和无DRM电子书商店。目前正在开发的新的Kindle for PC应用程序将*仅*与Windows 11兼容,进一步限制了一些用户的访问。 许多人认为这又是“劣质化”的一个例子——一种由优先控制客户而导致的质量和用户体验下降,因此他们选择在其他地方购买电子书。

## Fuzix 0.4:摘要 Fuzix 0.4 是一款为 8 位及更早处理器设计的轻量级操作系统,注重可移植性和小巧的体积。此版本包含错误修复、界面改进,以及对网络层的大幅重构,以实现未来的模块化。 8080、8085 和 Z80 处理器的可执行文件格式已统一,并且现在使用稳定的 a.out 格式用于 32 位二进制文件。使用新的“make diskimage”目标简化了系统构建过程。 已添加对 NS32K 处理器的支持,并完善了对 6303/6803、6502/65C02/65C816、6809、68HC11、68000、8080、8085、ARM (M0/M4)、ESP8266 和 Z80 系列的支持。支持的系统包括 RC2014、Amstrad NC 系列、Tandy COCO 以及各种 Z80 复古机器。 由于缺乏测试人员,一些系统(Pentagon、Scorpion)已被移除。开发工作仍在继续进行,包括 6800、8086/8088、ESP32 和 RiscV 等处理器。 有关详细信息、源代码和安装说明,请访问 Github 仓库(标签 '0.4')。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Fuzix OS (fuzix.org) 11 分,DeathArrow 1小时前 | 隐藏 | 过去 | 收藏 | 2 评论 帮助 wyldfire 19分钟前 | 下一个 [–] > FUZIX 是各种 UZI 分支和变体的融合,被打磨成某种半连贯的平台,然后从 V7 扩展到 SYS3 到 SYS5.x 世界,并加入了一些 POSIX。ELKS 和 OMU 的各种经验和技巧也被混合在一起。https://github.com/EtchedPixels/FUZIX#what-does-fuzix-have-o... 回复 velcrovan 7分钟前 | 上一个 [–] 发现 Tandy CoCo 3 参考资料 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国交通部因纽约州商业驾驶执照(CDL)项目存在严重缺陷,正在扣押超过7300万美元的联邦公路资金。全国审计显示,纽约州签发的53%的非本地CDL执照被错误授予,通常是向外国司机,且未经过适当的合法身份验证。 具体而言,纽约州车辆管理局被发现签发的执照有效期过长——长达八年,无论驾驶员的合法居留期限如何。交通部长肖恩·达菲表示,这种做法可能导致不合格的驾驶员上路,从而危及公共安全。 纽约州被给予30天时间来纠正这些问题,但未能遵守。 此举紧随加利福尼亚州类似情况之后,加州在交通部扣押超过1.6亿美元的资金后,撤销了超过17,000张执照,这证明了这项执法措施的有效性。

## FPGA 386 核心:深入内存流水线 该项目已成功启动 DOS,运行 Norton Commander 等应用程序,甚至在 75 MHz 的 DE10-Nano FPGA 上运行 Doom。现在,重点转移到 80386 关键的内存流水线——其高效虚拟内存管理背后的引擎。 386 的 32 位保护模式依赖于复杂的段缓存系统、硬件页表遍历和 TLB 查找。令人惊讶的是,尽管存在明显的开销,地址转换通常只需 1.5 个时钟周期即可完成。这种速度是通过巧妙的重叠、流水线和并行性实现的,而不是严格的串行过程。 关键优化包括缓存段状态以避免重复描述符查找,在地址计算期间并行进行重定位和限值检查,以及“提前启动”——在上一条指令写回期间开始地址工作。专用的总线接口以及可选的外部缓存(如 82385)进一步降低了延迟。 FPGA 实现镜像了这种架构,利用 SDRAM 和内部缓存来减少访问时间。虽然在同步 FPGA 环境中复制 386 的锁存设计和两相时钟存在挑战,但目标是忠实地映射微架构以实现高性能。未来的文章将深入探讨指令预取、任务切换以及该令人印象深刻的 FPGA 核心的具体实现细节。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 80386 内存流水线 (nand2mario.github.io) 16 分,由 wicket 2小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 andyjohnson0 2分钟前 [–] 有趣的文章。我学到了一些东西。 Github先生添加rss/atom订阅源会有多难呢?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

iLearningEngines (AILE) 曾被誉为冉冉升起的人工智能新星,现在被指控为大规模欺诈。检察官指控该公司高管为了吸引投资和虚增估值,捏造了公司的整个业务——客户、收入和合同。他们设立空壳公司,利用亲属担任虚假高管,并伪造了数百万美元的协议,以营造成功的形象。 该骗局涉及超过1.44亿美元的“循环交易”,秘密地将资金通过虚假账户转移,以虚假地展示盈利能力。当面临审查时,高管们据称加倍欺骗,向审计师和投资者撒谎。 随着Hindenburg Research发布一份关键报告,揭露了该公司对关系过于密切的“技术合作伙伴”的依赖,并质疑其收入的合法性,这一幻想开始瓦解。这引发了股价暴跌、破产以及投资者遭受重大损失,而内部人士则据报道从中获利颇丰。此案凸显了人工智能炒作的风险以及在金融市场中进行尽职调查的重要性。

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 隅田水族馆发布2026年企鹅关系图,包含戏剧和分手 (sumida-aquarium.com) 9点 由 Lwrless 2小时前 | 隐藏 | 过去的 | 收藏 | 1条评论 帮助 JAG_Ecalona 25分钟前 [–] 这些图表里总有一个细节让我印象深刻:刚被分手的企鹅会拒绝进食。 另外,一只雌性企鹅一年内结束了六段关系,工作人员对她的描述,从日语翻译过来,大概是“基本上像恶魔”。 是的,有些企鹅对饲养员产生了爱慕之情。水族馆也记录了这一点。专业地。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 比特币:逃离法币幻觉与获取技术丰盈 Sylvain Saurel 认为,比特币并非关于短期价格波动,而是由技术驱动的长期购买力转变。他用一个引人注目的对比来说明:2010年1万个比特币可以购买两个披萨,而今天,仅需26个比特币就能购买一艘巨大的油轮。 这展示了比特币捕捉*通缩性*技术进步的能力——用更少的资源做更多的事情——而这种优势一直被法币侵蚀。法币体系依赖债务和通货膨胀,*掩盖*了这种丰盈,迫使人们不断追逐以维持生活水平。 比特币拥有有限的2100万枚硬币供应量,作为价值的真实“分母”,准确地反映了价格下跌及其自身购买力不断增强。持有比特币被认为是积累这种技术丰盈,受益于长期的通缩,而不是遭受法币的通货膨胀。 关键在于*时间偏好*——耐心会得到回报。展望2042年,作者设想比特币将拥有更大的价值,代表整个行业。最终,比特币提供了一条逃离人为稀缺并拥抱技术进步世界益处的途径。

## 二进制 JSON 及更高:加速数据查询 本文探讨了使用二进制编码进行 JSON 数据处理的好处,尤其是在需要重复查询的场景中。即使使用像 `simdjson` 这样快速的解析器,JSON 的解析成本仍然很高,对于复杂查询来说也需要花费大量时间。转换为二进制格式可以显著提高检索速度,在基准测试中实现了高达 2,346 倍的性能提升。 可以使用类型标签和节点结构构建简单的二进制编码,从而实现无需完全解码即可对数据进行随机访问。然而,现有的格式(如 BSON)存在权衡(存储开销、缺乏随机访问)并且并非总是最优的。 现代数据库通过定制的解决方案来解决这个问题:Postgres 的 `JSONB`、YDB 的方法以及 Parquet 的 `VARIANT` 格式。`VARIANT` 为半结构化数据提供了一个灵活、通用的容器,并具有短字符串处理和可变偏移量大小等优化。 最终,最佳编码取决于工作负载的需求——优先考虑存储、随机访问或键排序。 趋势很明确:二进制表示正成为处理半结构化数据的标准,甚至扩展到 LLM API 响应,例如 TOON 格式,旨在提高 token 效率。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 JSON 和变体的二进制编码 (jincongho.com) 4 分,jincongho 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

精神航空正面临严重的财务危机,据报道正在寻求特朗普政府的救助。由于美国-伊朗冲突加剧,喷气燃料成本飙升,使这家廉价航空公司濒临破产边缘,尽管其目标是在今年夏天退出破产保护。 债权人质疑精神航空偿还债务的能力,分析师警告说,如果他们撤资,运营可能会停止。该航空公司的燃料对冲策略有限,使其容易受到价格上涨的影响,与其他拥有炼油厂的达美航空等竞争对手不同。 虽然喷气燃料价格最近有所下降,航空公司股票也随之上涨,但精神航空的未来仍然不确定。这家航空公司已经因疫情和与捷蓝航空的合并受阻而受到削弱,计划下周与交通部长肖恩·达菲会面,讨论其选择。

## 从 DigitalOcean 到 Hetzner 的零停机迁移 一家软件公司成功地将一个复杂的生产环境——包括 30 个数据库中的 248GB MySQL 数据、34 个 Nginx 站点、GitLab EE 和 Neo4J——从 DigitalOcean 迁移到 Hetzner 专用服务器,且实现了零停机。由于土耳其里拉贬值导致成本上升,此次迁移为该公司节省了每月 1199 美元(每年 14388 美元),同时获得了性能更强大的服务器。 迁移策略以细致的准备和自动化为中心。关键步骤包括在新服务器上安装完整堆栈,使用 `mydumper` 和 `myloader` 建立 MySQL 主从复制以提高速度,降低 DNS TTL,并在旧服务器上实施反向代理作为传播期间的备用方案。脚本自动执行 DNS 更改、Nginx 配置更新和 GitLab webhook 调整。 挑战包括解决 MySQL 权限问题(SUPER 权限绕过只读模式)以及确保 MySQL 5.7 和 8.0 之间的数据兼容性。整个过程历时约 24 小时,突显了脚本编写、利用复制以及考虑使用专用服务器来优化稳态工作负载的成本和性能优势。所有脚本均可在 GitHub 上公开获取。

## Hetzner Cloud 受欢迎度上升,用户寻求节省成本 最近的 Hacker News 讨论强调了一种增长趋势:由于显著的成本节省,用户正在从 DigitalOcean (DO) 和 AWS 等云服务提供商迁移到 Hetzner。 一位用户报告说,他们的账单从 1432 美元减少到 233 美元,且没有停机时间,这促使其他人分享类似的经验——从 AWS 节省 1200 美元/年,从 Rackspace 节省 85 美元/月也被提及。 虽然 DO 的服务质量总体上仍然积极,但切换的主要驱动力似乎是价格,评论员指出上市公司面临增加收入的压力。 像 Claude Code 这样的现代工具也在简化复杂的迁移,即使对于混乱的服务器设置也是如此。 用户还分享了使用 Percona xtrabackup 进行平滑数据库迁移的技巧。 总体情绪表明,用户积极寻求更实惠的选择,提供商的流动性正在增加。

弗吉尼亚州最近加入全国普选州际协议(NPVIC),使该协议承诺的选举人票总数达到222票,接近激活所需的270票。NPVIC旨在将一州的选举人票授予全国普选票的获胜者,绕过选举人团。 支持者将此视为一项民主改革——解决普选票失败者赢得总统职位的情况——但这一举动在很大程度上被视为对人口结构变化的战略回应。民主党预计在2030年人口普查后将失去选举人团席位,因为人口增长有利于共和党州。 批评者认为,该协议通过削弱各州的地位并可能因集中计票而增加选举舞弊风险,从而破坏了联邦制。他们还指出,根据目前的协议成员国,2024年的选举即使哈里斯赢得了弗吉尼亚州,也会导致特朗普获胜,这凸显了与该协议既定理想之间的脱节。最终,许多人认为NPVIC是一项先发制人的政治策略,而不是对民主原则的真正追求。

## 日本铁路的成功:世界典范 日本在发达国家中铁路使用率最高,远超美国、法国和德国。这并非源于文化认同,而是深思熟虑、有效的公共政策。与北美铁路衰落和欧洲高度补贴的系统不同,日本的铁路网络通过独特的私有制和战略监管相结合而蓬勃发展。 该系统由众多竞争的私有铁路组成——包括JR东日本和近铁等大型企业——以及曾经国有化网络的残余部分。重要的是,这些公司不仅仅是铁路公司;它们积极塑造城市发展,拥有从住房、零售到医院和娱乐等业务,从而获取因可达性提高而产生的价值。 这种“铁路作为城市建设者”的模式得益于自由的土地使用法规以及铁路公司能够将开发带来的收益内部化的体系。此外,日本避免过度汽车补贴,私有化停车位,并利用票价上限以及有针对性的资本投资补贴。 日本的成功表明,繁荣的铁路系统并非不可避免,而是可以通过明智的政策来实现——这对于全球适用,为振兴日本以外的铁路网络提供了一条途径。

一个黑客新闻的讨论围绕着一篇最近的文章,探讨了为什么日本拥有高质量的铁路。虽然广受赞誉,但日本铁路系统的发展并非一帆风顺——历史上,许多日本公民出于美观方面的担忧反对火车,类似于美国“不要在我后院” (NIMBY) 的态度。 然而,与美国不同,日本集中的联邦决策过程允许项目在当地反对的情况下继续进行。一位评论员建议美国可以从类似的系统中受益,但另一位评论员指出,美国对个人土地权利的不同看法可能使这变得困难。 最后,一位用户指出中国在很大程度上采用了并扩展了日本的铁路模式,并推测如果中国过度依赖汽车,情况可能会变得更糟。 讨论还指出了一个关于同一主题的重复帖子。

Flock Safety正面临越来越多的公众和法律压力,多座城市已取消合同,并有多起诉讼,源于对其数据访问 practices 的担忧。最近的争议涉及Flock员工访问摄像头画面——包括犹太社区中心内部画面,这与该公司“没有员工监控客户录像”的说法相矛盾。 调查显示,访问犹太社区中心画面没有恶意意图,但此事件引发了愤怒,一些人指责员工存在掠夺行为——IPVM认为这些指控是虚假和有害的。然而,Flock过去激进攻击隐私倡导者,甚至将其称为“恐怖分子”并指责他们纵容罪犯,使得情况更加复杂。 Flock有权谴责对其员工的个人攻击,但批评人士指出,鉴于该公司自身煽动性的言论,这种做法缺乏一致性。这种不断升级的负面情绪正在影响Flock的员工队伍,使其社区参与和招聘变得困难。专家建议改变语气,因为坚持目前这种对抗性的做法可能会使情况恶化。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Flock 谴责虚假的儿童掠夺者指控,但称批评者为恐怖分子 (ipvm.com) 11 分,由 jhonovich 发表于 56 分钟前 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助 retired 发表于 14 分钟前 | 下一个 [–] 很高兴生活在一个没有人工智能摄像头的国家。回复 trekkie99 发表于 40 分钟前 | 上一个 [–] > “指控某人监视儿童不是政策分歧;这是一项改变人生的指控。” - flock “改变人生”?哦,就像一个女人和她的孩子被枪指着,面朝下倒在炎热的停车场柏油路上,因为你们愚蠢的人工智能摄像头认错了车。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## Z3 求解器探索:从简单方程到数独 本文详细记录了初学者使用 Z3(一个强大的定理证明器或“求解器”)解决约束满足问题的过程。作者对该领域是新手,发现 Z3 比之前尝试过的类似工具更易于上手。求解器擅长规则频繁变化的问题——例如调度(学校课表、资源分配),为定制算法提供了灵活的替代方案。 Z3 使用一种名为 SMT-LIB2 的语言来定义问题。关键概念包括“类型”(本质上是数据类型)和“常量”(求解器操作的变量/值)。作者利用 Z3 的 Rust 绑定,展示了解决日益复杂问题的方案:一个简单的方程(x+4=7)、一个方程组,甚至一个数独谜题。 这个过程包括定义约束,然后使用 Z3 找到满足解。`push` 和 `pop` 等功能允许使用不同的参数进行高效测试。还探讨了更高级的功能,例如优化(找零钱问题)和布局问题。 虽然功能强大,但求解器也有局限性——它们难以处理某些数学函数和外部函数调用。最大的挑战在于将问题正确地*建模*为一组约束。作者承认 Z3 内部还有大量未探索的功能,强调需要更多易于访问的学习资源,以供实际编码人员使用。

最近的 Hacker News 讨论围绕一个介绍 Z3 定理证明器的教程展开。虽然 Z3 是一个好的起点,但评论员指出它在处理复杂问题时的局限性,并建议 CVC5 或 Bitwuzla 作为更强大的替代方案,尤其是在逻辑设计方面。熟悉 Z3 Python API 的用户会发现 CVC5 的 API 类似。 一个争论点在于教程的语言选择。由于教程是用 Rust 编写的,一些人质疑为什么选择一个 *不是* 用 Rust 编写的求解器(Z3 是 C++)。回复强调了 Z3 的成熟度和良好的 Rust 绑定,而另一些人则提倡使用 C++ 教程,以便更直接地体验求解器本身。这次对话表明了易用性(Rust 绑定)和更深入的理解(原生 C++)之间的权衡。

高盛最近的一项“尼古丁小块”调查,涵盖了近44,000家美国烟草零售店,显示出消费者行为的变化与汽油价格上涨有关。当87辛烷值汽油的全国平均价格达到每加仑4美元时,超过一半(58%)的零售商和批发商观察到顾客减少购买或“降级”到更便宜的选择。 具体而言,37%的受访者报告消费者购买的燃料减少,32%注意到店内消费下降,47%看到顾客选择价格较低的产品。 减少商店出行次数以及“加满就走”的燃料购买方式也很常见。 尽管总体谨慎,但该行业仍然相对稳定。 值得注意的是,低折扣香烟的销量有所增加(80%的受访者),尼古丁烟草(特别是VELO Plus)的销量也出现增长(一家零售商增长了20%),这可能是由于燃料奖励促销和消费者对价值的关注。 高盛对烟草行业持谨慎乐观态度,原因是香烟销量下降和通货膨胀压力,但对尼古丁烟草的增长保持乐观。

一对来自佐治亚州的夫妇,马莱里·雪莉和克里斯托弗·普利森茨,因为他们的6岁儿子杰克短暂地独自步行去附近的公园而面临儿童忽视调查——这种做法在他们的童年时期很常见。一位陌生人向儿童保护服务机构举报了他,引发了一系列事件,凸显了一种日益增长的趋势:政府对日常育儿行为的干预增加。 此案显示,模糊的儿童忽视法律,加上对儿童安全的担忧加剧,正在扩大对忽视的定义。这可能导致对曾经被认为是正常活动(如独立玩耍或步行上学)的调查。最近的事件,包括一位母亲因让她的10岁孩子独自步行而被捕,促使11个州通过了“合理的童年独立”(RCI)法,旨在明确什么才是*真正*的忽视——要求对儿童安全存在“公然漠视”。 尽管佐治亚州有新的法律,但最初对马莱里的调查结果被“证实”了,直到二月份才被推翻。这对夫妇担心过度监管的文化正在阻碍儿童韧性和独立性的发展,并且善意的担忧正日益导致不必要的州政府干预。专家认为,儿童福利机构需要建立一个分诊系统,将资源集中在真正的虐待和忽视案件上,而不是促进合理童年自由的情况。

一个黑客新闻的讨论集中在“自由放养”童年的衰落——无监督的玩耍和街区探索。最初的文章(来自Big Think)引发了关于这种现象是否像报道的那样普遍的争论。 一些评论员认为,这种说法并不反映他们的现实,指出他们的孩子在普通的郊区街区里确实在无监督下玩耍。他们认为,孩子们对屏幕的偏好发生了变化,反映了成年人“第三空间”的整体衰落,这才是更重要的因素。 另一些人指出,社会焦虑和过度保护的育儿方式日益增加,这受到媒体对罕见但可怕事件的报道的影响,是主要驱动因素。一位评论员特别强调了由于社区最近的变化而产生的安全问题。这场讨论涉及到一个潜在的社会信任和尊重丧失,将现代焦虑与过去的规范进行对比。

## Kdenlive 年度回顾 (2025) 2025年对于Kdenlive来说是稳步发展的一年,在新增功能的同时,优先考虑稳定性和改进。 三次主要发布(25.04、25.08和25.12)专注于全面改进——从4月发布的强大新自动蒙版工具和OpenTimelineIO集成,到8月份的大规模稳定工作(包含300多个提交),再到12月份经过完善的用户体验,包括新的欢迎界面和灵活的停靠系统。 主要亮点包括音频波形的性能提升300%,以及对音频混音器、标记/引导线和字幕编辑器的重大改进。 团队还重新设计了网站,并加强了与MLT开发者的合作。 Kdenlive由8名核心团队成员和令人印象深刻的38名代码贡献者(其中一半是首次贡献者!)组成,下载量超过1150万次。 未来的开发重点是MLT集成(包括10/12位色彩支持和OpenFX),字幕系统重构,以及用于关键帧管理的新时间线。 通过捐赠(筹集9,344.80欧元)持续支持社区对于维持开发并可能扩大团队至关重要。

最近的 Hacker News 讨论强调了 Kdenlive 的现状,它是一个免费且开源的视频编辑器 (kdenlive.org)。 一位用户称赞 Kdenlive 为他们首选的编辑软件,并指出它不断改进和增加新功能。 然而,另一位用户质疑它的稳定性,特别提到了导出时帧率变化导致关键帧时间出现问题——这是过去尝试中遇到的问题。 第三位评论者认为 Kdenlive 团队访问 Blender 办公室值得注意,考虑到 Blender 自身也在开发视频编辑器。他们推测这两个项目之间可能存在潜在的合作或代码共享,因为两者都解决了类似的视频编辑需求。 讨论反映了对 Kdenlive 进步的赞赏以及对其可靠性的持续担忧。
联系我们 contact @ memedata.com