启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
## Tis-schema：一种为LLM设计的轻量级JSON Schema库
一个名为**tis-schema**的新库已发布，作为定义JSON Schema的轻量级替代方案，特别是用于大型语言模型（LLM）。其创建者在发现Zod对于LLM响应格式过于繁琐，以及需要一个数据结构的单一真理来源后构建了它。
主要区别包括**tis-schema默认生成严格的Schema**，这与Zod需要手动配置形成对比。讨论围绕这些说法是否准确，一些用户对Zod的验证错误和Schema生成方面的批评提出异议。
该库通过检查受限样本（最多100个项目）的数据，实现**O(1)性能**，无论整体大小如何。关于这是否真的是O(1)，基于百分比抽样，也存在争论。
对话涉及Typebox和Standard Schema等替代方案，以及考虑XML作为传输格式的建议，但主流观点是JSON和JSON Schema已被广泛采用，并得到LLM提供商和现有工具的良好支持。最终，重点是为LLM和开发人员提供清晰、人类可读的Schema。
## 亲吻的进化史 一项新研究表明，亲吻并非人类独有——它是一种具有深厚进化根源的行为。研究人员将亲吻定义为非攻击性的口对口接触，伴随嘴唇运动且*不*涉及食物交换，并将它的起源追溯到2100万年前，追溯到人类和大型猿类的共同祖先。 在包括黑猩猩、倭黑猩猩、狼、草原犬鼠、北极熊甚至信天翁等不同物种中发现了亲吻的证据。有趣的是，该研究提出尼安德特人可能也亲吻，他们的DNA中与现代人共享口腔微生物，表明长期存在唾液交换。 虽然*为什么*仍然是个谜，但理论认为亲吻可能起源于梳理行为，或者是一种评估伴侣健康和相容性的方式。研究人员强调，研究这种行为的重要性超越了它的浪漫联想，认识到它与我们的动物亲属共享的特征。
## 初吻：2100万年的历史 - Hacker News 讨论摘要
最近一篇BBC关于接吻历史的文章，追溯到2100万年前，在Hacker News上引发了热烈讨论。核心争论在于接吻是与生俱来的进化行为，还是文化习得的行为。
许多评论者认为接吻起源于父母的行为，例如为后代咀嚼食物，或婴儿吸吮父母的最初连接——将其与原始需求和通过富含神经的区域（如嘴唇）进行情感联结联系起来。另一些人指出，在动物中观察到类似的“接吻”行为，甚至包括小牛，这支持了其生物学基础。
然而，反驳观点强调接吻的文化多样性，并认为它仅仅是一种文化定义的亲密信号，与其他表达爱意的方式类似。一些人对将*一切*归因于进化起源表示怀疑。讨论还涉及神经末梢在接吻愉悦感中的潜在作用，以及人类与狗之间独特的联系，在后者中，“接吻”对动物来说具有不同的、操纵性的目的。最终，接吻的起源仍然有待解释。
🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…
## 火星冰层探索讨论 - 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
2 天前
## 未来环形对撞机：可行性已确认 最近的一次欧洲核子研究中心（CERN）理事会会议审议了拟议的未来环形对撞机（FCC）的可行性研究，该对撞机计划在2041年后接替大型强子对撞机。这项研究是一项合作努力，涉及38个国家的1500人，结论是FCC在**技术上是可行的**，没有发现重大障碍。 理事会重申了CERN致力于保持在粒子物理学领域全球领先地位的承诺，强调FCC有潜力解决关于希格斯玻色子的基本问题，并探索标准模型之外的物理学。他们还承认该项目对社会有益的技术进步潜力。 理事会欢迎在资金模式方面取得的进展，同时强调需要进一步研究对区域的影响、环境问题、成本降低以及确保充分的财务承诺。 该研究的结果将为2025年12月欧洲粒子物理战略更新提供建议，预计FCC建设的最终决定将在2028年左右做出。这标志着一个重要的里程碑，但并不能保证该项目的批准。