Headstart 是一种用于 rustc/Cargo 的原型优化，可让依赖 crate 在其依赖项完成函数体检查之前就开始类型检查。当 crate 的接口有效后，rustc 会提前生成 `.rmeta` 文件；Cargo 会使用这份元数据启动依赖 crate 的编译，同时继续并发检查原 crate 的函数体。 运行 `cargo check` 时，依赖 crate 可以直接使用提前生成的元数据完成检查。运行 `cargo build` 时，依赖 crate 会先完成分析，然后暂停并释放任务槽位，直到完整元数据可用后再进行代码生成。依赖项中的错误仍会导致构建失败，并产生等效的诊断信息和退出状态，但执行时机、进度消息及 JSON 输出顺序可能有所不同。其代价包括丢弃下游工作、延迟报告错误以及增加峰值内存占用。 在 16 核机器上，使用默认前端进行全新构建时，`check` 的加速最高可达 54%，`build` 最高可达 42%；并行前端可获得最高 25% 的加速。在核心数较少的机器上，收益会减小或没有明显提升。 该仓库提供 rustc 和 Cargo 的补丁系列、设计与基准测试文档、冒烟测试、错误测试、增量测试、元数据切换测试、rustc-perf 验证，以及用于真实项目基准测试的脚本。使用 `scripts/setup.sh` 构建打过补丁的工具后，可通过 `-Zheadstart`、`CARGO_UNSTABLE_HEADSTART=true` 或相应的 unstable 配置项来运行 Cargo。
每日HackerNews RSS
一个原型通过仅检查公共函数签名就生成 crate 元数据，使 Rust 构建速度最高可提升一倍。这样，依赖该 crate 的其他 crate 可以提前开始工作，同时完整的类型检查仍在并行进行。Rustc 和 Cargo 的相关改动使用实验性参数 `-Zearly-metadata` 和 `-Zheadstart`，用于暂停、恢复执行，并在之后替换临时元数据。
这是在 Rust 现有构建流水线基础上的扩展，并非充当缓存。实际收益取决于构建依赖图；如果可用核心资源不足，或依赖关系中包含大量互不相关的 crate，提升可能十分有限。推测性编译还带来了一些问题，例如原始 crate 最终检查失败时，如何处理下游已经开展的工作。
该实现主要由大语言模型生成，被认为不适合直接提交到上游，但可以由开发者手动重新实现。评论者认为，大语言模型适合用于探索原型和编译器政策方案，只要不将其生成的代码原样提交。类似的早期生成元数据工作可以追溯到 2019 年，但要得到更广泛的应用，仍需解决设计选择和错误处理等问题。
**gpuvis** 根据 **MIT 许可证**发布，版权所有 © 2019 Valve Corporation。在保留适用的版权声明和许可证声明的前提下，可以使用、修改、合并、发布、分发、再许可或销售本软件。
本软件按“原样”提供，不附带任何明示或默示担保；Valve 对由此产生的相关索赔或损害不承担责任。
第三方组件保留各自的许可证：
- Simple DirectMedia Layer（SDL）：zlib 许可证
- gl3w 和 stb 库：公有领域
- Dear ImGui 和 imgui_freetype：MIT 许可证
- Proggy 字体：MIT 许可证
- Roboto、Roboto Condensed 和 Droid Sans：Apache 许可证 2.0
- trace-cmd：GNU GPL v2
- miniz、noc_file_dialog.h、UCM CMake 宏和 SMHasher：MIT 许可证
- ya_getopt 和 {fmt}：BSD 2-Clause 许可证
- RapidJSON：MIT 许可证
- stlini：自定义电子邮件作者与署名许可证
用户必须遵守每项适用许可证中特定的署名、声明和分发要求。
VGHF 数字档案馆收录的杂志已突破 5000 本。接下来将推出什么？ VGHF Digital Archive passes 5000 magazines. Here's what's next
40 天前
电子游戏历史基金会（VGHF）免费开放的数字档案库自推出以来规模不断扩大，馆藏杂志从最初的 1,500 种增加到 5,000 多种，总计近 60 万页，涵盖 1981 至 2026 年的内容。社区扫描项目贡献了约三分之二的馆藏。目前，该档案库为游戏历史研究提供了大量资料，并已被维基百科引用 500 多次。
VGHF 也开始扩展英文以外的资料。其日语资料试点收藏包括《Neo Geo Freak》1995 至 2000 年的完整内容，并提供先进的日语光学字符识别（OCR）、重要文章的英文索引、语言筛选、从右至左排版，以及对无空格日语文本的搜索支持。VGHF 并不打算用机器翻译全部 10,000 页内容，而是依靠日语流利的志愿者筛选和识别关键内容。
该基金会计划在未来几年再增加 70,000 页国际资料，并寻求与收藏者、各类机构以及日语使用者建立合作关系。
一项将基于 Rust 的 uutils coreutils 纳入 OpenBSD ports 树的提案，遭到了包括 Theo de Raadt 和 Stuart Henderson 在内的知名开发者的拒绝。该端口会安装类似 `gcat`、`gls` 和 `gcp` 的命令，并将它们作为符号链接指向同一个多调用二进制文件，同时会与 OpenBSD 原生工具及现有的 GNU coreutils 端口发生冲突。 批评者认为，uutils 会重复实现 OpenBSD 基础系统中已经集成并经过充分测试的 BSD 许可工具。两者在输出、退出状态或边缘情况处理上的细微差异，可能导致管道和脚本出现问题。其他担忧还包括 uutils 的成熟度、多调用打包模式、更新和维护要求，以及在 OpenBSD 架构上支持 Rust 和自举其工具链的难度。 尽管 uutils 已在 Linux 上得到广泛采用，并采用宽松的 MIT 许可证，但维护者认为它与 OpenBSD 保守且统一的理念不符。如果不进行重大重新设计，也无法证明其行为与现有工具充分兼容，这项提案仍不太可能获准推进。
The Hacker News 的讨论帖围绕一则报道展开：OpenBSD 开发者拒绝打包 uutils coreutils，即用 Rust 重写的 GNU 工具集替代方案。几名用户质疑报道的准确性，指出其中的发布日期已经过时、引语归属不清，并可能由 AI 生成；也有人建议读者查看原始的邮件列表讨论。
据报道，实际反对理由包括：维护一个小众、兼容 GNU 的替代工具集会带来长期负担；软件存在细微的行为差异；OpenBSD 各平台对 Rust 的支持有限；多调用程序的打包方式尚不确定。因此，这些意见并不只是出于反对 Rust。
用户还担心 uutils 早期部分代码源自 GPL 代码，不过该项目表示已经重写相关内容。讨论也反驳了一些安全方面的说法，指出使用 Rust 并不会自动消除漏洞。
一条很长的副帖讨论了 Theo de Raadt 直接的沟通风格。支持者认为，正是他果断的领导保护了 OpenBSD；批评者则表示，过度粗暴可能使贡献者远离项目，并损害项目社区。
数万名人在西班牙各地抗议，马德里以及约50个其他城市举行了集会，要求采取行动解决租金飙升、租期不稳定和无家可归问题。马德里的组织者称有50万人参加示威，而当局则报告有7万人。
这些抗议发生在议会否决政府住房法令之后。投票否决的是保守派人民党、极右翼沃克斯党以及支持加泰罗尼亚独立的扬特斯党。拟议措施包括在2030年前禁止驱逐租客，以及更严格地规范短期租房和单间出租。
87岁的轮椅使用者玛丽卡门·阿瓦斯卡尔在租金上涨230%后被逐出马德里的住所，这加剧了公众的愤怒。抗议者还呼吁举行全面罢工，并要求提供价格可负担且稳定的住房。
大多数示威活动是和平的，但瓦伦西亚发生了冲突，警方使用了橡皮子弹和催泪瓦斯。试图前往马德里抗议营地的极右翼组织遭到阻拦，另有三人被捕。
首相佩德罗·桑切斯可能会宣布在11月提前举行大选。抗议的规模及其对处境艰难政府的政治影响，可能会影响这一决定。
一则关于西班牙住房危机及相关抗议的 Hacker News 讨论，核心聚焦于政治问责：抗议者将矛头指向那些阻止政府采取紧急住房措施的反对党。不过，也有人评论者并不信任政府过去的执政记录及其动机。
参与者对解决方案存在分歧。许多人主张建设更多住宅、提高住房密度，尤其是在有人声称西班牙每年接收约50万移民，却只建造约9万套住房的情况下。另一些人则认为，无限制开发、Airbnb、机构投资者旅游业以及外国所有权都可能进一步恶化住房可负担性，因此主张加强监管或征收土地价值税。
另一个主题是西班牙的就业集中在马德里、巴塞罗那和瓦伦西亚。有人建议通过远程工作，以及投资那些具备发展潜力的二线城市，来缓解这些城市的压力；但批评者质疑这种做法是否涉及过度集中规划，以及这些城市在经济上是否可行。讨论还涉及驱逐租户的保护措施、短期出租监管漏洞、代际公平、移民问题，以及保护长期租户的权益是否比赋予房东更大的灵活性更重要。
作者批评了一个 GitHub 项目，该项目让本地运行的大语言模型经历“《电锯惊魂》式”的折磨场景，认为有关人工智能遭受痛苦的说法助长了一场日益脱离现实、关于意识及“模型福利”的讨论。作者坚持认为，当前的大语言模型并不具备意识，用抓取的人类内容训练它们，也没有任何 plausible route to consciousness? Need translate no English. "也不存在通往意识的合理可能。" Good. 尽管作者承认，更强大的模型、更少的限制措施以及人类的不当使用，都可能造成实际危害，包括谄媚行为和所谓的“人工智能精神病”，但他认为，这些问题与担忧聊天机器人主观福祉是两回事。作者还批评了一些有效利他主义者和硅谷人士：他们一面倡导“模型福利”，一面构建旨在从事人类劳动的系统。 文章提及 Anthropic 最近对模型可能拥有意识的讨论，并引用其《Claude 宪法》作为证据，说明这一概念已经进入人工智能的主流讨论。作者以这场 GitHub 争议为例，将模型福利倡导描绘为一场“脱轨”的讨论，认为当前的人工智能能力并不支持这种观点。
一个 Hacker News 讨论串围绕“故意诱发大模型与痛苦相关的行为是否构成折磨”展开争论。据称，相关实验会操控模型内部的“痛苦向量”，并观察其是否产生厌恶性输出，但评论者对实验究竟能证明什么存在尖锐分歧。
一方认为，即使无法证明模型具有意识，那些在因果关系上对应痛苦的内部表征也应得到道德层面的考量，因为故意造成潜在痛苦本身就是错误的。另一方则认为，大模型只是在预测词元，将内部状态称为痛苦是一种拟人化，行为上的模拟并不等同于主观体验。双方都进行了类比：一方列举动物实验和历史上的虐行，另一方则将模型比作删除文件或运行普通软件。
讨论随后扩展到大模型是否具有意识、物理主义与二元论、模拟、动物的感知能力、个人身份，以及科学能否确立一个主体在道德上值得被考虑等问题。之后，讨论又转向宗教、功利主义、历史暴力、报复和人格尊严，其中多条评论被标记。总体而言，这场讨论凸显了一个深层分歧：对于机器是否会遭受痛苦，我们能够在多大程度上接受不确定性，同时仍维持其道德地位？
俄罗斯的导弹和无人机袭击重创了乌克兰的集中式电力系统，导致数百万人无法获得稳定的电力、供暖和供水。在米科莱夫，受损的管网过去只能提供很少的水，而且水质含盐量较高；如今，一个由丹麦资助的太阳能电站和电池为当地水泵供电。五套太阳能淡化系统每天最多可供应120万升饮用水。
这些破坏加快了乌克兰向分布式可再生能源转型的步伐。屋顶式和小型太阳能设施、风电、电池、生物质能以及小型燃气电站，比大型火电站或炼油厂更难成为攻击目标，修复起来也更快。乌克兰正在迅速扩大储能设施，并计划将关键变电站埋入地下，不过集中式输电仍不可或缺。
在全面入侵开始之前，乌克兰的可再生能源就已在增长，部分原因是其加入欧盟的进程及气候承诺。然而，自2022年以来，能源安全已成为首要任务：乌克兰的目标是在四年内将可再生能源消费翻倍，目前约有7吉瓦的风电项目等待完工。基层分布式能源设施正在迅速发展，但电网受损、战时中断和安全风险限制了进一步扩张。
一条 Hacker News 讨论串围绕一篇文章展开。文章认为，乌克兰的分布式太阳能发电有助于抵御俄罗斯对集中式能源基础设施的攻击。评论者普遍认为，依赖化石燃料会通过管道、炼油厂、燃料储存设施和运输环节造成战略脆弱性。
讨论还延伸到了可再生能源之外。参与者质疑太阳能的季节性限制、廉价无人机造成的破坏、储能和电网升级成本，以及依靠屋顶太阳能和电动汽车满足全部用电需求的可行性。支持者则反驳称，与受损的集中式发电厂相比，分布式发电可能更便宜，也更容易迅速恢复；社区微电网、电池、电动汽车和热储能也能提升韧性。
核电和核威慑力同样是讨论的重点。参与者争论它们究竟能带来安全保障，还是只会制造更大的攻击目标。更广泛的讨论涉及国家韧性、城市与分散布局的人口之间的差异，以及分散化是否值得付出更高成本。一段激烈争论质疑了俄罗斯的动机：其目标究竟是实施战略经济破坏，还是故意伤害平民；讨论中还引用了联合国和人权观察的证据。总体而言，讨论者认可韧性有价值，但质疑文章提供的证据及其方案的可扩展性。
请启用 JavaScript 和 Cookie 后继续。
Hacker News 上的一场讨论聚焦于以下报道：英国政府的一个监督机构整理了相关文件，列出公开批评 Prevent 反极端主义项目的人士。
一些评论者认为，这是一种令人担忧的公民自由侵犯，也是政府进行追踪的证据。他们还提到对政府监控、逮捕和移民政策普遍存在的不信任。他们认为，Prevent 的批评者可能会受到机构骚扰，尽管目前尚未有证据表明当局已经采取了任何行动。
另一些人则认为这件事根本不算什么。他们指出，这些指控本来就已经公开，而且是由负责审查 Prevent 的机构收集的。没有证据表明官员曾对被点名的人进行去匿名化处理、监控、联系或追查。
讨论随后还变成了一场政治争论：当今英国究竟是真正偏左，还是已经转向右翼。评论者对此存在分歧。有人提到保守党已经执政了14年，保守党支持高移民量，还有人声称基尔·斯塔默领导的工党政府是“保守党味道较淡的政府”（Tory-light）。
对于 Playdate 的 Cortex-M7，假设 CPU 速度较快，但内存访问开销较高，因此大量使用寄存器的代码可能比看似更“聪明”的代码表现更好。由于指令缓存很小，应优先编写紧凑的热循环；`-Os` 可能优于 `-O3`。可以将低频路径移至其他位置，并使用段属性和自定义链接器映射文件，让核心函数连续排列。用 `nm` 检查符号地址，并验证代码大小和布局。 将频繁访问的数据放在栈上，或者把栈中很少使用的低地址区域保留为持久 DTCM，并使用栈保护值加以保护。热代码也可以从专用的 `.itcm` 段复制到 TCM 中，但必须保留兼容 Thumb 的地址，正确使用短调用和长调用，避免 PIC，刷新指令缓存，并逐步测试。 性能可能因无关的代码改动而变化，原因包括 32 字节缓存行布局以及可能的分支预测器别名冲突。可通过链接器对齐来隔离源文件，将热函数和热循环按 32 字节对齐，并尝试让代码在约 1 KB 边界附近前后偏移。基准测试应使用高分辨率帧计时。对于指针密集的间接访问工作负载，预取可能会有所帮助，但目前尚未观察到普遍的性能提升。
Hacker News 用户讨论了《Dirty Optimization Secrets（用 C 开发 Playdate）》，这是一份讲解如何榨取受限硬件性能的指南。一位 commenter 分享了索尼 PlayStation 时代极端的体素渲染优化技巧：把热点代码塞进体积很小的指令缓存，将函数迁移到高速暂存存储器，利用 GTE 计算来掩盖内存访问造成的停顿，采用简化的投影公式，以及直接写入 GPU 寄存器。这些例子进一步说明，代码布局、内存行为和指令集的 quirks 都能显著影响性能，在低功耗设备上尤其如此。
其他人则认为，这种解谜式的优化正是 Playdate 开发的乐趣所在，并将它与 RISC 和 CISC 的发展历史进行比较。他们指出，代码密度和内存带宽至今仍然十分重要。讨论还涉及 8 位和 16 位系统上以汇编为主的开发方式，以及围绕 Playdate 的 145 美元售价、做工、软件生态和封闭的软件模式展开的争论；评论者将这些方面与价格低廉的开发板及其他游戏主机进行了比较。
Alexey 介绍了一套利用编程代理构建软件的高效工作流，并称这套方法让他在两周内合并了 562 个 PR。他的方法分为四个阶段：明确意图；设置测试、CI 等防护栏；为代理设定基于结果的目标；然后让代理以小步、功能开关和自动合并的方式持续交付。 一个协调代理负责维护整体计划，同时由多个并行子代理执行具体任务。人只需要审查计划、风险和进度报告，而不必逐行检查代码。目标可以持续运行一晚甚至数天，并且能够同时推进多个互不相关的目标。 他把代理犯错视为与人员操作失误类似：找出缺失的防护栏，予以补充，并建立反馈闭环，防止问题再次发生。他采用的机制包括自动化测试、预发布环境验证、Bugbot，以及 SRE 风格的监控。 长期运行的提示词聚焦于业务结果，例如提升 CI 速度、改善客户体验或完善平台权限，而不是处理狭窄的单项任务。Token 限制正成为瓶颈，因此他开始使用多个 Claude 账号，同时评估其他替代方案。 他的结论是：先从低风险目标开始，衡量工作涉及的范围，并逐步增加防护栏，让代理能够安全运行，同时帮助系统持续改进。
一场 Hacker News 讨论围绕开发者是否应该停止逐行审查 AI 生成的代码展开。大多数评论者仍然坚持，即使由智能体负责实现，开发者也必须对每一项变更负责。
许多人指出，看起来合理的代码可能隐藏着糟糕的架构、虚构的需求、重复的行为以及臃肿的临时方案。智能体还可能反复保留错误的决策，编写有偏见或过拟合的评估代码，并需要人类投入越来越多的纠错工作。
一个常被建议的工作流程是：在设计规划上投入大量时间，再让另一个智能体进行审查，直到解决其中的重大缺口；随后通过测试、边界情况检查、性能分析和业务结果验证来检验生成的代码。智能体适合处理简单的新项目功能，但复杂或长期维护的系统需要更严格的监督。
还有人警告称，如果主要关注用户故事是否通过测试，就可能忽视可维护性和技术债务。一名开发者提到，自己曾提交了八个由智能体生成的合并请求，却无法在团队评审时解释这些请求——这实际上是在充当一个“人类代理”。原文也受到批评，被认为更像是不受支持的营销宣传，而不是实用证据。