编译器通常使用以下两种策略之一来实现泛型：**完全单态化（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 返回《大西洋》杂志
抱歉。
作者反思了在大规模语言模型（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——只需讲真话。这就是游戏的全部规则。
这篇 Hacker News 帖子记录了社区对使用人工智能生成文本的强烈抵制，特别是针对那些具有 Claude 模型标志性、辞藻华丽风格的内容。
用户对缺乏人为努力的文章表达了强烈的不满，认为这种趋势违背了作者与读者之间的“社会契约”。批评者认为，AI 生成的废话掩盖了真实信息，让人难以辨别内容的意图。许多评论者感到这些修饰过度但冗长的内容令人反感，并指出这种内容制造了一种虚伪、重复且如同“垃圾”一般的阅读体验。
尽管有一位用户建议，作者可以通过明确标注 AI 生成内容为机器交互工具来缓解这种抵制，但社区的共识仍然是：低质量、AI 辅助的写作是非常令人反感的。最终，社区表达了对真实、人工写作的强烈偏好，并认为如果一件事情值得去做，那就值得投入精力亲自撰写，或者聘请专业人士来妥善完成。
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
1 天前
KizunaShelf 是一款跨平台的媒体追踪工具，旨在消除手动管理数据的繁琐。由于厌倦了受制于可能随时关闭的平台，开发者采用了“文件优先于应用”（files-over-apps）的理念，以 Obsidian 的 Markdown 生态系统为基础。
KizunaShelf 充当了这些 Markdown 文件的直观界面，在无需手动输入元数据的负担下，提供了可定制数据库的灵活性。它支持针对各类媒体（如动画、书籍、游戏等）的预设方案，并能与 TMDB 和 MyAnimeList 等外部数据库集成，实现轻松追踪。
该应用为长久使用而设计，采用以 Rust 为核心的原生跨平台架构，并为 iOS (SwiftUI)、桌面端 (Tauri) 和 Web 端生成了相应的客户端。最重要的是，它优先保障数据所有权：不使用任何私有格式或云服务器。所有信息均以人类可读的 Markdown 格式结合标准化的 Front Matter 存储，确保即使不再使用该应用，您的收藏依然可以完整访问。KizunaShelf 的设计初衷不仅是追踪内容，更是为了记录那些将媒体与日常生活紧密相连的个人情感与记忆。
**KizunaShelf** 是一个自托管平台，旨在通过本地文件架构来整理个人数字藏品。与 Tombo 等传统工具类似，它优先将数据存储在本地，而非专有的云端孤岛。
该项目因与 **Obsidian** 的兼容性而在 Hacker News 上受到关注，用户可以通过 Web 界面管理现有的 Markdown 文件。开发者透露，这是通过 **Ignis** 实现的——Ignis 是一个开源工具，用于连接 Obsidian 使用的 Electron API，从而实现 Web 访问。在同步方面，用户可以利用来自 Obsidian Sync 或 LiveSync 的无头命令行（headless CLI）工具。
社区反响积极，用户纷纷表示希望能有与本地 Markdown 文件夹无缝集成的桌面端及 Web 端应用。
HR 9706 要求博彩或预测市场平台运营商使用人脸识别技术来核实用户年龄，及其他目的。 已移交农业委员会，并额外移交能源与商业委员会，由议长后续确定期限，分别审议各委员会职权范围内的条款。 Congress.gov·第119届国会·最新进展：2026年7月15日