启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
免费交互式工具，展示主板上PCIe通道的工作原理。
Free interactive tool that shows you how PCIe lanes work on motherboards
3 天前
## PCIe 通道可视化工具总结
一个名为 [mobomaps.com](https://mobomaps.com) 的新交互式工具，以可视化的方式呈现主板上的 PCIe 通道配置，帮助用户理解组件如何连接和共享带宽。该工具在 Hacker News 上发布后，因其在规划配置方面提供的帮助而迅速受到关注，尤其是在硬件厂商通常提供的信息不明确的情况下。
用户立即要求支持 AM4 插槽主板，因为内存成本上升使得更新的平台不太容易获得。讨论围绕着为不支持的主板贡献数据、确认通道分配以及 SLI 支持下降对主板设计的影响展开。
该工具的创建者 Ronin Wilde 受到关注，对话涉及了现代显卡和固态硬盘对 PCIe 通道日益增长的需求，以及新款主板上扩展槽位减少的趋势。对于需要大量 PCIe 连接的用户，有人建议使用 Threadripper 等高端工作站平台。 许多用户表示有兴趣为该项目贡献力量，并要求添加诸如 CPU 特定通道配置等功能。
## f32：超紧凑的ESP32开发板
f32是一款非常小的ESP32-C3开发板，尺寸仅为9.85mm x 8.45mm，设计用于直接连接到USB-C端口。它最初是作为研究项目和设计挑战而创建的，有意通过省略标准设计元素（如适当的退耦和天线匹配）来突破界限。
f32具有一个连接到板载LED的单个外露GPIO，最适合WiFi/Web开发。提供了一个 captive portal 应用程序，将板子变成一个接入点，允许用户通过网页界面与基本功能（如LED控制和WiFi扫描）进行交互。
最初的连接问题通过向芯片天线添加一个简单的手工焊接的天线来解决，在视线清晰的测试中实现了大约120英尺的范围。PCB由PCBWay制造，五块板子的成本仅为10.75美元，并使用助焊剂和热板/热风枪手动组装。
虽然功能完备，但f32有意“极简”，作为实验平台，潜在的改进包括外露GPIO和改进的天线设计。
## F32：一款极小的ESP32板
一位Hacker News用户“pegor”分享了他们的项目，创造了一款功能齐全、带有WiFi的极小ESP32板，名为“F32”。该项目源于探索小型化的极限。
讨论重点在于使用极小元件（01005尺寸）和焊接技术（包括使用热风枪和表面张力）所面临的挑战。许多评论者讨论了JLCPCB和PCBWay等PCB组装服务作为手工焊接的替代方案，其中JLCPCB的价格明显更低。
板子的GPIO引脚数量有限也是讨论的焦点，与现有的XIAO系列等小型ESP32板进行了比较。虽然并非适用于所有项目，但F32展示了令人印象深刻的工程设计和文档，激励其他人尝试类似的构建——或者至少欣赏其中的难度！甚至有人开玩笑地考虑将其用于制造秘密USB窃听设备。
作者：斯泰西·哈夫纳 / 斯科特·汉塞尔曼 今天，我们正在保护游戏历史上的一个重要组成部分，这与我们的内心非常接近。微软开源项目办公室 (OSPO)、Xbox 团队和动视正在以 MIT 许可证提供 Zork I、Zork II 和 Zork III。 我们的目标很简单：将具有历史重要性的代码交给学生、教师和开发人员，以便他们研究、学习，并且，也许最重要的是，玩这些游戏。
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文档之类的资源也被分享，以供进一步学习。