每日HackerNews RSS

自然数的幂集格 $\langle\mathcal{P}(\mathbb{N}), \subseteq\rangle$ 是一种包含庞大而复杂结构的分配布尔代数。尽管其本质上是离散的,但该格对于所有可数序集而言是通用的;每一个可数序集,包括有理数线 $\langle\mathbb{Q}, \leq\rangle$,都可以作为子序嵌入其中。令人惊讶的是,这种通用性质延伸到了实数线 $\langle\mathbb{R}, \leq\rangle$,实数线也可以通过补全有理数链的方式嵌入 $\mathcal{P}(\mathbb{N})$。此外,该格还包含不可数反链,由连续统基数个互不相容的集合组成。 该格还展现出惊人的齐次性。任何无穷集下方的区域或任何余有限集上方的区域都与整个格 $\mathcal{P}(\mathbb{N})$ 同构。此外,任意两个无穷且余无穷的集合都通过格自同构相互关联,这意味着它们占据了相同的结构位置。因此,与其通过单个集合的性质来研究,不如将该格作为一个统一的整体来研究。这一探索凸显了隐藏在所有自然数子集结构中令人惊讶且丰富的复杂性。

这篇 Hacker News 帖子讨论了 Joel Hamkins 对自然数集幂集 ($\mathcal{P}(\mathbb{N})$) 的探索。参与者对这一不可数结构的视觉复杂性表示赞叹,并指出尽管它是“最小的”不可数集,但其深度远超可计算或可描述的范围。 讨论的很大一部分集中在 $\mathcal{P}(\mathbb{N})$ 在指称语义学中的应用。用户们解释了 Dana Scott 和 Gordon Plotkin 是如何通过使用整数的幂集来构建 lambda 演算模型,从而解决了“lambda 演算之谜”——即无法找到一个与其自身函数空间同构的集合。他们通过定义一种拓扑结构实现了这一点,使得 $\mathcal{P}(\mathbb{N})$ 上的连续函数能够满足演算的需求。 对话进一步延伸到关于无穷的哲学辩论。评论者探讨了“超有限主义”以及物理存在与数学公理之间的界限,质疑如果无限集合无法在宇宙有限的信息边界内被完全表示,它们是否真正存在。最终,该帖凸显了我们在推理无限结构的能力,与其中大多数元素仍然处于“不可知”或“不可定义”状态这一事实之间的张力。

尽管您拥有 Claude 生成的输出内容,但 Anthropic 禁止在未经书面许可的情况下将其用于训练或开发其他 AI 模型。 此政策旨在维护安全性并防止竞争性损害。由于 Anthropic 的安全协议不会随之转移到使用 Claude 输出训练的模型上,因此第三方开发可能会产生未经审查且具有潜在危害的系统。此外,Anthropic 亦禁止利用其基础设施构建直接竞争产品。 **允许的行为:** 您可以将输出内容用于创建非竞争性工具,例如内容分类器、信息提取系统,或为您的应用程序、工作流程及内部生产力提供支持的功能。 **禁止的行为:** 严禁将输出内容用于训练与 Anthropic 竞争的模型,或协助他人进行此类行为。具体包括:构建旨在进行开放式文本生成的模型、将输出内容作为训练目标,或试图对 Anthropic 的训练方法进行逆向工程。

最近 Hacker News 上的一场讨论凸显了社区对 Anthropic 的强烈抵制,原因在于该公司禁止用户利用 Claude 的输出结果来训练竞争性 AI 模型。 Anthropic 辩称这些限制是出于安全风险、缺乏监管以及保护其基础设施投资的考虑。然而,许多用户认为这些说法是“AI 公司典型的伪善”。批评者指出,AI 公司在构建自身模型时,往往在未经许可的情况下抓取了海量公共数据(包括版权作品和开源项目),而现在却试图对其声称属于用户“所有”的输出结果强制实施专有控制。 这场辩论还涉及了 AI 生成内容的法律模糊性。许多参与者认为,由于这些输出并非由人类创作,它们可能属于公共领域,因此不受限制性服务条款的约束。另一些人则将这种限制视为企业进行“看门人”式管理但无法执行的尝试,并指出一旦数据被发布或传输,原始公司就失去了对其使用方式的实际控制权。总的来说,该讨论反映了人们对当前 AI 商业实践中“只许州官放火,不许百姓点灯”做法的深深不满。

