最新

一篇博客文章，解释如何使用细化映射在数据库模式更改期间保留外部属性，并通过将布尔列迁移到可空时间戳再到事件溯源的例子进行说明。

Mitchell Hashimoto 及其妻子承诺向 Zig 软件基金会捐赠 30 万美元，理由是相信 Zig 的变革潜力以及支持独立软件项目的愿望。

Hillel Wayne 宣布其著作《程序员逻辑》发布 v0.13 版本，包含大量重写和新内容，并概述了迈向印刷版的下一步计划。

Ghostty 1.0 是一款面向 macOS 和 Linux 的开源终端模拟器，将于 2024 年 12 月以 MIT 许可证公开发布，旨在成为现有终端的替代品，追求最快、功能最丰富且原生平台体验。

在马斯克诉奥特曼案的第三周庭审中，双方就OpenAI的治理与使命相互攻击对方可信度。陪审团将就一项可能影响OpenAI首次公开募股及重组的咨询性裁决进行审议。

在形式化方法中解释可能性属性的概念，补充安全性和活性，并讨论它们在规范制定和模型检验中的使用。

Mitchell Hashimoto 反思了他用 Zig 构建的终端模拟器 Ghostty 达到1.0版本的过程，讨论了项目的起源、成功但富有争议的内测版，以及他对这款终端的愿景。

作者描述了一种称为'Stream of Consciousness Driven Development'的技术，在结对编程中，他们在做出更改前先编写一份详细的markdown文件来探究问题和解决方案，以确保双方都完全理解其中的推理。

Mitchell Hashimoto宣布为开源终端模拟器Ghostty新增八位子系统维护者，并阐述了子系统治理模型及项目扩展目标。

Hostinger 正在为其2026年5月的网络托管计划提供折扣，包括商务计划最高79%折扣、高级计划75%折扣、云创业计划71%折扣。

Hillel Wayne分享了他编写的Z3脚本，讨论了逻辑性质方面的挑战以及他即将出版的书籍Logic for Programmers中的“糟粕”概念。

米切尔·桥本（Mitchell Hashimoto）阐明了他个人对'X as Code'的定义，认为它是一套原则或规则体系，而非等同于编程，并借鉴了他创建Terraform以及Tao of HashiCorp的经验。

Ars Technica采访了Anthropic的Cat Wu——Claude Code的产品负责人，谈及该产品的快速增长、计算资源限制，以及公司在没有长期路线图的情况下采用的迭代式、模型驱动开发策略。

Mitchell Hashimoto 详细介绍了 Ghostty 的 GTK 应用程序重写，以完全拥抱来自 Zig 的 GObject 类型系统，从而提高了稳定性、功能和内存安全性，并通过 Valgrind 验证。

Hillel Wayne 基于对社区项目的分析，讨论了尽管 LLM 在编写 TLA+ 和 Alloy 等形式化规范方面很受欢迎，但它们经常生成浅显、同义反复的属性，无法捕捉微妙的缺陷。

Mitchell Hashimoto根据自己在捐赠者建议基金及其他慈善事业中的经验，为科技非营利组织分享关于改进捐款流程和营销以吸引捐赠者的建议。

Ars Technica 评测了 Velotric Discover M 电动自行车，重点介绍了其升级的中置电机、Shimano Cues 组件以及舒适的通勤设计，价格合理。

本文讨论了AI生成的代码和代理AI如何以低质量的拉取请求和错误报告淹没开源维护者，导致像curl这样的项目取消漏洞赏金，并导致维护者受到骚扰。

文章认为，团队应选择无聊且已被充分理解的技术以确保可靠性，同时可以在开发实践上自由创新，比如TCR（测试&&提交||回滚），这些实践更易于采纳和放弃，没有长期维护负担。

一篇反思性文章，强调除了满足规格和交付演示之外，优秀的软件必须能在用户心中唤起恰当的感受——这种品质无法单靠复选框来衡量。