要使用 Mastodon 网页应用，请启用 JavaScript。或者，也可以尝试适用于您平台的 Mastodon 原生应用。
每日HackerNews RSS
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
我们与摩托罗拉合作的首个重点是一款常规的非折叠设备 (grapheneos.social)
10 点，由 Cider9986 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
noman-land 3 分钟前 | 下一条 [–]
听到这个消息感到宽慰。
回复
newsomix9xl 12 分钟前 | 上一条 [–]
来做一款不错的直板手机吧。我会买的。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
“缓慢且臃肿”的代码时代正在走向终结，AI 极大地降低了高性能工程的门槛。过去，手动性能优化需要稀缺且昂贵的专业知识；而如今，AI 智能体可以在几分钟内完成复杂的优化工作，例如即时编译（JIT）、多线程处理和定制化引擎调优。 这种转变推动软件向“动态定制化”方向发展，应用程序可以针对特定工作负载进行调优，而非针对所有用户进行通用化设计。在 AI 驱动的正则表达式引擎调优和多线程游戏 AI 的实验中，AI 智能体展现了执行复杂、繁琐优化任务的能力——这些任务往往因耗时或复杂而常被人类忽略。即使智能体缺乏人类水平的战略判断力，它们快速迭代的能力也足以在明确定义的性能任务上超越经验丰富的工程师。 虽然这些工具需要严谨的实验设计以避免过拟合，但优化的“成本”已经下降了几个数量级。曾经需要数周甚至无法完成的复杂技术工作，现在一个周末即可实现。这预示着未来软件可以针对个人数据模式和特定硬件进行激进的优化，低效代码将变得越来越不被需要。
这篇 Hacker News 讨论聚焦于文章《软件没理由再变慢了》，评论者们探讨了为何现代应用程序在性能和用户体验上持续退化。
参与者针对这一趋势提出了几种理论：
* **经济激励：** 一些人认为软件是为“循环投资”而设计的，资金回流到大型科技公司的云服务和 SaaS 服务中，从而将企业营收置于效率之上。
* **优先级排序：** 许多人指出，能带来利润的用户往往更看重功能或兼容性，而非纯粹的速度；同时，行业更倾向于快速试错，而非深度优化。
* **行业动态：** 贡献者认为，缺乏对客户端优化的关注以及更广泛的“平台腐烂”（enshittification）现象导致了质量下滑。
尽管有人希望受人工智能热潮推动的当前硬件局限性能促使开发者编写更高效的代码，但其他人仍持悲观态度。他们认为，只要速度仍从属于经济利益和可扩展性，软件就可能会继续变得愈发臃肿且迟缓。
Show HN：Rex，一种用于科学工作流的并行函数式语言 Show HN: Rex, a parallel functional language for scientific workflows
9 小时前
Rex (Rush Expressions) 是一门静态类型、纯函数式语言，专为科学计算和可复现的数据处理而设计。与依赖复杂 Shell 脚本或 YAML 的传统工作流系统不同，Rex 使用一种简洁且富有表现力的语言，将数据流、控制逻辑和错误处理定义为针对不可变值的纯转换。
主要特性包括：
* **内容寻址存储 (CAS)：** 使用 BLAKE3 哈希算法来标识并去重制品，确保数据不可变性和精准的溯源。
* **类型化工具 API：** Rex 不直接使用原始 Shell 命令，而是将特定领域的操作（如 FFmpeg、ImageMagick、QPDF）公开为类型化函数，从而在执行前杜绝配置错误。
* **隔离性：** 工具调用可以在受限的 Docker 容器中运行，无需访问网络或查看宿主系统，确保环境的可复现性。
* **可扩展性：** Rex 同时作为命令行工具 (CLI) 和可嵌入的 Rust 库进行设计，允许开发者在保持严格编排边界的同时，注入自定义的科学或模拟操作。
通过将分析逻辑与基础设施策略分离，Rex 提供了一个简洁、可审查且可并行的框架，特别适用于由大模型 (LLM) 生成或与其交互的流水线。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
Show HN: Rex，一种用于科学工作流的并行函数式语言 (github.com/peterkelly)
7 个积分，作者：peterkelly，2 小时前 | 隐藏 | 过往 | 收藏 | 讨论
https://peterkelly.github.io/rex/ 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者认为，Odin 的内联汇编系统是目前所有编程语言中最好的，因为它将汇编视为一种**具备类型和语义理解能力的语言组成部分**，而非仅仅是作为“逃生舱”的字符串。 大多数语言使用基于字符串的“补丁”系统（如 GCC/Clang），这些系统缺乏类型安全，依赖晦涩的约束字符串，且由于编译器无法真正理解汇编代码，导致错误报告效果很差。相比之下，Odin 的设计具备以下特点： * **语义集成：** 汇编被组织为类似过程（procedure）的“模板”。编译器利用一个库（rexcode）在编译时检查指令、操作数类型和寄存器。 * **统一语法：** 在所有指令集架构（ISA）中采用一致的上下文无关语法，并优先使用 Intel 风格的“目标优先”语法，以更好地与 Odin 的赋值逻辑保持一致。 * **类型化操作数：** 该系统利用 Odin 的类型系统来处理寄存器、位宽和寄存器破坏（clobbers），从而实现了诸如多返回值和卫生的局部标签等功能。 * **显式控制：** 开发人员不再使用晦涩的约束，而是使用清晰的命名绑定来处理引脚、临时寄存器和关联。 得益于一个经过验证的指令编码库，Odin 的系统仅用了七天就构建完成，并有效取代了对复杂编译器内置函数（intrinsics）的需求。
这篇 Hacker News 的讨论围绕 gingerBill 的文章展开，他认为汇编语言并非“无类型”，而是本质上具有类型。他为 Odin 编程语言提出了一种自定义语法，利用这些信息来提供比传统内联汇编更好的错误提示、更高的可读性以及更稳健的指令处理。
帖中的批评者挑战了这一前提，指出许多现有的汇编器通常会自动猜测操作数的大小。一些人认为，在这种背景下，用“指令签名”来描述“类型”更为准确，而另一些人则认为其真正的价值在于开发者体验。许多评论者对 GCC 内联汇编“晦涩”且繁琐的特性表示不满，并对作者简化它的尝试表示欢迎。
尽管有些人对该语法的技术优劣及其潜在局限性（例如处理复杂的 128 位运算）进行了辩论，但普遍共识认为作者的方法有效地降低了开发难度。参与者认为，虽然“汇编是否有类型”这种说法可能过于咬文嚼字，但由此将汇编集成到高级语言的类型系统中，确实是对遗留方法的一次急需的改进。
正在检查您的浏览器...需要启用 JavaScript
抱歉。
OpenTelemetry (OTel) 是一个至关重要但十分复杂的项目，旨在建立一个独立于厂商的可观测性标准。尽管它完成了使命，但用户经常抱怨其进展缓慢，且相比“傻瓜式”的厂商 SDK，其学习曲线过于陡峭。
对该项目的分析显示，这些延误源于一种“三方掣肘”：过于宏大的目标（涵盖数十种语言和框架）、对稳定性的刻板承诺，以及极其匮乏的维护者团队。由于 OTel 将长期稳定性置于首位，每一项变更都要经过严格审查，这造成了瓶颈，而人手不足且多为志愿者的团队对此难以应对。
作者认为，OTel 目前的方法是不可持续的。为了改进，该项目应当：
1. **引入“Beta”层级**：允许在不担心过早标记为“稳定版”的情况下，获取可操作的用户反馈。
2. **提高维护水平的透明度**：承认并非所有语言 SDK 都具备相同的支持成熟度。
3. **公开招募更多维护者**：从业余爱好模式转向资源更充足、更务实的框架。
归根结底，OTel 正在做着英雄般的工作，但它必须改进其流程，才能继续作为商业解决方案的可行替代方案。
这篇 Hacker News 讨论围绕着一篇题为“OTel 进展并不顺利”的博文展开，该文对 OpenTelemetry 的现状提出了批评。
评论者对该项目的成熟度和实用性看法不一：
* **对 OTel 的支持：** 支持者认为 OpenTelemetry 对于避免供应商锁定至关重要。他们强调了其开源规范的价值，这些规范允许开发人员将各种数据源与多个第三方“接收端”（sinks）集成。尽管他们承认某些语义约定仍处于实验阶段，但认为数据的灵活性使得这些问题可以妥善处理。
* **实用性：** 另一位用户指出，虽然进行检测（instrumentation）需要付出巨大的努力，但这种权衡是值得的，因为它能提供对核心业务事件更深层次的洞察。
总的来说，这场讨论反映了在采用复杂且不断演进的标准所面临的挑战，与维护一个开放、中立的可观测性数据生态系统所带来的长期利益之间，所存在的经典辩论。
❯ 您在不更改文件的情况下检查此存储库。使用一个工具列出顶级文件，然后用一句话总结您的发现。 ◇ 推理摘要 │ 列出顶级文件 ▸ fs.list /root/common-lisp/frob READ ∙ 正在运行 fs.list · 00:00 ✓ fs.list cpu 0.001s · real 0.002s │ /root/common-lisp/frob │ d .git/ │ d .github/ │ d .qlot/ │ d bin/ │ d dist/ │ d docs/ │ d native/ │ d nix/ │ d recovery/ │ d script/ │ d src/ │ … +13 行 ● autolith 该存储库是一个包含源代码、测试、恢复工具、文档、构建配置、原生资产以及 GitHub/Nix/Quicklisp 支持的 Common Lisp 项目。
```
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录
Autolith：一个带有实时运行环境的编程代理 (lambda-symbolics.com)
23 分，由 vismit2000 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
rufius 7 分钟前 [-]
这是一个有趣的想法。前几天我也在想类似的事情，主要基于 Smalltalk 或 Erlang 中 Actor/对象+邮箱的概念。我还没真正去实践这个想法，但这个周末可能会用 Elixir 尝试一下。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
**Rust Glancer** 是一款全新的轻量级 `rust-analyzer` 替代方案，专为硬件配置有限或内存受限的开发者打造。该项目历时四个月开发，旨在通过摒弃传统 LSP 增量且耗内存的架构，将内存占用控制在 100MB 以内。
Rust Glancer 不会将整个工作区状态保存在内存中，而是采用“冻结”分析模型。它会对项目进行一次索引，将结果存储在文件系统中，并在需要时仅将必要数据加载到内存中。这种方法使得编辑器重启后能立即完成索引，并显著降低内存开销，非常适合老旧设备和多项目工作流。
虽然它的功能不如 `rust-analyzer` 全面，且由于涉及文件系统 I/O，在某些任务上速度较慢，但它依然是一款称职的日常开发工具。它支持类型推断、特征解析（通过 Chalk）以及跳转到定义和内联提示等常见的 LSP 操作。开发者在 LLM 的辅助下构建了该项目，同时保持了对架构的完全掌控。Rust Glancer 为那些愿意牺牲一点“按键级”响应速度，以换取更轻量、更高效资源体验的开发者提供了一个务实的选择。
这篇 Hacker News 讨论介绍了 **Rust Glancer** 的发布，这是一个旨在将内存占用降低至现有工具 1/100 的新型语言服务器协议（LSP）实现。
讨论帖始于 `matklad` 的澄清，他表示自己仅对该项目发表了评论，实际作者是 `popzxc`。社区的反应反映出人们对 rust-analyzer 等现有工具普遍感到沮丧，因为这类工具在为大型 Rust 工作区构建全内存数据结构时，往往速度缓慢且极度消耗资源。用户们正积极将其与其他集成开发环境（IDE）体验进行对比，例如 Rust Rover。
评论区中关于技术术语的一段插曲也引发了关注。当有用户质疑为何未对缩写词（LSP）进行定义时，支持文档易读性的一派与认为 LSP 属于行业基础知识的一派之间展开了讨论。这场辩论凸显了软件开发领域正在发生的变化：一些从业者完全依赖大语言模型（LLM）来生成代码，这进而引发了关于“高质量”代码定义，以及传统 IDE 工具必要性演变的进一步讨论。
五角大楼解雇了《星条旗报》的总编辑、一名资深记者以及该报发行人，理由是“不服从管理”。此前，总编辑埃里克·斯莱文（Erik Slavin）和记者劳拉·科特（Lara Korte）在接受哥伦比亚广播公司（CBS）采访时，公开捍卫了该军事媒体的编辑独立性，并批评了五角大楼可能存在的干预行为。 此举是美国政府试图加强对该刊物控制的持续行动的一部分。国防部官员已表示，希望将该报的报道重点从一般新闻转向严格聚焦“作战”和军事事务的内容。此次解雇在新闻自由倡导者中引发了强烈抗议，全国新闻俱乐部谴责此举是试图操控军事报道的“无耻行径”。 这些紧张局势与近期海军现役上校被突然任命为副发行人一事不谋而合，显示出其领导层正在发生转变。尽管五角大楼坚称仍致力于独立新闻报道，但撤换负责捍卫这种独立性的关键员工，已引发了外界对这家百年媒体未来自主权的严重担忧。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
五角大楼在《星条旗报》领导层抵制干预后将其解职 (apnews.com)
38 分，petethomas 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助
delichon 0 分钟前 | 下一条 [–]
如果我的老板指挥我做事，而我以独立性为由抵制她的干预，她会很快就给我“独立”的。回复
B1FF_PSUVM 16 分钟前 | 上一条 [–]
“谁付钱，谁做主。” 这是众所周知的事。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
这段文字反思了 Hacker News (HN) 作为平台的独特性。作者承认 HN 的评论经常不准确、无端刻薄，且比起建设性反馈，更像是“西蒙·考威尔风格”的尖刻批评。尽管如此，作者认为 HN 依然是进行技术探讨的最佳论坛。 与其他平台因耸人听闻的内容而淹没高质量信息不同，HN 的排名算法和对用户举报的高度依赖，有助于抑制争论，让专业且见解深刻的内容脱颖而出。作者指出，许多最有价值的技术讨论往往出现在评论区而非链接的文章中，但这些见解却经常被埋没。 本文同时也汇集了各类讨论中的“精华”，涵盖了广泛的技术和职场话题：MS Word 文件格式混乱的遗留问题、软硬件集成的复杂性（如戴尔的扬声器问题）、工程伦理、企业管理不善，以及创业公司与大厂工作的现实对比。最终，作者认为，尽管 HN 存在缺陷并偶尔伴有负面言论，但其汇集的专业知识使其成为科技界不可替代的资源。
这篇 Hacker News 帖子重温了 Dan Luu 在 2016 年发表的文章《HN：精华部分》，该文汇集了平台上高质量且发人深省的评论。
讨论的焦点在于 Hacker News 的演变。一位用户指出，该网站历史上的“精华”源于对纯粹技术探讨的专注，很大程度上免受了当代关于职业地位、财富和行业倦怠的焦虑影响。另一位评论者认为，该平台的价值在于寻找真正的专业见解，而不是追逐名利或怀念科技行业的“黄金时代”。
这篇帖子还强调了该话题的持久性，因为这篇文章在过去几年中多次被社区重新提及。用户们分享了追踪收藏评论的实用技巧，而版主 dang 则就该文章在网站上的反复出现提供了背景说明。总的来说，此次讨论反映了大家共同的愿望，即维护一个以实质性技术对话为优先的空间。