大多数编译器都会硬编码一套成本模型。Vx 会读取该模型。机器文件描述真实器件的内存层级和互连结构，编译器据此决定是否接受相应的放置。单位采用精确的整数转换，绝不使用浮点数：SI 前缀使用十进制（GB = 10⁹），IEC 前缀使用二进制（GiB = 2³⁰）。从厂商资料表复制而来的数值，应保持资料表原本的含义。仓库提供 H100、H200、B200、A100、MI300X、Apple M4 以及多 GPU 节点的机器文件——每个文件都注明来源，并将未经验证的数值标记为未验证。 ```text 内存 HBM { 容量: 80 GiB, 带宽: 3.35 TB/s, 管理方式: 显式, 作用域: 设备 } 内存 L2 { 位于: 内存::HBM, 容量: 50 MiB, 带宽: 12 TB/s, 管理方式: 缓存 } 内存 SMEM { 位于: 内存::L2, 容量: 228 KiB, 带宽: 128 B/cyc, 时钟: 1.98 GHz, 副本数: 132, 粒度: 1 KiB, 作用域: sm } 拓扑 设备 { 架构: nvptx64, 内存: 内存::HBM, 传输 内存::CPU_DRAM -> 内存::HBM : 63 GB/s } ```
每日HackerNews RSS
Hacker News 上的一篇讨论帖探讨了 **Vx**，这是一种用于在 CPU、GPU、NPU 及其他异构硬件上编写高性能、可靠代码的语言。它的核心理念包括：在类型系统中表示内存放置位置和硬件拓扑；使用机器描述文件验证数据放置位置；以及通过 LLVM/MLIR 针对特定硬件配置编译程序。
支持者称赞 Vx 聚焦于特定范围——专注于优化已有工作负载，而不是试图满足所有使用场景——并将其视为系统编程领域一个自洽的替代方案。质疑者则质疑是否真的需要一门新语言。他们指出，Vx 与 Rust、Mojo 和其他系统语言存在相似之处，同时担忧其复杂性、有限的硬件支持、不清晰的文档，以及由 AI 生成的名称或网站。
更广泛的争论涉及静态分析：重要不变量究竟应该通过高级类型系统和编译器来保障，还是通过独立的分析工具来检查。参与者还讨论了健全性、FFI 边界、工具支持，以及编译器集成验证的实际优势。
请启用 JavaScript 和 Cookie 以继续。
Pop!_OS 禁止使用 AI 生成代码的举措引发了一场两极分化的讨论，焦点涉及代码质量、维护者的工作承受力以及开源项目政策。
据报道，该项目收到了许多由 AI 辅助完成的贡献，但这些贡献往往规划不周、未正确理解软件架构，并给代码审查和后续清理带来了额外工作。
许多开发者表示，当前 AI 模型可以显著加快编码、调试、测试、逆向工程和安全研究的效率。当人类负责确定架构、将任务拆分为小任务、审查每一项改动并确保其符合项目规范时，AI 能够取得良好的效果。然而，无人监督的“凭感觉编程”往往会带来重复实现、过多分支、技术债务和持续不断的返工。
另一些人认为，AI 生成的贡献应当与其他贡献一视同仁，或者只作为问题报告提交，而不是直接作为拉取请求。几名开发者表示，他们会让 AI 辅助完成的修复接受人工审核或由人工重写，但并不认同全面禁令。讨论还提到，严格政策可能会打击贡献者的积极性、促使用户转向项目的分支版本，并限制自动化安全响应；反对全面禁令的人则指出，即使 AI 编写的补丁被拒绝，有价值的问题报告仍然值得欢迎。
```Pi Pod 即将推出，是一款面向 pi 的开源工作站。它在保留用户现有 pi 运行框架的同时，提供简单、隔离的智能体软件开发环境。该项目旨在提供智能体沙箱、原生客户端、基于角色的访问控制和会话共享，以及浏览器和原生应用自动化功能，同时避免不必要的复杂性和供应商锁定。 托管服务尚未上线。计划中的 v1 定价包括：Standard 版提供 7 天试用，需绑定信用卡，可使用 10 个活跃小时；除非取消，试用结束后收费标准为 20 美元/月。Pro 版收费标准为 50 美元/月。 自托管版本已在 GitHub 上提供，适合重视隐私、所有权和自定义能力，并希望将服务部署到自有数据中心的个人和企业。项目欢迎反馈与协作。```
Pi Pod 是一个自托管平台，用于在用户控制的基础设施上，以隔离容器运行 Pi 编程代理会话。它的主要优势包括灵活的提供商选择、在组织、用户和项目级别采用标准化配置、可组合的环境、原生移动应用，以及在本地渲染的响应式终端界面（TUI）。
《黑客新闻》的讨论主要聚焦于安全性。作者说明，每个会话都运行在用户虚拟机内的容器中，但评论者警告称，容器并不是运行敌意代码的可靠安全边界，并建议使用 Firecracker、Kata Containers 或 SmolVM 等轻量级虚拟机。关于不同 Pod 之间的网络隔离问题，讨论中基本没有得到解答。
参与者还质疑，与 systemd 沙箱、LXC、Proxmox 虚拟机或简单的 Docker 部署相比，这种额外复杂性是否值得。提到的替代方案包括 kagent、OpenShell、Omnigent、Abyss、VibePod 和 Tarvis。总体而言，对于希望共享且可移植的代理基础设施，同时重视隐私的团队，Pi Pod 很有吸引力，前提是它的隔离能力符合其威胁模型。
庆祝一颗在他十几岁时获赠的肾脏迎来100岁生日 Celebrating the 100th birthday of the kidney donated to him as a teenager
2 天前
客户端验证：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。
网站所需的部分内容无法加载。这可能是由于浏览器扩展程序、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器，或尝试使用其他浏览器。
一场 Hacker News（黑客新闻）上的讨论讲述了一起非凡的肾脏移植案例：一位母亲大约在 48 年前将肾脏捐给了十几岁的儿子，如今这颗肾脏已经“100 岁”。recipient 现年 64 岁，身体依然健康，每年只需检查一次。医生表示，这颗肾脏可能会陪伴他一生。评论区强调，移植肾脏的通常寿命为 15 至 20 年，因此这个案例十分罕见。
讨论还探讨了器官是否会获得与接受者相同的生物学年龄、年轻血液能否让衰老组织恢复活力，以及反复移植能否延长器官寿命。免疫兼容性、慢性排斥反应和抗排斥药物等医疗问题，使这些想法充满不确定性。一位捐献者也分享称，他在 2000 年将肾脏捐给父亲后，为父亲延长了 23 年寿命，这与良好的 HLA 匹配有关。
其中也有一些感人的细节，例如接受者曾与母亲一起参加 Genesis 乐队的演唱会，并保留着门票存根。此外，帖子中还有一些无关的旁支讨论，涉及“Webster man”、弗拉基米尔·普京和包皮环切。
区域
01
燃料耗尽
物质
0
洞
0
？
地图
开始
撤销
重置
洞击
0426号单元 · Mk II
对接已确认
重玩
下一区域
区域索引
我放弃
关闭
操作说明
明白了
旋转设备
此控制台需横屏操作。
Hacker News 用户普遍称赞了 **Hole Punch**：这是一款浏览器游戏，玩家可以利用类弹弓的操作，让航天器围绕可移动的黑洞飞行许多人认为它意外地上瘾，桌面端完成度很高，适合休闲玩家或儿童游玩。游戏包含 20 个难度逐渐增加关卡，核心机制是引力助推和质量限制。
最主要的批评集中在移动端体验上：触控操作不精确，容易误创建黑洞，Safari 和 Android 上的交互会出错，浏览器缩放也有问题，并且存在屏幕方向识别的漏洞。创作者随后发布了更新，增加了更清晰的操作提示，让用户可以添加、移除或删除黑洞质量，同时改进了触控和全屏体验。
其他建议包括提高模拟速度、允许无限次预览飞行轨迹、提供可选教程、加入排行榜，以及在黑洞无法移动时提供更明确的反馈 Some commenters 将它与旧版 Flash 游戏、《The Long Journey Home》以及其他类似的人工智能生成实验进行了比较，由此引发了更广泛的讨论：大语言模型是否会不断收敛于可预测的创意和视觉风格。
```该文档片段是从剑桥大学出版社截断的 PDF 1.3 文档，于 2026 年 10 月 3 日从 Cambridge Core 下载。它包含分发声明、页面树元数据、字体/过程资源以及多个链接注释。该文件不完整，除访问声明外，不包含可阅读的实质性文档文本。```
一场关于 Hacker News（HN）的讨论探讨了 ADHD、自闭症与复杂性创伤之间的重叠。讨论的核心结论并不是这些状况可以互相替代，而是神经多样性与虐待经历可能以双向方式相互影响。
遗传易感性会影响 ADHD 和自闭症；这些特征也可能使儿童更容易受到批评、控制或虐待，从而增加患 PTSD 的风险。反过来，长期创伤也可能导致过度警觉、情绪失调和执行功能障碍，这些表现与神经多样性特征相似。
许多评论者表示，确诊带来了 relief，因为它重新定义了长期以来的自我责备；但也有人觉得诊断并没有带来太大改变。父母们描述了被压抑、羞耻和附条件的爱，同时也指出，即使一个人能够调节自己、具备心理韧性，伤害仍可能留下持久影响。人们的经历差异很大，而轶事也被批评为不足以支持因果推断。
参与者赞成谨慎评估童年经历、收集旁证、寻求第二意见以及实施个体化治疗。明确、具体且有责任人监督的计划，可能比泛泛地探索创伤更能帮助改善日常功能；药物和便利措施也能帮助一部分人。该讨论提醒人们，不要假设创伤可以解释所有 ADHD 症状，也不要否定诊断或宣扬缺乏充分证据的理论；遗传、环境和治疗反应都可能产生影响。
正在执行安全验证
本网站使用安全服务防止恶意机器人访问。在网站验证您不是机器人期间，会显示此页面。
请启用 JavaScript 和 Cookie 以继续。
访问网站时遇到问题？
需要帮助？
请求的主机：
::HOST::
Ray ID：
a44e0780ca117e2e-SIN
客户端 IP：
47.245.80.60
提交支持工单
提交支持工单时，请包含以下信息，以便我们快速定位触发验证的请求。
Hacker News 上的一则讨论探讨了 MPEG-2 传输流（MPEG-TS）尽管年代久远，却仍然重要的原因。评论者回忆说，他们当年主要通过阅读纸质规范和实践指导来学习，并强调标准在系统集成中的价值。一名开发者提到，他曾编写 Perl 和二进制正则表达式工具，修正本地化 16:9 广告的宽高比元数据；同时还指出 MPEG-2 编码器普遍不符合规范，而现代 FFmpeg 已经能够处理这些问题。
其他人则质疑 MPEG-TS 的额外开销，但认为向后兼容往往比效率更重要。一个当代应用案例是 CarPlay 视频：AVCC 流需要重新封装为 MPEG-TS；当 Apple 停止发送内容未发生变化的画面时，一些解码器会失去同步。讨论中还夹杂了一些无关闲聊，以及提醒参与者遵守 Hacker News 指南的内容。
（内容为无法直接翻译的 PDF 二进制数据。）
Hacker News 的一篇帖子分享了 Aleph Alpha 的 Kolibri 技术报告。Kolibri 是一种英德双语混合专家 Transformer，总参数量为 78.1B，每个 token 激活 3.46B 参数，并依据 Apache 2.0 许可证发布。它专为满足主权要求的专用部署而设计，尤其适用于德语场景以及公共行政、工业和航空航天等受监管领域，并支持对数据、架构、训练基础设施、后训练和评估进行控制。
该帖子最初被标记为此前一篇 Kolibri 讨论的重复内容。提交者认为，这份 PDF 对模型训练和基础设施提供了独特且全面的说明。版主解释说，判断是否为重复内容，取决于该提交能否引发实质上不同的讨论，而不是取决于 URL 是否不同。随后，版主合并了这两个讨论，并将该报告添加到了原讨论中。
Eventmaxxer 是一个由智能体驱动的活动发现与报名系统。用户只需向智能体提供目标、兴趣、所在地区、日期、可参加人数以及偏好的网站，它就会搜索聚会、会议、研讨会、晚宴、黑客松及其他活动，评估匹配程度和报名资格，并自动报名符合条件的免费活动。
可复用的个人资料会保存已确认的信息，而每场活动campaign都维护独立的跟踪记录。结果可同步到 Google Sheets 或 CSV，包括活动详情、报名状态、参会决定和备注。智能体可以优先推荐适合结识目标人士的活动，解释推荐原因，并根据用户反馈不断优化，但不会使用经过训练的机器学习排序模型。
系统会对报名申请进行去重和预留，以减少重复申请，并分别跟踪待处理、候补和已录取的结果。可选的定时调度功能支持在触发访问频率限制后自动恢复运行，并使用本地 Python 执行器。状态数据保存在 `~/.local/share/eventmaxxer/` 下。部分网站仍可能要求登录、补充缺失信息或手动完成操作。测试使用临时状态和模拟智能体，因此不会提交真实报名申请。
一篇 Hacker News 帖子介绍了 **EventMaxxer**：这是一款 GitHub 工具，利用 ChatGPT 控制 Chrome，自动发现符合条件的活动，并批量提交出席确认或申请。该工具遭到强烈批评，被认为它不是在帮助用户认真判断是否参加活动，而是在自动化制造垃圾信息。
评论者认为，如果广泛使用，这类工具会给活动主办方带来大量无关申请，浪费报名名额，增加餐饮和容量规划的难度，并进一步推高缺席率。有人建议采用可退押金、预先收费、更严格的审核条件或其他应对措施。少数人认为，它在改善活动发现方面可能有一定价值，尤其是在活动很快报满的情况下；但他们仍然反对用户尚未评估具体选项，就让工具自动提交申请。
另一个讨论帖批评了 AI 生成的“垃圾内容”，认为不可靠的代码和无人负责的输出会侵蚀信任、给机构造成负担，并可能削弱用户自己的能力。总体而言，讨论强调的是：当个人便利被不受限制地规模化时，自动化会对共享系统造成更广泛的伤害。
这段文字考察了洞是否属于真实存在的实体。尽管人们会像对待物质对象一样感知、计数和追踪洞，但洞似乎是非物质的，位于空间中，能够被 individuate（个体化），其存在独立于所依附的物体或其中所含的东西，并且可以发生变化。这给感知的因果理论、同一性、部分—整体理论（mereology）、解释力以及图形—背景知觉带来了难题。例如，在两个物体上打出的洞，可能算作两个洞，也可能算作一个不连通的洞；此外，如果可见区域归属于背景，那么洞的形状也就不明确。 关于洞的本体论方案包括：否认洞存在，而用“被穿孔的物体”来改述有关洞的说法；把洞等同于时空中的某些区域或带有相应限定的时空部分；把洞视为宿主物体的物质内衬或否定性部分；把洞看作依赖宿主而存在的、类似结或褶皱的“扰动”；也可以把洞理解为属性、缺失、否定事实或关系实体。若按表面意义承认洞的存在，就必须承认洞不能单独存在，在被填满后仍可能继续存在，与洞中物共享同一位置，具有部分，并且涵盖空窝、洞穴和隧道。最佳解释取决于更广泛的形而上学承诺，包括空间与时空的本质。
一则 Hacker News 讨论串探讨了《洞：1996—2025》。这是一篇斯坦福大学哲学文章，探索“洞”究竟是什么。文章认为，洞依赖于周围的物体而存在；洞可以被填满，但被填满后未必就不存在；洞还可以与填入其中的物体共享空间。
文章的观点引发了人们对语言如何划分“缺失”和物理特征的思考。评论者指出，英语中通常使用“hole”这个总称，而葡萄牙语则会进行区分，例如用 *buraco* 表示凹陷或空腔，用 *furo* 表示贯穿开口；葡萄牙语也会用不同的词指代不同类型的凸起。
其他评论还提到工程、半导体，并开玩笑说每个人都是一个甜甜圈。该链接获得了 60 分和 12 条评论。