每日HackerNews RSS

本网站可以通过Nostr在去中心化网络上访问。请安装Nostr Web浏览器扩展程序来查看它。 添加到Chrome 添加到Firefox 对于手动安装或其他浏览器,请访问GitHub。

## Nostr Web:去中心化网站托管 Shugur Network 发布了 Nostr Web,一种直接在去中心化 Nostr 网络上托管网站的系统,消除了对传统服务器的依赖,并提供了抗审查能力。网站被构建为分布在 Nostr 中继上的已签名、可验证事件的集合,可通过浏览器扩展和基于域名的发现方式访问。 该项目包含一个 CLI 发布工具,并支持 Nostr v1.3.5 事件类型。虽然它提供了在公共中继上零成本托管等潜在好处,但目前需要用户安装浏览器扩展——这是评论者提出的一点摩擦。 讨论集中在相对于现有托管方案的优势、非法内容的处理(审核发生在中继层面)以及更新效率(由于 Nostr 的追加写入特性,目前需要完全重新发布)。未来的计划包括一个网关,以允许无需扩展程序即可访问,但优先考虑去中心化仍然是关键。开发者正在寻求关于协议设计、中继性能和用户体验的反馈。

## 美国国债超过38万亿美元 本周,美国国债超过38万亿美元,创下历史新高,且在新冠疫情之外,增长速度最快的一次达到万亿美元级别。这一里程碑出现在联邦政府停摆期间,凸显了人们对国家财政健康的担忧。 专家警告说,持续增加债务会导致更高的通货膨胀,削弱购买力,并可能影响未来世代负担住房等重大支出的能力。债务增加也会导致消费者和企业的借贷成本增加,并减少对经济的投资。 特朗普政府声称正在减缓支出——引用自四月以来的赤字减少——但债务仍在迅速增长,几乎每秒增加7万美元。分析师强调债务利息的不断上涨,预计未来十年将达到14万亿美元,这将进一步拉紧预算并阻碍经济增长。彼得·G·彼得森基金会认为,这种情况凸显了立法者缺乏财政责任感。

## 美国债务达到 38 万亿美元:Hacker News 摘要 Hacker News 上的一篇帖子讨论了美国国债达到 38 万亿美元,创下疫情以外最快的一万亿美元增长速度。讨论迅速转向驱动这一债务的政治和经济因素。 许多评论员指出,民主党政府在维持社会保障网络的同时,预算赤字往往有所改善,这与共和党政府和减税形成了对比。人们对近期税收政策的影响表示担忧,一些人认为用于生产性用途的债务是可以接受的,但目前的积累主要使富人受益。 多个帖子探讨了*谁*持有这些债务——主要是美国实体(包括政府本身)、外国政府和个人——以及潜在违约的影响。对话还涉及国债利率、消费者信贷和通货膨胀之间的关系。 一个反复出现的主题是缺乏解决根本问题的政治意愿,一些人建议需要进行福利改革或改变支出优先级,而另一些人则强调税收政策的作用以及影响财政决策的权力动态。

禁止 您没有权限访问此服务器上的 /~cks/space/blog/web/WeShouldBlockForSocialReasons。

## Hacker News 上关于网站封锁的争论 Hacker News 上的一场讨论,源于 utcc.utoronto.ca 的一篇文章,围绕着网站封锁日益增长的需求展开。这种需求并非出于传统的技术原因,如恶意软件,而是出于“非技术”原因——本质上是控制内容和行为。 许多评论者认为,互联网已经从一个开放访问的空间,尊重不同意见是常态,转变为一个平台轻易“除名”表达不受欢迎观点用户,并主动扫描“违禁品”的空间。人们担心这可能会模仿中国等国家所见的审查模式。 讨论的解决方案包括封锁机器人、按数据使用量收费以及创建众包封锁列表。然而,也指出了挑战:IP 地址通常是共享的,这使得准确的封锁变得困难,并可能影响到合法用户。一些人认为,识别“不良行为”是主观的,容易出错,而另一些人指出,封锁努力往往会变成徒劳的“打地鼠”游戏。最终,这场争论围绕着如何在开放访问与打击滥用行为、维护正常在线环境之间取得平衡。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

