请启用 JavaScript 并关闭所有广告拦截器
每日HackerNews RSS
Meta被判赔偿9.42亿美元，以解决社交媒体对儿童造成的伤害 Meta Ordered to Pay $942M to Address Harm to Kids from Social Media
2 天前
西尔维斯特-盖莱定理指出，对于欧几里得平面内任意一组有限且不共线的点，必然存在一条“普通直线”——即恰好穿过其中两个点的直线。
数学家勒罗伊·米尔顿·凯利通过反证法给出了一个优雅的证明。他考虑了所有由一个点 $P$ 和一条连线 $\ell$（至少包含两个点的直线）组成的点线对，并找出了其中垂直距离最小的一对。
凯利指出，如果这条直线 $\ell$ 包含两个以上的点，通过几何作图，可以构造出一个距离更小的点线对。他利用点到直线的投影以及相似三角形的性质，证明了必然存在距离更近的一对，这与最初关于最小距离的假设相矛盾。因此，直线 $\ell$ 必须恰好包含两个点，从而证明了该定理。
西尔维斯特-加莱定理指出，对于欧几里得平面上的任意有限点集，要么所有点都在同一条直线上，要么必然存在至少一条直线，恰好通过其中两个点。
在 Hacker News 上，许多用户起初难以理解该定理的重要性，往往将其视为同义反复。他们经常混淆了前提条件——即并非*所有*点都在同一条直线上——与“没有三个点可以共线”这一错误假设。
随后的讨论澄清了该定理并非显而易见，因为它证明了无论点的排列多么复杂（即使存在许多由三个或更多共线点组成的子集），人们都无法构建出这样一种结构：即连接任意两点的每一条直线都必然通过第三个点。如果这种结构可能存在，那么所有点必然会共线。该定理本质上保证了至少存在一条仅包含两个点的“孤立”直线，这一事实并非不言自明，需要严谨的证明而非仅仅依靠视觉直觉。
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防护机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
抱歉。
宾夕法尼亚大学亨利·丹尼尔（Henry Daniell）领导的研究团队开发出一种生物工程口香糖，可作为对抗头颈部鳞状细胞癌（HNSCC）的新型工具。该研究已发表在《科学报告》（Scientific Reports）上，表明这种口香糖能有效针对与癌症进展相关的特定微生物。 该口香糖利用了含有 FRIL 的扁豆提取物。FRIL 是一种抗病毒蛋白，可将患者唾液和口腔冲洗样本中的 HPV 水平降低多达 93%。此外，研究人员还在口香糖中加入了蛋白质聚精（protegrin），这是一种抗菌肽，能在保护口腔有益菌群的同时，成功消除有害细菌，特别是牙龈卟啉单胞菌（Porphyromonas gingivalis）和具核梭杆菌（Fusobacterium nucleatum）。 与可能破坏口腔健康环境并诱发继发感染的传统放射疗法不同，这种靶向方法为管理癌症相关病原体提供了一种有前景的非侵入性手段。研究团队设想将这种口香糖作为一种经济且易获取的辅助疗法，以支持当前的癌症治疗，或作为预防感染和传播的预防性措施。目前，团队正着手准备临床试验，以进一步验证这些研究结果。
近期 Hacker News 上的一场讨论关注了生物工程口香糖的研究，这种口香糖取材于扁豆（lablab beans），作为一种抗病毒制剂，具有捕获 SARS-CoV-2 和流感病毒等病原体的潜力。
讨论延伸到了几个相关话题：
* **口腔健康与木糖醇：** 用户探讨了木糖醇口香糖在抑制致龋菌方面已被证实的好处。虽然木糖醇通常安全有效，但也有人指出过量摄入会导致消化问题或心血管方面的担忧，且对宠物具有剧毒。
* **对替代医学的质疑：** 参与者驳斥了关于“药用蘑菇”可清除 HPV 的说法，指出其缺乏可靠证据，且作者的专业背景存疑。
* **颌骨形态：** 讨论中还涉及了使用“乳香”口香糖改善面部结构的旁支话题，触及了有关饮食和正畸的有争议理论。
* **微塑料：** 有人提出质疑，认为咀嚼任何口香糖（无论天然还是合成）是否都会导致微塑料摄入。
总体而言，虽然药用口香糖的前景在科学上令人感兴趣，但用户强调，在将其视为可行的医疗手段之前，必须进行严谨且可重复的临床试验。
这篇 Hacker News 的讨论强调了“USB-C”这一标签所带来的困扰。该名称仅指代物理接口，而非特定的性能表现。由于 USB-C 支持极其广泛的速率（从 480Mbps 到 120Gbps）、功率（最高 240W）以及 Thunderbolt 和 DisplayPort 等协议，用户往往难以分辨某根线缆具体具备哪些功能。
讨论中出现了几种相互对立的观点：
* **“设计失败”论：** 批评者认为，外观相同但功能迥异的线缆导致了“抽象泄露”并造成消费者困惑，建议强制实施明确的标签或物理颜色编码。
* **“兼容性”论：** 该标准的支持者认为，采用单一接口类型总体上是有益的，它提供了一种“万金油”体验，即任何线缆至少都能为设备充电，即便传输速度会受限。
* **实用解决方案：** 许多用户建议丢弃“来路不明”的线缆，转而购买高质量、知名品牌或经认证的产品。其他人则使用廉价的 USB 测试仪来识别线缆性能，但也有人指出，验证真实的带宽需要专业级设备，因此消费者层面的测试仅限于查看电子标签（e-marker）信息。
总而言之，尽管许多人渴望改进标签规范，但技术限制和市场碎片化使得统一、可靠且易于识别的标准难以强制执行。
今天，我们迎来第 47 个加入 Have I Been Pwned 免费政府服务项目的政府：尼泊尔。其国家网络安全中心（NCSC）现已能够监测尼泊尔政府域名在 HIBP 中的数据情况。这使 NCSC 有能力识别政府邮箱地址的泄露情况，并在这些账户出现在新的数据泄露事件时迅速做出响应。 这正是 HIBP 政府服务的初衷：通过提供政府域空间内受损凭据和泄露账户的可见性，帮助国家级网络安全团队加强威胁监测和事件响应能力。 尼泊尔加入了一个不断壮大的政府与国家网络安全团队列表，他们正在利用 HIBP 来更好地了解自身的风险敞口，保护政府部门和公共资源，并在攻击者利用这些漏洞之前降低受损凭据带来的风险。
这篇 Hacker News 讨论帖围绕 Troy Hunt 最近发布的一篇关于尼泊尔政府与“我被入侵了吗？”（Have I Been Pwned，简称 HIBP）合作的文章展开。
评论者的反应褒贬不一：
* **政府安全：** 用户指出尼泊尔政府的 IT 服务常有严重的安全漏洞，如缺乏输入过滤以及潜在的腐败问题。因此，一些人希望 HIBP 的介入能推动必要的改革。
* **关于“欢迎”的争议：** 许多参与者认为标题具有误导性，最初将其误读为数据泄露的消息。关于“欢迎”一词的讨论引发了争议：HIBP 究竟是一项有益的公共服务，还是一个通过泄露的个人数据获利的商业企业？
* **对 Cloudflare 的不满：** 讨论的很大一部分转向了对 Cloudflare “过度激进”的机器人防护机制的普遍不满。用户称该机制经常将合法访问者拒之门外，阻碍了互联网的可访问性。
* **怀疑态度：** 讨论中普遍存在争议，即政府运营此类服务是否值得信赖；许多人对潜在的国家监控风险或政府的无能表示担忧。
《宝可梦 绿宝石》已成功移植，可在 6 美元的 WeAct Studio Core2350B 微控制器（RP2350B）上原生运行。与模拟器不同，本项目通过将 *pokeemerald* 反编译代码重新编译至 ARM Cortex-M33 架构，实现了 60 FPS 的稳定帧率。 该系统充分利用了 RP2350 的两个核心：核心 0 处理游戏逻辑，核心 1 运行基于软件的 PPU 光栅化器。图形通过芯片的 HSTX 外设经由 HDMI 输出，该外设可独立处理显示扫描，从而确保画面无撕裂。游戏直接从 16MB 的 QSPI 闪存中运行，存档数据可在重启后保留。 虽然游戏可以从头到尾完整游玩，但仍有一些功能受限： * **音频：** 音乐引擎功能正常，但部分乐器类目前尚未实现。 * **连接性：** 通信线和无线适配器功能（交换/对战）尚未实现。 * **实时时钟（RTC）：** 不支持实时时钟，影响浆果生长等基于时间的游戏事件。 本项目基于 *pokeemerald-wasm* 移植版开发，通过针对基于浏览器的参考版本进行自动化测试，保持了字节级的 PPU 精度。这是一项针对硬件进行深度优化的工程壮举，证明了现代低成本微控制器完全有能力原生运行复杂的经典游戏。
Hacker News 上的一篇帖子正在讨论一个最近的项目，该项目将《宝可梦：绿宝石》移植到了 Raspberry Pi Pico 2 (RP2350) 上。通过将代码从 ARMv4T 重新编译为 Cortex-M33，并利用设备的第二个核心以软件方式实现 GBA 的视频硬件，该项目实现了 60 FPS 的 HDMI 输出。
然而，讨论很快演变成关于软件开发中使用 AI 的两极分化争论。许多评论者批评该项目的 README 和代码库带有“AI 生成感”（vibecoded）——这是一个用来形容未经深度人工干预、由大语言模型生成的代码的术语。批评者认为此类项目缺乏技术真实性，并在公共代码库中充斥着“垃圾内容”；而支持者则为这种探索新工具的行为辩护，认为这是一种有效的学习尝试。其他引起关注的技术点还包括对代码库中包含受版权保护素材的担忧、潜在的硬件限制，以及关于优化 HDMI 音频性能的建议。
深入 vLLM：高吞吐量大语言模型推理系统剖析（2025） Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025)
2 天前
这篇文章以 **vLLM** 为核心案例，对现代高吞吐量大模型（LLM）推理系统进行了全面综述。文章采用倒金字塔结构，从基础引擎组件出发，逐步扩展至分布式生产环境。
**涵盖的关键概念包括：**
* **引擎核心：** vLLM 的基础，通过连续批处理（Continuous Batching）和 **PagedAttention** 技术优化 KV 缓存内存管理，从而提升吞吐量。
* **高级功能：** 包括 **分块预填充（Chunked Prefill）**（用于处理长上下文）、**前缀缓存（Prefix Caching）**（复用已计算的 KV 块）、**引导解码（Guided Decoding）**（利用语法约束）以及 **投机解码（Speculative Decoding）**（使用小模型加速生成）。
* **扩展性：** 探讨 **MultiProcExecutor** 如何在多个 GPU 上实现张量并行和流水线并行，以及数据并行（DP）如何支持分布式多节点推理。
* **服务架构：** 分析通过 ZMQ 和 DP 协调器连接 API 服务器与引擎后端的异步负载均衡架构。
* **性能指标：** 探讨首字延迟（TTFT）和每输出 Token 延迟（TPOT）等指标定义的延迟与吞吐量权衡，以及如何利用屋顶线模型（Roofline Modeling）优化系统。
本系列文章提供了一份技术路线图，旨在解析最先进的推理引擎如何将复杂的硬件资源转化为简单、可扩展的 Web API。
这次 Hacker News 讨论聚焦于 2025 年对 vLLM（一款高吞吐量大语言模型推理引擎）的技术深度解析。尽管 vLLM 以“PagedAttention”闻名，但评论者强调，其真正的性能优势在于连续批处理、高效的 KV 缓存，以及 Web 进程与 GPU 进程之间稳健的架构分离。
对于那些希望在庞大复杂的代码库之外理解 vLLM 内部运作机制的人，社区推荐了两个教学资源：
* **nano-vllm**：一个 5,000 行的 Python 实现，去除了抽象层，展示了引擎的核心机制。
* **tiny-vllm**：一个基于 C++/CUDA 的资源，因其出色的文档而备受赞誉，常用于学术环境。
该讨论帖还涉及了从零开始构建此类系统的实际挑战，指出即使有 AI 辅助编程，重构和“清理”生成的代码仍然是一个耗时的过程。开发者们正积极尝试这些架构，通过量化和专家模型交换技术，针对 Mac Mini 和消费级 GPU 等小型硬件进行性能优化。
面向状态的一致性：为何我们不再寻求唯一的标准答案 State-oriented consistency: Why we stopped looking for one right answer
2 天前
作者指出了分布式系统中一个常见的架构陷阱，即“统一一致性”（Uniform Consistency）——即默认对整个系统应用单一一致性模型的错误做法。他们在构建集群消息代理时的亲身经历，因系统试图将整个集群的状态复制到每一个节点上，最终导致了内存溢出（OOM）危机。 团队意识到，错误的并非算法本身，而是他们最初提出的问题：“集群应该使用哪种一致性模型？”相反，正确的方法是“面向状态的一致性”（State-Oriented Consistency）：即评估每一项状态，以确定其具体需求。 通过对状态进行分类——例如区分实时连接的所有权（需要协调者）和持久化消息存储（需要高持久性）——团队能够为每一类状态匹配满足其特定需求的最弱、最高效的机制。这种从全局一致性到特定状态保障的转变，简化了架构，降低了内存开销，并确保了每个组件仅执行其角色所必需的工作。核心启示在于：分布式系统架构应由各项状态固有的语义驱动，而非由“一刀切”的一致性要求所决定。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 始终致力于这些价值观，并仅与遵循这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区增值的项目？了解更多关于 arXivLabs 的信息。
```Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
通过剪枝和记忆化实现 miniKanren 的自底向上枚举 (arxiv.org)
由 Jimmc414 在 1 天前发布 | 24 点 | 隐藏 | 往期 | 收藏 | 1 条评论 | 帮助
ashton314 1 天前 [-]
喔，我喜欢任何与 miniKanren 相关的东西。我仔细研读了原始 miniKanren 论文中的实现；你可以在这里看到我的文章和实现：https://codeberg.org/ashton314/microKanren
miniKanren 论文：http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
同样相关——一个 miniKanren 的实际用例：https://aphyr.com/posts/354-unifying-the-technical-interview
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索： ```