Hacker News Digest
· 8 黑客新闻
重读 1910 年出版的 Principia Mathematica，我惊讶地发现它读起来像是一本现代编程语言教材。Whitehead 和 Russell 在书中极具洞察力地探讨了 referential transparency、extensionality 以及 type 等现代概念，甚至早于 lambda-calculus 的正式提出就引入了 propositional functions…
Flutter 3.47 正式发布，带来了设计系统的重大变革。Material 和 Cupertino 设计库现已作为独立的 material_ui 和 cupertino_ui 包发布，版本达到 1.0，这意味着设计系统的更新不再受限于核心 SDK 的季度发布周期。此次更新还默认在桌面端启用 Impeller 渲染引擎，消除动画卡顿，并针对即将到来的 Xcode 27 和 iOS 27 做好了…
- ▲ 33构建要宽泛，发布要精简
传统工程流程要求我们在动笔前先规划好所有边界，但这往往让我们在信息最少时做出最关键的决策。随着AI让代码生成和分支拆解变得极其廉价，我改变了策略：先设计，然后在一个分支上“宽泛构建”，直到功能完整并经过演示验证，最后再将其拆解为多个“精简”的PR进行发布。这种方法将构建时的探索自由与发布时的审查严谨分离开来，既利用了AI的效率，又保留了人工审查对架构判断的核心价值。
1981 年 8 月 12 日，IBM 发布了改变计算格局的 Personal Computer。45 年后的今天，我们回顾这段历史，发现除了开放架构和 Intel 8088 处理器，真正奠定其成功基石的或许是被誉为机械键盘巅峰的 Model F/XT。从早期的 SCAMP 原型机到 Datamaster 系统，再到最终问世的 5150 和 5160，IBM 在键盘设计上经历了无数迭代。Mode…
Ballet 是由 Brainfish 团队打造的智能工作流自动化平台，专为解决增长创意因等待工程排期而搁置的痛点而生。你只需用自然语言描述想要的业务结果，Ballet 就能自动编写针对任意 API 的集成代码，实现从线索捕获到收入堆栈的全链路自动化。无论是营销、收入运营还是销售运营，Ballet 都能绕过繁琐的工程队列，让团队专注于高价值创新，而非重复的集成开发。
Apple 正式推出 Apple Upgrade 租赁服务，彻底改变购买 iPhone、iPad、Mac 和 Apple Watch 的方式。用户无需一次性支付高昂费用，只需按月支付灵活的低额租金，即可使用最新设备。租赁期满后，你可以轻松将旧设备退回并升级到新款，整个过程由 Klarna 提供租赁支持。该计划覆盖 iPhone 17 Pro、iPhone Air、iPad Pro 等多款热门机型…
Arthur Samuel 早在 1950 年代就致力于让计算机掌握下跳棋的技巧。他最初在 Bell Labs 和 University of Illinois 构思，后在 IBM 利用 IBM 704 和 IBM 7090 等机器，用原始机器码编写程序。他首创将学习机制引入程序，使 AI 能够通过 minimax 和 alpha-beta pruning 等技术自我进化，甚至能挑战大师级选手。…
Jolt 最近推出了两大功能：程序镜像和可移植的 Scheme 后端。程序镜像让你能像飞机黑匣子一样，在出错时保存整个运行状态，之后在 REPL 中任意回溯调试，彻底告别盲目打日志的烦恼。此外，Jolt 解耦了与 Chez Scheme 的绑定，通过分层架构支持 Gambit 等后端，让代码能直接运行在浏览器中。这不仅提升了协作效率，还让程序不再被单一运行时束缚，真正实现了灵活部署。