## 微软停止 Office Online Server 服务,推动 Teams 平台 微软正在逐步淘汰 Office Online Server,将用户引导至其 Teams 平台。这一决定在 Hacker News 上引发了讨论,许多人批评微软对“现代”的定义常常代表着倒退和臃肿。 用户抱怨 Teams 令人困惑的界面——特别是团队和频道之间的区别——以及令人沮丧的设计选择。一些人为 Teams 辩护,指出它比以前的微软通信工具(如 Skype 和 Lync)有所改进,而另一些人则强调了其资源密集性。人们对需要隔离、本地部署解决方案的组织产生的影响表示担忧。 一个反复出现的主题是对微软转向订阅模式(“仅云”伪装成“云优先”)的不满,这种转变由 MBA 驱动的决策导致,可能会牺牲用户需求以获取收入。SharePoint 也受到了大量批评,被贴上了“管理层生产力作秀”的标签。尽管有抱怨,但一些人承认必须适应微软的生态系统,即使它并不完美。

这个仓库详细介绍了一个为“Easy”编程语言设计的教育性编译器,该语言定义在Charles Wetherell的《程序员练习曲》(1978)中。该项目由一位刚接触编译器设计的开发者使用TypeScript从头开始构建,旨在作为编译器实现和运行时系统的学习练习。 该编译器将Easy代码翻译成C代码,然后使用Clang (17+)将其编译成原生二进制文件。它完全支持Easy语言的语法,但在外部子程序、多个PROGRAM段(只允许一个入口点)和动态数组复制(由于运行时限制,使用浅拷贝)方面存在限制。Easy采用复制语义,深度复制值,但动态大小的数组除外。 一个全面的测试套件,包括像康威生命游戏、Brainfuck和Mastermind这样的程序的实现,验证了编译器。测试生成预期的C输出和控制台结果进行比较。该项目利用手工编写的递归下降解析器,并提供了一个实验性的PEG解析器用于测试。 要运行,需要Node 24+ 或 Bun 和 Clang 17+。程序使用 `easyc run filename.easy` 执行。

一位Hacker News用户分享了一个GitHub仓库的链接,其中包含“Easy”编程语言的编译器,该语言收录于1978年出版的《程序员练习曲》一书。这本书是一本经典著作,尤其受到前苏联程序员的推崇,因为它授权费用低廉,并在当地教育中得到广泛应用。 评论区的讨论显示,“Easy”语言深受Algol影响,使用了诸如“SET”用于简化赋值和“FI”用于结束条件块(类似于bash和C)等特性。 也有人将其与COBOL(“PROGRAM”部分)以及Pascal/C(分号)进行比较。 一位评论员指出,“FI”结构起源于Steve Bourne在Algol-68过程中的工作,并影响了他的shell脚本编写。 该语言似乎比PL/0更全面,并且可能通过C预处理翻译成Golang。 最后,该帖子还包含了一个Y Combinator冬季2026批次的申请公告。

启用 JavaScript 和 Cookie 以继续。

## 中国在贸易格局中的崛起 《经济学人》的一篇文章在Hacker News上讨论,中国实际上正在“赢得”贸易战,并非通过直接成功,而是由于西方战略上的失误。核心问题在于西方转向服务型经济,而中国专注于建设强大的重工业和制造业。将制造业迁往东方被视为轻松获利的途径,但缺乏长远规划。 评论员指出,西方目前由于缺乏熟练劳动力、严格的法规、高成本以及关键的、可负担的能源而无法重新工业化。虽然一些人认为存在解决方案——例如日本战后工业化——但另一些人则指出中国的资源限制以及对非洲的战略投资,作为其长远愿景的证据。 许多人认为当前的美国政策是在自毁,优先考虑短期收益而非可持续的经济实力。人们对美国依赖中国获取关键商品(武器材料、药品)以及可能向由中国和欧盟领导的多极世界转变表示担忧。最终,这场讨论描绘了一幅西方面临重大挑战,而中国利用数十年战略规划获益的景象。

美国国务院已移除其人权报告门户(HRG),这是一个于2022年建立的独特在线“举报热线”,用于接收使用美国武器的外国军事单位涉嫌侵犯人权的报告。此举受到了人权组织和负责制定强制建立该门户的法律的关键架构师的批评,他们认为这无视了追踪美国纳税人资助的侵权行为的法律要求。 HRG的设立是为了满足《利希法案》的更新条款,该条款要求美国政府主动征集关于潜在侵权行为的信息,例如法外处决和酷刑。提交的报告包括关于哥伦比亚安全部队在2021年抗议活动中过度使用武力的指控,以及关于以色列国防军在西岸的证据。 国务院表示,它仍然通过其他渠道遵守该法律,但批评人士认为,移除HRG削弱了问责制,并降低了外国政府解决侵权行为的积极性。此举正值国务院进行更广泛的重组,包括削减人权监测办公室的预算,引发了人们对美国对国际人权标准的承诺减弱的担忧。