在我们公司,我们曾把大量时间浪费在等待智能体(agent)运行上。我们每天都在使用 Claude Code 进行开发,看着强大的模型被困在极其低效的流程中。因此,Bullet 最初只是一个出于热情的项目:旨在更快地处理简单任务、只读取关键信息、并行运行独立工具,并在循环失控前将其切断。我们目前已在内部使用它,它确实帮我们解决了不少麻烦。我们认为它或许也能为你省去同样的烦恼。

Bullet (YC S26) 是一款全新的编程智能体,旨在解决现有工具的主要痛点:延迟。创始人 Adi 和 Alex 在体验了 Claude Code 和 Codex 等现有智能体显著的运行迟缓后,开发了 Bullet。 团队将 Bullet 的性能归功于五项关键优化: 1. **模型路由**:根据任务复杂度智能选择模型。 2. **针对性搜索**:优先采用高效的“grep 式”搜索,而非昂贵且臃肿的基于嵌入(embedding)的索引。 3. **上下文清理**:通过删除过期数据和限制工具输出来保持上下文窗口的整洁。 4. **高效回合**:利用并行调查和顺序验证来减少往返次数和成本。 5. **速度**:针对低延迟性能进行了深度优化。 在测试中,Bullet 在 SWE-bench Verified 上取得了 95.8% 的成功率,在时间和成本上均优于同类智能体。尽管一些社区成员质疑这些“工具框架”技术的新颖性以及基准测试对比的有效性,但创始人强调,他们的目标是解决他们每天面临的实际问题。该工具目前已通过其网站向用户开放,并正在积极开发 MCP 支持和提升用户隐私等功能。

Nvidia 已悄然将其 RTX Pro 6000 Blackwell 工作站 GPU 在美国市场的售价上调至 16,000 美元。此前该显卡经历了多次小幅涨价,自发布以来价格已近乎翻倍。 该显卡于 2025 年 4 月首次推出时,单价约为 8,565 美元,随后在 2026 年年中大幅上涨 57% 至 13,250 美元。此次 20% 的涨幅使得该产品在不到 18 个月的时间内,累计涨幅已接近 90%。尽管 Nvidia 尚未就价格调整发表官方评论,但此次价格飙升很可能是由于零部件危机加剧以及该显卡所配备的 96GB GDDR7 显存成本高昂所致。 尽管 Nvidia 官方商店已更新定价,但第三方零售商的售价仍不统一。B&H 目前的标价为 15,499 美元,而 Newegg 等部分零售商仍以约 13,998 美元的价格销售。预计随着现有库存的更替,这些第三方平台的售价最终将与 Nvidia 16,000 美元的新基准价看齐。

对不起。

赫尔曼·何乐礼(Herman Hollerith)是一位采矿工程师,他通过使美国人口普查自动化,彻底改变了数据处理方式。虽然他并非穿孔卡的发明者——这一概念曾被约瑟夫·玛丽·雅卡尔用于织布,并被查尔斯·巴贝奇用于计算——但何乐礼是首位将该技术成功应用于大规模数据分析的人。 受自动钢琴机制的启发,何乐礼开发了一套利用穿孔卡来存储和制表信息的系统。在 19 世纪 80 年代不断完善其设计并成功进行死亡率统计试验后,他参加了 1888 年由美国普查局举办的竞争性试验。事实证明,何乐礼的机器远优于竞争对手,其处理数据的速度显著更快,并在准备工作中展现了无与伦比的效率。他在比赛中的决定性胜利不仅为他赢得了 1890 年人口普查的合同,也从根本上改变了信息处理的方式。

抱歉。

请启用 JavaScript 和 Cookie 以继续。

