🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…
每日HackerNews RSS
## 火星冰层探索讨论 - Hacker News 摘要
一篇最近的 phys.org 文章质疑火星上是否存在液态水，引发了 Hacker News 上关于为什么探测器没有直接探索潜在的冰层沉积物，尤其是在南极附近的讨论。
用户指出，发射任务的成本非常高昂，但也有人认为，像 SpaceX 的猎鹰 9 号以及更便宜的发射服务等新技术，可以促成小型、大学主导的探测器项目。挑战包括火星上的巨大距离（目前的探测器每年只能行驶几公里）和恶劣的环境。
磨蚀性的火星尘埃和锋利的岩石对探测器车轮的耐用性和机械功能构成重大问题，影响了长期的移动能力。20-40 分钟的遥控延迟也限制了运行速度，并需要谨慎的导航。人们也对可能支持生命的区域的潜在污染表示担忧，这导致任务目标选择上采取谨慎的态度。
最后，一些评论员将对潜在生命的关注与埃隆·马斯克等人对火星殖民的雄心壮志进行对比，认为后者是由个人愿景驱动，而非广泛的科学共识。
X（前身为Twitter）计划对使用VPN的用户资料进行标注，并显示警告，说明他们的位置“可能不准确”。 此举在上个月已被暗示，引发了在线安全倡导者的批评，他们认为这是一种暴露依赖VPN保护隐私和安全的用户的方式——包括那些身处压迫政权的国家、记者和活动家。 X声称此举旨在验证内容真实性，但批评者认为这损害了用户匿名性。 尽管X表示将提供隐私设置选项，但配置这些选项可能会在用户资料上*突出显示*。 显示的警告将告知其他用户该帐户“可能通过代理连接”，从而实际上暴露了VPN用户。 许多人认为X应该专注于打击平台上的虚假信息，而不是针对注重隐私的用户。
## StuffIt 归档工具 & BinHex 过滤器摘要 本文档详细介绍了 `sit`，一个命令行工具，用于创建与 StuffIt 1.5.1 兼容的归档文件——这对于将文件传输到经典 Mac 或模拟器非常有用——以及 `macbinfilt`，一个用于处理来自 Usenet 的历史 Mac BinHex 文件实用工具。 `sit` 从文件和文件夹创建归档文件，保留资源分支和元数据。它是 1988 年程序的一个现代更新，现在与 macOS 和其他 Unix 系统兼容。用户可以自定义归档类型和创建者，并转换换行符以与旧版 Mac 文本编辑器兼容。归档文件默认名为“archive.sit”，但可以使用 `-o` 选项命名。目前，它使用 LZW 压缩，未来可能会添加霍夫曼编码。 `macbinfilt` 从 Usenet 文章（如 comp.binaries.mac 中找到的那些）中提取 BinHex 4.0 编码的数据，必要时重新排序多部分文件并去除多余内容。它输出干净的 BinHex 数据，可使用 `xbin` 等工具进行解码。 这两个工具使用 `make` 构建，适用于类 Unix 系统，但日期处理可能会有所不同。它们按原样提供，并附带有关潜在错误的免责声明。
一个黑客新闻的讨论集中在重新发现了一个1988年的程序“Sit”，用于在Unix系统上创建StuffIt压缩包，现在已在GitHub上提供。用户欣赏旧代码库的简洁性和可理解性，与现代项目相比，这体现了不同的开发理念，即功能优先于精美，并且期望用户自行贡献改进。
一位评论员回忆说，StuffIt Expander有一个商业Linux版本，需要注册才能创建压缩包，但允许免费解压。代码缺少正式许可证也被注意到。几位用户表示对在程序发布几十年后发现它感到有趣，强调了存档软件的持久价值和潜力。这场讨论反映了对软件感觉更易于访问和协作的时代的一种怀旧。
## Diamond OS：重振雅达利8位机 (1990)
1990年，Reeve Software的Alan Reeve向波特兰雅达利俱乐部介绍了他的突破性Diamond操作系统。Diamond为老旧的雅达利8位机带来了鼠标驱动的图形界面——包括窗口和下拉菜单——显著提升了其易用性。
Reeve强调了Diamond Paint令人印象深刻的功能集，可与ST绘图程序媲美，并独特地提供了剪切和粘贴功能。Diamond Write虽然在较早的雅达利型号上受内存限制（48K限制为一页，64K为五页，130K为30-40页），但包含了拼写检查器和多样式字体的潜力。
尽管内存限制阻止了完全的字体支持和图形混合，Reeve设想了一个繁荣的生态系统。他计划发布与现有剪贴画兼容的NewsStation，并鼓励程序员开发利用Diamond新界面的应用程序。他强调了8位雅达利持续的强大功能，能够满足用户需求的90-95%，并为现有的Diamond卡带提供升级。Reeve最终呼吁用户支持，以确保雅达利8位机的未来，相信Diamond可以重振该平台。
最近一篇Hacker News帖子突出显示了对Alan Reeve的采访，他是1990年Atari 8位电脑图形用户界面（GUI）Diamond OS的创建者。讨论的中心是早期计算时代的市场竞争格局——不仅仅是Atari等制造商之间的竞争，还在同一公司不同世代的机器之间（例如Atari ST与8位系列）。
评论员指出Diamond OS与GEOS相似，GEOS是Commodore 64和Apple II的另一个GUI环境，两者都在有限的硬件上拓展了可能性。人们也对Reeve现在在做什么感到好奇，并提到了一个ZX Spectrum程序员后来成为网页开发者的类似案例，说明了早期技术先驱的多样化职业道路。
定义柯拉茨映射 Col 在自然数上，当 n 为奇数时，Col(n) 等于 3n+1，当 n 为偶数时，Col(n) 等于 n/2。臭名昭著的柯拉茨猜想声称，此映射的所有轨道最终都将达到值 1。 这个问题仍然未解决，即使愿意处理“几乎所有”轨道而不是“所有”轨道也是如此。我们证明，几乎所有轨道 n, Col(n), Col2(n), … 最终都将达到小于 f(n) 的值，对于任何趋于无穷大的函数 f（无论其增长速度多么慢）。一个关键步骤是为（加速的）柯拉茨动力学获得一个近似不变（或更准确地说，自相似）的测度。 本视频是高等研究院成员座谈会的一部分。
## Collatz猜想讨论 - Hacker News 摘要
最近 Hacker News 的讨论集中在 Collatz 猜想上，这是一个具有欺骗性的简单数学问题。该猜想指出，从任何自然数开始，重复应用规则（偶数：除以 2，奇数：乘以 3 并加 1）最终会达到 1。
讨论强调了该猜想在简单表述下的惊人复杂性，并将其与动力系统、图灵机和可计算性联系起来。 推荐 Terence Tao 关于该主题的讲座作为背景知识。 参与者争论该猜想是否可以在皮亚诺算术 (PA) 中被证明，一些人认为它可能超出了 PA 的能力，类似于古德斯坦定理。
其他提出的观点包括一个相关的函数 ('Col') 可以用 lambda 演算表示，以及对 Collatz 序列中位数数量的观察。 尽管该猜想尚未被证明，但讨论强调了它持久的魅力以及与更广泛的计算理论的潜在联系。
## Signal 的隐私假象：情况复杂
尽管声誉卓著，Signal 的隐私并非像许多人认为的那么可靠。虽然端到端加密保护了消息*内容*，但 Signal 仍然知道*谁*在与*谁*通信，主要通过使用电话号码作为标识符。
最近推出的“Sealed Sender”（密封发送者）功能旨在解决这个问题，提供单向匿名性——为每条消息隐藏发送者，使其不被 Signal 服务器知晓。然而，这在双向对话中会失效。双方之间的重复消息会暴露出模式，即使没有回复地址，Signal 也能将电话号码关联起来。
重要的是，“Sealed Sender”不会掩盖 IP 地址。Signal 仍然可以通过 IP 追踪消息来源，轻松识别正在进行的对话。自动发送且无法阻止的已送达回执，通过创建双向通信链路，进一步损害了匿名性。
Proton Mail 和 Tutanota 等替代方案为文本提供了更好的隐私，但安全的语音通信仍然是一个挑战。SimpleX 是一个有希望但仍在开发的选项，它避免了要求提供电话号码等识别信息，并优先考虑匿名性，但目前面临可用性挑战。最终，这篇文章强调了在消息应用程序中实现真正隐私的难度以及便利性和功能之间固有的权衡。
## 父亲隐藏的一生 在父亲去世后，作者发现了他不为人知的一面——充满渴望，最终也充满爱的一生。她在传统的华人社区长大，父亲因家庭责任和文化期望而保持着疏离，她一直感到身体和情感上的隔阂。他错过了许多重要的生活时刻，他们之间的联系仅限于一起散步和父亲偶尔的倾诉不幸。 发现的情书揭示了一个秘密：她的父亲深深爱着一个名叫爱德华的男人，他们在多年前相遇。爱德华回忆起一段充满活力和快乐的关系——父亲在另一个城市建立的生活，充满了简单的快乐和对未来的计划。作者震惊于照片中父亲灿烂、焕然一新的模样，与她所认识的那个忧郁的身影截然不同。 在面对这一启示时，她得知父亲知道她是个同性恋，并给予了支持，这是他几十年无法给予自己的善意。他的一生是一种牺牲，是抵御社会评判的盾牌。尽管为他无法活出的生活而悲痛，作者在得知他曾体验过幸福时，感到一种苦乐参半的慰藉，并允许爱德华进行最后的告别，而她的母亲却拒绝了他。这个故事是对隐藏的身份、文化束缚以及晚年找到的爱情的持久力量的深刻探索。
欧洲核子研究中心理事会审议下一代对撞机的可行性研究。
CERN Council reviews feasibility study for a next-generation collider
3 天前
## 未来环形对撞机：可行性已确认 最近的一次欧洲核子研究中心（CERN）理事会会议审议了拟议的未来环形对撞机（FCC）的可行性研究，该对撞机计划在2041年后接替大型强子对撞机。这项研究是一项合作努力，涉及38个国家的1500人，结论是FCC在**技术上是可行的**，没有发现重大障碍。 理事会重申了CERN致力于保持在粒子物理学领域全球领先地位的承诺，强调FCC有潜力解决关于希格斯玻色子的基本问题，并探索标准模型之外的物理学。他们还承认该项目对社会有益的技术进步潜力。 理事会欢迎在资金模式方面取得的进展，同时强调需要进一步研究对区域的影响、环境问题、成本降低以及确保充分的财务承诺。 该研究的结果将为2025年12月欧洲粒子物理战略更新提供建议，预计FCC建设的最终决定将在2028年左右做出。这标志着一个重要的里程碑，但并不能保证该项目的批准。
MCP应用刚刚发布（OpenAI和Anthropic合作），我认为这很重要。
MCP Apps: Extending servers with interactive user interfaces
3 天前
## MCP 应用扩展：为 AI 代理带来交互式用户界面
一项新的提案 (SEP-1865) 旨在标准化模型上下文协议 (MCP) 中的交互式用户界面，以响应 MCP 社区的关键需求。目前，MCP 的通信仅限于文本和结构化数据，当工具需要可视化显示或复杂用户输入时，会产生挑战。该扩展基于 MCP-UI 和 OpenAI Apps SDK 的工作，将允许服务器直接向宿主应用程序交付交互式用户界面。
核心思想是标准化声明 UI 资源（如 HTML 模板）的方式，将它们链接到工具，并使用现有的 MCP JSON-RPC 协议实现双向通信。这避免了由于不一致的实现造成的碎片化，并通过预先声明的资源和 iframe 沙箱提高性能和安全性。
最初的规范侧重于在沙箱化的 iframe 中使用 HTML 内容，以实现广泛的兼容性，并计划以后扩展到其他内容类型。重要的是，它被设计为向后兼容——现有的 MCP 实现将继续工作，并且服务器将提供基于文本的备用方案。
MCP 应用扩展由 OpenAI、Anthropic 和 MCP-UI 社区共同开发，有望为更丰富、更具吸引力的代理应用体验奠定基础。早期访问 SDK 可用，欢迎贡献。
## pgEdge 的 `exec_node()`：简化的分布式数据库管理 pgEdge 是一个分布式 Postgres 系统，专为全球、多主部署而设计。管理这些集群需要执行命令——例如 DDL 语句或管理任务——在*特定*节点上，而标准的复制并不总是能处理这些。为此，创建了 `exec_node()` 函数。 `exec_node()` 允许用户从数据库内部远程执行 SQL 命令，目标可以是单个节点或整个集群。它特别适用于那些设计上不进行复制的操作，例如创建数据库、更改系统设置或管理 Spock（pgEdge 的逻辑复制扩展）。 该函数简化了以前需要手动登录或编写脚本的任务，提供了一种更安全、更可审计且易于自动化的解决方案。示例包括在特定节点上运行维护 (`SELECT exec_node('VACUUM ANALYZE;', 'node1');`) 或在所有节点上设置 GUC 值。 `exec_node()` 无缝集成到现有工作流程中，减少错误并简化 pgEdge 用户的集群管理。它在 GitHub 上可用 ([https://github.com/pgEdge/](https://github.com/pgEdge/))，并显著提高了运营效率。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
简化全集群PostgreSQL执行，使用Exec_node()和Spock OSS (pgedge.com)
10点 由 pgedge_postgres 1天前 | 隐藏 | 过去 | 收藏 | 1评论
SahAssar 1天前 [–]
没有提及事务保证或如何处理部分失败？回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：