## 美国停止人权报告网站 美国国务院已移除一个旨在接收美国军方装备的外国势力所犯人权侵犯报告的网站。此举引发批评,一位曾担任莱希参议员助手的人士认为,这无视了2011年一项强制收集此类信息的法律。 Hacker News上的评论员表达了广泛的担忧,认为这是行政部门不受约束并导致问责制下降的更广泛趋势。一些人指出历史先例,认为美国一直无视人权问题,无论领导人是谁。另一些人强调弹劾的无效性以及加强国会监督的必要性。 讨论还集中在移除网站的潜在动机上,从网站不堪重负而被垃圾邮件淹没到蓄意掩盖侵犯行为。一些人建议直接向媒体报告可能更有效,而另一些人则担心透明度进一步下降以及公然漠视人权原则。 许多评论员对美国对人权的承诺表示愤世嫉俗,并引用了长期存在的侵犯行为和虚伪现象。

## CRDT:保持分布式系统同步 无冲突复制数据类型 (CRDT) 是为分布式系统设计的,允许节点之间独立更新,同时保证最终一致性。与需要通信和达成共识的传统协调方法不同,CRDT 通过确定性冲突解决实现收敛。 并发操作被定义为那些*非*因果关系的操作——意味着一方不知道另一方。虽然并发并不总是意味着冲突,但管理它对于数据一致性至关重要。CRDT 提供了一种解决方案,即实现“强最终一致性”——所有副本最终将达到相同状态,而无需持续协调。 主要有三种类型:**基于状态**(共享完整状态)、**基于操作**(共享操作)和 **基于增量**(仅共享更改)。例子包括 G-计数器(仅增长)和 PN-计数器(正负)。 CRDT 在协作编辑(例如 Notion)、离线优先应用程序和高可用系统(例如 Redis)等场景中表现出色,在这些场景中,可用性是优先考虑的。虽然 Google Docs 等系统目前使用操作转换 (OT),但由于 CRDT 的去中心化特性和对中央服务器的依赖性,CRDT 被认为是自然的后继者。

## LLM 偏见:研究结果摘要 一项最新研究调查了 OpenAI、Google 等公司领先的大型语言模型 (LLM) 是否存在意识形态偏见。研究人员设计了一个实验,向模型呈现八个社会政治类别的成对陈述——从进步 vs. 保守到市场 vs. 国家——并要求它们选择“更符合事实且逻辑支持”的选项。每个提示对每个模型运行 100 次,以评估响应分布。 结果表明,LLM *并非*意识形态中立。不同的模型表现出不同的“个性”,偏爱各种立场(进步、自由主义、监管等)。一些模型经常拒绝回答,尤其是在堕胎等敏感话题上。 这种可变性凸显了所选模型可以显著影响用户接收到的信息。该研究发现响应存在明显差异,一些模型始终偏向于某个论点的一方,而另一些模型则保持犹豫。对于依赖 LLM 的用户和构建这些系统的开发者来说,意识到这些偏见至关重要,因为隐藏的偏见可能会微妙地塑造理解和决策。研究结果强调,LLM 并非仅仅是客观工具,而是反映了其训练数据和对齐过程中固有的偏见。

本文探讨了繁忙海狸问题(寻找在停止前输出最多1的图灵机)与考拉兹猜想之间的潜在联系。考拉兹猜想涉及重复应用一个函数到一个数字:如果数字是偶数则除以2,如果是奇数则乘以3并加1,目标是达到1。 作者研究繁忙海狸图灵机,已知其磁带模式有时会表现出类似考拉兹的行为,是否实际上*模拟*特定的考拉兹序列。描述了一种修改后的“考拉兹磁带”——一个根据考拉兹函数输出(模3)翻转磁带单元格的磁带,读写头根据数字是奇数还是偶数向左或向右移动。 提出的问题是,繁忙海狸是否可以使用这种磁带机制生成镜像考拉兹数字行为的模式,特别是达到类似于考拉兹序列达到1的状态。以n=371581为例来说明磁带的发展。

这个Hacker News讨论探讨了考拉兹猜想与“繁忙海狸”(BB)机器之间的联系——那些在停止前最大化步数的理论计算机。 虽然BB机器通常不会模拟*原始*考拉兹过程(随机缩放直到零),但许多机器表现出“类似考拉兹的行为”,通过迭代具有固定比例因子的函数,直到达到特定的模值。这会产生伪随机余数流,类似于考拉兹序列。 有趣的是,一些BB候选者,比如BB(3,3),使用了完全不同的停止条件——将采样点与康托集进行比较——而不是模运算。讨论还涉及考拉兹模拟产生的视觉模式,类似于波浪片,以及对这些模式背后潜在更高维度形状的推测。 最后,帖子还提醒了申请Y Combinator 2026年冬季批次的申请。

更多

联系我们 contact @ memedata.com