像 Pi 这样的编码代理（Coding agents）具有有限的上下文窗口，随着对话和工具调用的积累，窗口会逐渐被填满。一旦达到上限，模型将无法再处理请求。为了解决这个问题，Pi 使用了“压缩”（compaction）机制：通过总结对话历史中较早的部分来释放空间，同时保留关键的上下文信息。 当上下文接近上限时，系统会自动触发压缩，或者用户也可以通过 `/compact` 命令手动触发。Pi 会创建一个独立的 LLM 请求，由一个“总结助手”角色生成一份包含目标、进展和关键决策的结构化简报。这份摘要将取代原始的旧历史记录，确保会话在不丢失过往工作记录的情况下继续进行。 虽然压缩能有效管理内存，但它会暂时中断“提示词缓存”（prompt caching），因为这改变了对话的前缀。不过，一旦摘要集成完毕，模型在后续消息中将继续受益于缓存的提示词。由于 Pi 具有可扩展性，用户甚至可以通过调整总结提示词来自定义压缩过程。总之，压缩就像是一场“换班”简报，使开发者能够在 LLM 固有的内存限制下维持长期的编码会话。
每日HackerNews RSS
抱歉。
联合国大学（UNU-INWEH）的一份新报告指出，人工智能对环境的影响被系统性地误读了。当前的讨论仅狭隘地聚焦于模型训练产生的碳排放，却忽视了电力生产和基础设施建设所带来的巨大水资源和土地足迹。关键在于，这些足迹往往存在冲突：“低碳”能源往往需要消耗更多的水资源或土地。 研究表明，人工智能 80% 至 90% 的能耗源于“推理”——即已部署模型的持续运行，而非最初的训练过程。随着人工智能任务从简单的文本查询演变为图像和视频生成，能源需求呈指数级增长。此外，“反弹效应”意味着效率提升带来的节能效果很快会被全球范围内激增的使用量所抵消。 这种增长造成了严峻的局部压力，数据中心往往耗尽脆弱地区的水电储备，而收益却流向了其他地方。由于算力集中在少数两个国家，该报告强调了深刻的数字鸿沟和环境不公正问题。报告结论认为，可持续性要求我们在碳排放指标之外，还应纳入标准化报告、需求侧监管以及全生命周期治理，从而确保人工智能的发展不会以牺牲全球生态健康或公平获取资源为代价。
抱歉。
《偶像麻将：最终浪漫》（*Idol Mahjong Final Romance*）于 1991 年发行，是 Video System 工作室在街机平台上的一款重量级作品；该工作室更为人熟知的作品是《音速战机》（*Aero Fighters*）。与同期竞品不同，该游戏更侧重于麻将玩法而非繁杂的剧情，玩家必须按固定顺序击败八名对手才能通关。
其硬件架构采用双 Z80 CPU 和 Video System 独有的 8x4 瓦片映射系统，从而呈现出一种独特的幻灯片式视觉风格。尽管音频电路存在持续的、非预期的蜂鸣声，但这种声音反而增添了游戏独特的复古“夜店”氛围。值得一提的是，该游戏的角色视觉素材采用了转描摄影技术，这种风格在续作《最终浪漫 2》中被抛弃，转而采用动画风格的绘图。
虽然该系列后续作品曾移植到家用机平台，甚至支持街机双人对战，但初代作品在现代重制版中几乎销声匿迹。关于其缺席的原因，外界推测包括市场审美的转变、动画风格的日益流行，以及涉及原始模特肖像权的潜在版权问题。归根结底，《最终浪漫》不仅是一款游戏，更是 90 年代初期脱衣麻将开发史中一个有趣的缩影。
抱歉。
1931年，25岁的逻辑学家库尔特·哥德尔打破了构建完整且一致的数学基础的梦想。数学家们曾试图寻找一套公理，从中推导出所有数学真理；而哥德尔证明了这是不可能的。 他的不完备定理表明，在任何一致的公理系统中，总会存在关于数字的真实陈述，这些陈述无法通过该系统的公理来证明。此外，他还证明了没有任何此类系统能够证明其自身的一致性。 哥德尔通过“哥德尔编码”实现了这一目标，这是一种将数学符号、公式甚至整个证明映射为唯一整数的方法。通过将元数学算术化，他构建了一个自指陈述——等同于说“本陈述无法被证明”——这个陈述虽然无可置疑地真实，但在其自身系统内却是不可证明的。 这一发现从根本上改变了数学，揭示了“万物理论”并不存在。它确立了“不可判定”问题的现实性，影响了从计算机科学到物理学的诸多领域。哥德尔的工作表明，数学真理并非我们能够完全捕捉的有限结构，而是一个永远超出任何单一公理集所能涵盖的广阔领域。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
对不起。
抱歉。
这段内容是 PDF 文件的内部结构代码，并非可阅读的文本信息。
抱歉。
再举一个例子。我曾将个人网站从一个框架迁移到另一个框架，Claude 为我编写了一个迁移脚本。但代码审查非常困难：我不熟悉新框架，只能说“看起来好像没问题”。于是我让 Claude 为我制作了一款电子游戏——一个指挥中心，让我能一步步完成迁移，观察可见的变化和文件树的演变。它生成了一个界面，我可以点击按钮逐步运行迁移，并同时查看新旧网站的运行效果。在这个指挥中心里，我看着新网站一点点成形。这种体验让我获得了类似于亲手操作的理解，但速度快得多，因为整个过程都已为我规划妥当。
关于“理解力成为新的瓶颈”这一话题，《黑客新闻》（Hacker News）上的讨论展现了两种截然不同的观点：一方认为软件工程正在转向“流水线”模式，另一方则坚持认为人类的理解力才是核心约束。
许多参与者指出，“理解力”始终是主要瓶颈；大语言模型（LLM）只是通过快速生成代码，让人类难以核实，从而掩盖了这一事实。将思考过程外包给人工智能，往往会导致代码冗长、质量低劣或出现幻觉，进而产生巨大的技术债务。怀疑论者警告称，为了“追求速度”而放弃代码所有权，只会导致系统变得难以维护，沦为“凭感觉编写”而非严谨工程化的产物。
反之，也有人认为职业实践必须演进。通过采用规格驱动开发（Spec-Driven Development）、时间旅行调试以及严苛的测试套件等技术，工程师可以将大语言模型视为强大的工具，同时保持“认知所有权”。
最终，共识倾向于：尽管大语言模型提升了产出总量，但它们无法取代批判性思维的需求。真正的挑战不在于输入速度，而在于映射复杂系统、验证逻辑以及维持系统稳定性的能力——这些任务依然属于人类不可推卸的责任范畴。
**问题摘要：systemd-journald 磁盘 I/O 过高**
用户反映在 Debian 13/XFS 系统（systemd-journald 版本 257.9）上，`systemd-journald` 存在严重的低效磁盘 I/O 问题。尽管日志记录量仅为每秒两条，系统却表现出约 50 IOPS 的负载。
报告者认为，这种行为（此前在已关闭的 issue #15292 中已有记录）并非源于内核级的写入合并机制，而是 journald 文件格式本身固有的低效所致。此外，报告者还对文件体积膨胀及数据恢复能力不足表示担忧，指出在非正常重启后曾发生数据损坏。当前产生的 I/O 影响与其生成的日志量不成比例，远超传统 syslog 的性能表现。
这篇 Hacker News 的讨论重点介绍了关于 `systemd-journald` 磁盘占用情况的重大担忧，特别是它在 ext4 和 btrfs 等文件系统上极高的写放大问题。由于该日志采用了复杂的、基于 mmap 的二进制格式以及频繁的哈希表更新，单条日志记录可能会导致数万字节的磁盘写入。
批评者认为，该设计优先考虑自定义去重和索引，从根本上就是缺陷且低效的。许多用户反映，与在纯文本文件上使用 `grep` 或 `ripgrep` 等标准文本处理工具相比，`journalctl` 的速度要慢得多。虽然支持者认为日志提供了结构化查询功能，但反对者认为这些功能的价值往往无法抵消其性能损耗和复杂性。
讨论强调了一个反复出现的主题：`systemd` 项目通常倾向于使用专有的内部解决方案，而非 SQLite 或专用的日志管理守护进程等成熟且经过实战检验的替代方案。许多高级用户建议禁用持久化日志存储（`Storage=volatile`）或完全将其替换为 `rsyslog`，以提高系统性能并减少 SSD 损耗。批评者的共识是，`journald` 试图解决的问题——即本地日志管理——实际上早已被更简单、更稳健的工具完美解决了。
```animation.inertiaone 记录，已解码显示 { "id": "card0", "initialValues": { "opacity": 1, "rotate": 0, "scale": 1, "translate": [0, 0] }, "invokeType": "trigger", "keyframes": [ { "duration": 0.001, "values": { "scale": 0, "translate": [-0.008, -0.269] } }, { "duration": 2.011, "values": { "rotate": 90, "scale": 1, "translate": [-0.013, 0.278] } } ], "shapes": [] }```
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
Show HN: Inertia – 不再是老派的动画编辑器 (inertiagraphics.com)
9 分，hpen 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助
mukmuk 发布于 1 天前 | 下一条 [–]
对我来说，现在很难去读那些看起来像垃圾信息的落地页。每天的时间毕竟有限。也许“Show HN”的提交者如果能标注一下链接内容是否为本人自制，会更有用。
回复
geooff_ 发布于 1 天前 | 上一条 [–]
太绝了，一个动画工具的落地页里竟然连一个动画都没有。
回复
hpen 发布于 1 天前 | 父级 [–]
;)
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：