作者：斯泰西·哈夫纳 / 斯科特·汉塞尔曼 今天，我们正在保护游戏历史上的一个重要组成部分，这与我们的内心非常接近。微软开源项目办公室 (OSPO)、Xbox 团队和动视正在以 MIT 许可证提供 Zork I、Zork II 和 Zork III。 我们的目标很简单：将具有历史重要性的代码交给学生、教师和开发人员，以便他们研究、学习，并且，也许最重要的是，玩这些游戏。
每日HackerNews RSS
This appears to be binary data from a PDF file, not natural language content. It is not meaningfully translatable into Chinese. It consists of random characters and symbols resulting from the PDF's internal structure. There is no readable content to translate.
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
用 Plain TeX 排版戈特洛布·弗雷格的“Begriffsschrift” [pdf] (tug.org)
46 分，perihelions 1 天前 | 隐藏 | 过去 | 收藏 | 4 条评论
fjfaase 1 天前 | 下一个 [–]
Begriffsschift 是二阶逻辑的第一个形式化符号。回复
sohkamyung 21 小时前 | 上一个 | 下一个 [–]
我想知道 Typst [1] 是否能处理这个。[1] https://typst.app 回复
jgalt212 1 天前 | 上一个 | 下一个 [–]
应该有一个列表，列出用 LaTeX 或 TeX 排版的最复杂文档。我确定这个肯定榜上有名。回复
jjgreen 1 天前 | 上一个 [–]
用 LaTeX 更容易
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Tangent是一个快速、可共享且沙箱化的流处理工具包，旨在简化日志转换和数据操作。与传统系统不同，Tangent避免使用特定领域语言（DSL），允许用户使用任何可以编译为WebAssembly (WASM) 的语言编写插件，包括Rust、Go和Python。
插件被视为核心组件，易于开发、测试和基准测试，并配备了专门的CLI工具。其关键特性是为每个插件提供的安全、轻量级的WASM沙箱，确保安全性和接近原生性能。
Tangent通过可共享的插件库促进协作，实现社区贡献和常用转换的重用。它提供强大的测试和基准测试功能，以便在生产部署*之前*捕获错误。安装方式包括Homebrew、专用安装脚本、Cargo或Docker。
Tangent优先考虑真实代码而非DSL，使转换过程可审查、可测试且对LLM友好。
Tangent是一个新的、基于Rust的日志管道，旨在解决安全日志处理中的常见挑战，其创建者在Hacker News上分享了相关信息。它通过使用WebAssembly (WASM) 插件来实现所有规范化、丰富和检测逻辑，从而无需专有的领域特定语言 (DSL)。
该项目旨在解决模式不断变化、映射工作重复以及映射器创建繁琐等问题。Tangent提供可共享的插件（拥有不断增长的社区库），与现有的DSL（如Bloblang）的互操作性，以及通过标准代码（Go、Python、Rust）的完全灵活性。
值得注意的是，LLM可以轻松生成新的映射器，从而显著减少开发时间。性能强劲，在16核机器上达到约480 MB/s。开发者正在寻求反馈，并鼓励大家探索该项目的GitHub仓库：[https://github.com/telophasehq/tangent](https://github.com/telophasehq/tangent)。
Go语言的`crypto/tls`库的最新更新优先考虑针对未来量子计算威胁的安全。该库现在默认采用“混合”加密方法，将成熟的算法与新的后量子密码学（如X25519和ML-KEM-768）相结合。 这种混合模式是一种预防措施；虽然新算法显示出前景，但历史表明它们可能容易受到意外攻击（例如，一台笔记本电脑就能破解的攻击！）。通过同时使用旧方法和新方法，只有*两者*都被攻破，连接才能被破坏——需要一台量子计算机*以及*破解新密码学的突破。 Go 1.24+ 会自动与兼容的应用程序（如Chrome）协商这种后量子安全性。开发者不再需要手动配置密钥交换顺序，因为该库会智能地默认选择最安全的选项，除非明确禁用。 这旨在主动保护连接免受未来的密码学威胁。
## 黑客新闻讨论摘要：密码学与 Go
一个黑客新闻帖子讨论了 Filippo 最近关于密码学现状的文章，重点关注 Go 生态系统中的挑战。关键点包括对 NIST 标准（如 FIPS 140）缓慢进展的沮丧，它实际上限制了安全改进的天花板，而非作为安全基线。
讨论集中在 Go 处理密码学原语的方式，特别是对种子和密钥材料使用 `[]byte`。人们担心长度检查可能导致错误，以及缺乏对安全关键数据的强类型化。Go 加密团队为这些选择辩护，引用了实际经验和防止常见错误的需要。
一个 `runtime/secret` 包的提议旨在解决垃圾回收语言中的内存安全问题，而参与者则争论内存中残留密钥的风险以及零化敏感数据的重要性。对话还涉及区块链/加密货币领域对“密码学”一词的挪用。
在与家人朋友分享美好瞬间时，你使用的设备不应成为障碍——分享应该顺畅无阻。但我们收到很多反馈，大家希望在设备间分享文件更简单。今天，我们推出了Quick Share与AirDrop的互操作方式。这使得iPhone和Android设备之间的文件传输更加便捷，并即日起在Pixel 10系列设备上开始推广。 我们从一开始就将安全性放在首位，通过独立的安保专家测试过的强大安全措施来保护你的数据。这是我们在操作系统之间实现更好兼容性的又一举措，紧随RCS和未知追踪器提醒工作之后。 我们期待改进体验并将其扩展到更多Android设备。观看这段视频，了解Pixel 10 Pro的实际操作，并亲身体验一下！
## IBM 在量子优势和容错性方面取得进展 – 摘要
IBM 在其量子开发者大会上宣布，在实现 2026 年量子优势和 2029 年容错量子计算目标方面取得了显著进展。新的 **IBM Quantum Nighthawk** 处理器将于 2025 年底推出，具有更高的量子比特连接性，并且能够处理比以前型号复杂 30% 的电路。IBM 正在与合作伙伴合作，通过社区主导的跟踪器公开跟踪和验证量子优势声明。
**Qiskit** 软件方面的进步，通过动态电路实现了 24% 的准确性提升，并使用 HPC 实现了超过 100 倍更快、更具成本效益的误差缓解。此外，IBM 还推出了 **IBM Quantum Loon**，这是一款实验性处理器，展示了容错计算所需的所有关键组件。重要的是，他们实现了 10 倍更快的量子纠错解码——比计划提前一年。
为了加速开发，IBM 正在过渡到 300 毫米晶圆制造，使研发速度翻倍，并使芯片复杂度提高十倍。这些进展使 IBM 成为扩展实现量子计算全部潜力的硬件和软件的领导者。
## IBM 与量子计算现状 - Hacker News 摘要
IBM 最近宣布了一套新的量子软件包，引发了关于量子计算当前和未来可行性的讨论。虽然 IBM 预测到 2026 年将实现经过验证的量子优势，但在谷歌 2019 年的“量子霸权”声明之后，仍然存在怀疑——IBM 对此提出了挑战。
普遍的共识是，量子计算在化学、材料科学和优化等特定领域显示出潜力，但实际应用仍然遥远。目前的硬件最适合用于演示问题，而经典计算仍在不断进步，使量子计算机始终处于优势的“边缘”。
许多评论员强调了当前量子计算机的不可靠性，需要多次运行和误差缓解技术才能达到可接受的精度。尽管如此，研究仍在继续，IBM 在该领域进行了重要的人才招聘。一些人认为 IBM 的持续相关性源于其遗留系统以及对 Linux 等开源项目的重大投资。然而，另一些人则认为 IBM 主要是一家外包公司。
``` %PDF-1.5 %文档开始 6 0 obj > 流 xÚ É’Û¸õ>_Ñ·¨«$š¸ˆÎeV'ž±Ë©šNåÐ㪰%H˜".Óéùú¼\$8öE o P|w¼‹ïþöMü…òû‡o^½É’»¤ˆJ¶w‡»$K¢$ÕwEGy‘Ü=ìïWoÚûd»2¦½ßè,^½wMµïÖ¾Á Üú鿽i:ûTûöá`v}wÿñágø’ºKâ¨Ì¶%~IE…ºƒAÑ6Ïù3`V’Ž÷S ± ©_Bþço£2ÏSœ¾ItTâ I•iÊ+¾=Wý)êy•¨ÚE¿_pþ 0 LgÜ褄EõÝ&+¢LËn¿{êú¶Úõ ÓÅ|Ué–Gþ¯ˆ¨#Y]ZÓ™¦gR©ÖV½úª¥ev® ¥X:YAƒ X½\‘œ9 ÞˆìÖ ```
这次Hacker News讨论的核心是Oleg Kiselyov 2015年的论文《更自由的Monad，更可扩展的效果》，以及Haskell及其他语言中效果系统的整体情况。 许多评论者强烈建议探索Kiselyov在[okmij.org](https://okmij.org/)上的工作，因为它清晰且富有洞察力。
对话很快深入到实际实现中。虽然提到了`eff`库，但它被指出是一个不再积极开发的科研项目。`freer-simple`、`Polysemy`、`effectful`和`Bluefin`被认为是可用于生产的替代方案，其中`effectful`和`Bluefin`（后者由一位评论者创建）因其性能和处理复杂效果的能力而备受关注。 其他语言，如Koka和Effekt，以及TypeScript的`effect-ts`也被强调具有先进的效果系统实现。
关于效果系统价值的争论浮出水面，一位评论者质疑其必要性。其他人则认为它们对于分层程序行为和提高代码清晰度很有价值，不一定是为了控制操作系统级别的副作用。 诸如效果系统历史讲座和Bluefin文档之类的资源也被分享，以供进一步学习。
## 可负担住房的消失与无家可归现象的增加 如今可负担住房的缺乏是导致无家可归现象的重要原因，而这个问题在历史上是通过单人间出租屋（SRO）来解决的——就像 YMCA 曾经提供的那些。自 1860 年代起，YMCA 和更广泛的寄宿公寓市场提供了安全、经济实惠的房间，在 1940 年达到顶峰，超过 10 万间，为年轻男性和低收入工人提供了一个重要的安全网。 然而，从 19 世纪末开始，这些 SRO 因改革者的道德反对而遭到系统性拆除，他们认为这些房屋是滋生社会问题的温床。建筑规范、分区法和排斥性做法使这种住房类型蒙羞并最终使其非法化，优先考虑独栋住宅。 这种蓄意的破坏，加上后来的城市更新项目，导致了数百万 SRO 单元的流失。由此产生的住房短缺直接导致了 20 世纪末的无家可归危机，而精神卫生机构的非机构化则加剧了这一问题。重新合法化 SRO，可能通过改造空置的办公空间，为扩大规模、深度可负担的住房提供了一条可行的途径，并可能成为解决今天危机的方案。
## 《毕加索《哭泣的女人》被盗案》
1986年8月，巴勃罗·毕加索的《哭泣的女人》——由澳大利亚墨尔本的维多利亚国家美术馆（NGV）以当时创纪录的160万澳元购入——被盗。一个自称“澳大利亚文化恐怖分子”的组织声称对此负责，抗议艺术资金不足，并向维多利亚州艺术部长提出要求。他们威胁说，如果他们的增加资金和设立新艺术奖的要求不被满足，就会销毁这幅画。
在匿名线索的指引下，未受损的画作在斯宾塞街火车站的储物柜中被发现。尽管有悬赏和调查，这起盗窃案至今仍未破获。这幅画是毕加索的《格尔尼卡》系列作品的一部分，以他的情妇多拉·马尔为原型，目前估计价值1亿澳元。
这起大胆的盗窃案，使用了专用螺丝刀，并与1911年的《蒙娜丽莎》被盗案相呼应，引发了公众辩论，并激发了艺术创作回应，包括一部小说和一部纪录片。此案于1989年正式结案，澳大利亚最著名的艺术盗窃案至今仍是一个未解之谜。