**celld** 通过将状态、部署和运维监管权交还给您的基础设施,重新构思了 Durable Objects 编程模型。该模型在忠实于原有 Durable Objects 设计的同时,通过自托管提供了三大核心优势: * **独立部署:** Cell 的所有权通过您自身存储中的租约(使用比较并交换 CAS)进行管理,这意味着节点故障不会导致“黑盒”式恢复。如果某个节点宕机,另一个节点可以立即获取租约并恢复该 Cell。 * **可控的故障范围:** 通过消除对共享供应商调度程序的依赖,您消除了多租户耦合。应用程序的稳定性仅取决于您选择的基础设施提供商,而非其他客户的工作负载。 * **运维透明化:** 由于状态、日志以及 SQLite/LTX 文件都驻留在您的磁盘上,调试变得更加透明。您可以直接使用 `sqlite3` 和 `grep` 等标准工具检查系统,而无需依赖外部的状态页面。 总之,**celld** 提供了一种利用强大 Durable Objects 原语的方式,同时确保故障域明确、可检查,并完全处于您的运维控制之下。

抱歉。

在物理学中,“三体问题”描述了三个天体之间混乱且不可预测的相互作用。Penpot 团队在将渲染系统迁移到 WebGL 时,也面临着类似的挑战,他们将其称为“三描边问题”。 这种复杂性源于“描边”(边框)的表现会根据其位置(内侧、居中或外侧)及所使用的格式而有所不同。CSS 默认使用内侧描边,而 SVG 默认使用居中对齐,要在不同场景下实现一致的渲染,需要极其复杂的技术处理。 为了在基于 WebGL 的新渲染器中管理这种复杂性,该团队使用了 Skia 2D 库。通过应用特定的几何偏移、裁剪和遮罩,他们能够在复杂的路径上精确控制描边的位置。此外,他们通过顺序绘制的方式,支持在单个形状上叠加多个描边,这与传统上用于实现此类效果的 CSS“变通方法”(如 `box-shadow`)形成了鲜明对比。 最终,迁移到 WebGL 为 Penpot 提供了克服描边渲染“混乱”本质的灵活性,为实现单侧描边和描边转路径等高级设计功能铺平了道路。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 三笔问题 (penpot.app) 29 点,由 elenathor 发布于 21 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 vivzkestrel 11 小时前 | 下一页 [–] - 作为一个专门讨论设计的博客,你们竟然在使用无限滚动?https://penpot.app/blog/page/2/ - 我向下翻了 10 页,想看你们的第 125 篇文章,结果页面误触刷新,砰,我所有的滚动进度全没了? - 难道你们不觉得博客应该使用分页功能,让我可以直接通过输入 URL 跳转到第 N 页吗? - 也许应该知行合一? 回复 rf15 13 小时前 | 上一页 [–] 总结:关于 Penpot 生成 SVG(据我所知甚至不是 SVG 本身)的方式及其在 WebGL 渲染器中如何改进的问题。 此外,文中引用了《三体》并以此为题,试图给文章披上一层其内容本身无法支撑的知识分子外衣。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

🛡️ 正在进行安全检查 我们正在检查您的连接以防止自动化滥用 为什么我会看到这个页面? 遇到问题?请联系支持团队

近期研究已证实,亚洲兰茂牛肝菌(*Lanmaoa asiatica*)与“小人国幻觉”有关,即食用者会产生看到微小人类的视觉体验。在中国部分地区,这类蘑菇常被称为“小人菌”,相关报道屡见不鲜。 Hacker News 上的讨论重点包括: * **共同的神经学基础:** 参与者指出,“小人幻觉”并非该菌种所独有,酒精戒断、痴呆症和黄斑变性等病症中也会出现类似现象。专家认为,这并非蘑菇刻意“针对”人类,而是真菌诱发了脑部状态紊乱,促使大脑利用既有的模式识别机制对幻觉进行了解读。 * **安全与伦理:** 这种“致幻之旅”通常极为强烈且持久(可长达数日),常伴有消化系统不适。许多评论者强调,这些幻觉往往伴随着不适或谵妄,而非“娱乐性”体验。因此,研究人员避免进行自我实验,且由于潜在的精神创伤和未知的生理风险,伦理委员会也很可能会阻止相关的正式研究。 * **文化背景:** 此类经历与全球各地的侏儒、精灵和仙子传说存在关联,引发了关于这些神话是否源于人类历史上精神活性物质接触经历的探讨。

更多

联系我们 contact @ memedata.com