编译器通常使用以下两种策略之一来实现泛型：**完全单态化（Full Monomorphization）**或**类型擦除（Type Erasure）**。 * **完全单态化**（如 Rust、C++）：为每个使用的具体类型生成一个独立的、经过优化的函数版本。这最大限度地提高了运行时性能，但显著增加了二进制文件的大小和编译时间。 * **类型擦除**（如 Java）：仅编译一个版本的代码，将泛型参数替换为通用类型（如 `Object`）。这减小了二进制文件的大小，但需要进行运行时的装箱、类型转换和堆间接寻址。 **Go** 采用了一种折中方案，称为 **GC 形状模板化（GC shape stenciling）**。编译器根据类型的“GC 形状”（由大小、对齐方式和指针结构决定）对类型进行分组，并为每种形状生成一个共享的函数体。例如，所有指针类型共享同一个函数体。 当共享的函数体需要特定的类型信息（例如调用方法）时，编译器会使用一个**字典（dictionary）**——即在运行时传递的隐藏数据表——来解析特定类型的操作。虽然这种方法比纯粹的类型擦除更有效，但它通过字典查找引入了微小的开销，并可能影响内联或逃逸分析。最终，该策略在高效的二进制体积与有竞争力的运行时性能之间取得了平衡。
每日HackerNews RSS
抱歉。
```
新对话 Ctrl K 插件 定时任务 折叠 Kimi 工作 Kimi 代码 询问任何事，或指派一个智能体... 探索灵感 滚动以探索
```
我们的网站安全保护机制触发了拦截。如果您认为这是误判，请发送电子邮件至 [email protected]。请在邮件中说明您是如何访问此网页的，并提供页面底部的 Cloudflare Ray ID。 Cloudflare Ray ID: a1c1eb45a8740519 返回《大西洋》杂志
这场 Hacker News 上的讨论围绕《大西洋月刊》的文章《生成式 AI 是一场工程灾难》展开，评论者们在怀疑论与技术乐观主义之间产生了分歧。
批评者认为，大语言模型（LLM）通过自动化任务而未真正提升整体组织生产力，从而制造了一种“价值幻觉”，这往往掩盖了更深层的经济与结构性问题。一些人主张，当前的 AI 发展是由投资者炒作而非实际效用驱动的，导致了“无用”功能的产生，以及对白领生计造成威胁的财富与权力的鲁莽集中。
相反，支持者认为 AI 的规模化尚处于早期阶段，正如以往的技术一样，最终会通过迭代实现效率提升。他们强调大语言模型已经创造了显著价值，并指出单项任务的成本正在迅速下降。支持者认为悲观主义是一种“新卢德主义”，呼吁批评者通过利用这些工具进行创新来适应，而不是抵制技术进步。
讨论进一步延伸到了更广泛的社会议题，包括政府的角色、计算带来的环境成本，以及资本日益集中可能导致的“反乌托邦”式经济未来。归根结底，这一讨论反映了一种根本性的分歧：AI 究竟是革命性的生产力引擎，还是消耗资源的泡沫？
作者反思了在大规模语言模型（LLM）生成的内容在冷邮件和求职申请等专业交流中日益增多的趋势。在承认人工智能实用性的同时，作者认为过度依赖这些工具来“润色”工作会成为建立真诚沟通的障碍。 问题的核心在于缺乏脆弱感。作者结合自身在创意工作中的经验指出，真实的表达需要勇气去展现不完美、怪异和人性化的一面。简历或作品集旨在揭示一个人的“成长轨迹”——即他们的背景、兴趣和奋斗历程——而不仅仅是列出资历。 通过躲在人工智能生成的完美背后，候选人和创作者抹去了自己的个性，使他人无法与他们产生共鸣。作者总结道，个人作品本质上是两人之间的一场对话；要被了解和重视，一个人必须拥抱自己的缺陷，展现产出背后的“人类”过程。归根结底，这一信息呼吁的是真实：分享你的笔误，展现你的挣扎，停止躲在机器背后。
抱歉。
经过 18 个月、30 万行代码的开发，Roc 编译器团队已成功将其编译器从 Rust 重写为 Zig，并于近期实现了与原版的功能对等。 团队之所以选择重写而非采用“忒修斯之船”式的渐进式替换，是出于架构限制的考虑。最终选择 Zig 而非 Rust，是因为 Zig 拥有更快的构建速度、更精细的内存管理（这对于他们基于 arena 的分配风格至关重要），以及对专用工具的访问权限，其中包括高性能的 LLVM 位码序列化器。 尽管 Rust 在内存安全方面享有盛誉，但团队发现，他们深度依赖 `unsafe` 代码和自定义分配器的特定使用场景，反而能从 Zig 的显式控制中获益。错误报告的统计分析显示，切换到 Zig 在实践中并未对内存安全产生负面影响。 关键的性能突破包括零解析反序列化策略（实现了即时增量构建）以及高性能的热代码加载功能。尽管团队仍怀念 Rust 的一些特性（如自动测试清理和私有结构体字段），但他们认为 Zig 的 “comptime” 机制及其显式设计更契合 Roc 的需求。目前，团队正期待在今年晚些时候发布 v0.1.0 正式版本。
这次 Hacker News 的讨论围绕 Richard Feldman 的博文展开，内容关于 **Roc** 编译器从 Rust 迁移到 Zig 的过程。
讨论的核心争论点与分析如下：
* **“不安全（Unsafe）”之争：** 以 Steve Klabnik 为代表的批评者质疑 Feldman 的前提，即编写编译器需要大量使用内存不安全代码。Feldman 认为编译器经常处理复杂的运行时或二进制修补任务，这些任务得益于“不安全”特性；而其他人则坚持认为，编译器自身的安全性与所生成机器码的安全性是两个不同的议题。
* **性能与安全性：** 该讨论串探讨了 Rust 严格的内存安全性与 Zig 手动内存管理之间的权衡。重写方案的支持者看重 Zig 更快的增量构建速度和对内存分配的精细控制。怀疑论者则认为，从 Rust 这种成熟语言转向 Zig 这种 1.0 版本前的语言存在巨大风险，特别是在长期维护和生产环境稳定性方面。
* **编译器设计哲学：** 参与者讨论了高性能编译器是否真的需要系统级语言，一些人认为算法优化比语言选择的影响更为深远。
归根结底，此次讨论凸显了阵营之间的分歧：一方优先考虑 Rust 提供的安全性保障，而另一方则更青睐 Zig 在系统级任务中所展现出的灵活性和构建性能。
● 团队 我们可以给你一个推荐码，并植入 Cookie 来追踪谁邀请了谁。但我们不会这样做——一场关于信任的挑战，不该用监控手段来约束。所以，我们凭借承诺来运作，正如我们要求你证明自己一样：如果有人向你介绍了这个项目，如果是你们团队共同破解了它，如果你们分担了工作——请在申领时告诉我们。包括姓名、邮箱、是谁让你了解到这个项目，以及与你并肩作战的伙伴。我们会让每一位有价值的参与者获得应得的报酬，我们也乐于增加奖金池来达成这一点。 黎明币（Dawns）的加倍奖励在 5.12 万美元时停止。对于一个团队能带走多少奖励，我们没有设置上限——只要并肩作战，你们带走的战利品将远超任何单人突袭者的负重极限。 ○ 没有代码，没有 Cookie——只需讲真话。这就是游戏的全部规则。
抱歉。
18岁的欧文·弗劳尔斯（Owen Flowers）和20岁的塔尔哈·朱拜尔（Thalha Jubair）因对伦敦交通局（TfL）发动2024年重大网络攻击，被判处五年零六个月监禁。
这两人被描述为与网络犯罪组织“散乱蜘蛛”（Scattered Spider）有关联的“沉迷电脑的独行侠”。他们通过冒充员工非法获取了伦敦交通局系统的访问权限。在他们直播的16小时攻击过程中，近1000万名客户的个人数据被泄露，并造成该交通机构约2900万英镑的损失。
两名被告均有网络犯罪前科；弗劳尔斯在被捕时正被发现入侵美国医疗保健提供商，而朱拜尔此前已有22项定罪，并因涉及1.15亿美元赎金的计划在美国遭到通缉。尽管获利颇丰，但当局认为这些黑客的主要动机是为了在网上博取名声。即使在候审期间，两人仍被发现持有违禁手机，并继续在拘留期间协调网络攻击。英国国家犯罪调查局强调此案是对本土青年黑客威胁日益增长的警告，这些年轻人正愈发受到网络犯罪亚文化毒害的影响。
抱歉。
阿拉斯加军事电话线（AMTL）于二战期间沿阿拉斯加公路修建，是一项全长2,020英里的宏伟工程，连接了艾伯塔省埃德蒙顿与费尔班克斯。该线路于1943年10月完工，整合了无线电、电话和电传打字技术，以确保通信的可靠性，克服了常干扰无线电信号的大气影响。 该项目面临诸多严峻挑战，包括极端的亚北极冬季条件、严重的物资短缺，以及政府强制将铜线更换为效率较低的铜包钢线，这使得工程不得不增设中继站。项目最初由私人承包商承建，但由于各种复杂困难——从解冻的“无底沼泽”到物流延误——最终不得不由美国陆军通信兵部队介入才得以完成。 AMTL总计使用了约95,000根电线杆和14,000英里的电线，是战时工程创造力的见证。如今，尽管公路沿线仍能见到一些倾斜的电线杆作为历史遗迹，但部分原始基础设施仍在为当地提供电话服务。
抱歉。
```KizunaShelf 简介：一个存放你所爱之物的置物架``` Introduction to KizunaShelf: A shelf for everything you love
2 天前
KizunaShelf 是一款跨平台的媒体追踪工具，旨在消除手动管理数据的繁琐。由于厌倦了受制于可能随时关闭的平台，开发者采用了“文件优先于应用”（files-over-apps）的理念，以 Obsidian 的 Markdown 生态系统为基础。
KizunaShelf 充当了这些 Markdown 文件的直观界面，在无需手动输入元数据的负担下，提供了可定制数据库的灵活性。它支持针对各类媒体（如动画、书籍、游戏等）的预设方案，并能与 TMDB 和 MyAnimeList 等外部数据库集成，实现轻松追踪。
该应用为长久使用而设计，采用以 Rust 为核心的原生跨平台架构，并为 iOS (SwiftUI)、桌面端 (Tauri) 和 Web 端生成了相应的客户端。最重要的是，它优先保障数据所有权：不使用任何私有格式或云服务器。所有信息均以人类可读的 Markdown 格式结合标准化的 Front Matter 存储，确保即使不再使用该应用，您的收藏依然可以完整访问。KizunaShelf 的设计初衷不仅是追踪内容，更是为了记录那些将媒体与日常生活紧密相连的个人情感与记忆。
抱歉。
HR 9706 要求博彩或预测市场平台运营商使用人脸识别技术来核实用户年龄，及其他目的。 已移交农业委员会，并额外移交能源与商业委员会，由议长后续确定期限，分别审议各委员会职权范围内的条款。 Congress.gov·第119届国会·最新进展：2026年7月15日