本文探讨了**精化**的概念——一种在保持系统外部行为不变的情况下改变其实现的技术——在数据库迁移中的应用。它展示了如何在不破坏依赖于数据的现有代码的情况下演化数据库模式。 作者通过一系列迁移来说明这一点：首先，将布尔值`is_activated`更改为可为空的`activated_at`时间戳，然后更改为使用`user_events`表的事物溯源模型。每次更改都通过定义一个**精化映射**来实现，该映射将新的数据结构转换为与旧代码兼容的格式。 然而，作者指出一个关键的细微之处：保持“外部属性”并非自动发生。他们引入了**可变性约束**（例如，用户一旦激活，就保持激活状态），以强调如果考虑不周，更改如何*破坏*精化。 示例表明，如果没有约束，事物溯源可能会违反这些属性。更复杂的场景，例如添加`activated_until`，进一步说明了维护长期精化的挑战。 最终，作者建议使用数据库迁移等相关示例来教授精化，而不是纯粹的形式化方法，以提高理解力。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
无需规范的提炼 (buttondown.com/hillelwayne)
4点 由 BerislavLopac 2小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
(Empty input provided. There is nothing to translate.)
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
我做了自己的 Git (tonystr.net)
14 分，TonyStr 1小时前 | 隐藏 | 过去 | 收藏 | 2 评论
kgeist 8分钟前 [–]
>这个项目的最难部分实际上是解析。
使用 sqlite 怎么样？那样你就不需要解析任何东西，只需要读取/更新表。开箱即用，快速索引。
回复
grenran 4分钟前 | 父评论 [–]
这就是 https://fossil-scm.org/ 的做法
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
我们不支持选择退出表单 (2025) (consciousdigital.org)
4 点 由 mefengl 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
drcongo 6 分钟前 [–]
该网站似乎也不支持页面加载。编辑：我理解他们的痛苦 - 我过去一周一直在多个网站上与 AI 爬虫作斗争，这些爬虫绕过了 Cloudflare 的缓存。每分钟数千次请求，通常指向从未存在过的 URL。百度和 OpenAI，我看着你们。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Velox：Miguel de Icaza 将 Tauri 移植到 Swift 的项目
Velox: A Port of Tauri to Swift by Miguel de Icaza
5 小时前
## Velox：为 Swift 开发者提供的 Tauri Velox 将 Tauri 的桌面应用构建能力带给 Swift 开发者，允许使用 HTML 前端和 Swift 后端创建桌面应用程序。它专为熟悉 Swift 但觉得 Rust 繁琐的开发者设计。 主要特性包括一个 Swift 包插件，可自动构建必要的 Rust 组件，一个 CLI 工具 (`velox`) 用于项目创建 (`velox init`) 和开发 (`velox dev` 支持热重载)，以及生产构建 (`velox build`)。Velox 支持直接提供静态资源，也支持代理到现代 Web 开发服务器（如 Vite），以实现热模块替换等功能。 配置通过 `velox.json` 文件管理，类似于 Tauri 的 `tauri.conf.json`，并支持平台特定的覆盖。Swift 与 webview 之间的 IPC 通过自定义协议处理，可以使用便捷的 `@VeloxCommand` 宏或更手动化的 DSL 实现。Velox 还提供强大的窗口和 webview 控制 API。 该项目利用 Rust FFI 层，提供构建针对已发布 crates 或本地修补版本的选项，用于开发和测试。提供了示例来演示各种功能。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Velox：Tauri 的 Swift 移植，作者 Miguel de Icaza (github.com/velox-apps)
8 分，wahnfrieden 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
成长于基督教家庭，作者在意识到自己对女孩的吸引后，开始质疑她的信仰，害怕受到诅咒。她母亲的回应——选择诚实而非谎言，因为圣经将真理置于首位——成为了一个转折点。这促成了一段建立在不可否认的化学反应之上的高中恋情，尽管内心充满冲突，但两人仍致力于保持真实。 后来，作者认同自己是泛性恋，拥抱一种不受性别束缚的爱，并在自我接纳中找到自由。这段经历影响了她作为演员的工作，尤其是在“小镇谋杀案”中的角色，她在剧中饰演了一个酷儿角色。与许多充满创伤的刻画不同，这部剧允许展现*酷儿的喜悦*——一段没有羞耻感、充满亲密和相互尊重的关系。 这段经历极具解放意义，为她自己的成长经历提供了一个治愈性的反叙事。它强调了代表性的重要性，不仅对年轻一代如此，也对像她母亲一样缺乏正面榜样的人们如此。最终，作者发现，在爱的指引下拥抱真我，使她在个人和职业上都获得了力量。
## TikTok 审查指控与算法担忧 - Hacker News 总结
一篇 pride.com 的文章声称，在公开反对 ICE 后，一些名人遭到 TikTok 审查，引发了 Hacker News 的讨论。虽然文章提供的证据有限——主要是一些关于被压制的传闻——许多评论员质疑其真实性，认为算法因素可能导致了传播范围的减少。
讨论迅速扩大到对 TikTok 被 Oracle 领导的投资集团所有以及潜在政治偏见的担忧。一些用户指出 Oracle 的影响力以及操纵算法以控制叙述的可能性，尤其是在涉及政治敏感话题时。一些人表达了对审查加强以及转向亲建制议程的担忧。
对话还涉及政府对社交媒体的影响、言论自由的定义以及隐私政策被滥用的可能性等更广泛的问题。一些评论员将当前情况与历史上的审查实例进行比较，并对美国当前的政治氛围表示担忧。最终，该讨论强调了对最初指控的怀疑，同时也引发了对平台控制和操纵的更深层焦虑。
检查房间里的人是否真的投入。在会议、决策或讨论后，快速评估大家是否真正达成共识——或者只是点头示意。会议以达成一致告终，然后却什么也没发生。或者更糟——发生了没人真正想要的事情。“All In”能在60秒内捕捉到口头一致和实际承诺之间的差距。
## 全力以赴：评估决策后的真正承诺
“All In”（cognu.app）的创建者分享了一个简单、免费的工具，旨在解决一个常见问题：将会议上的同意误认为真正的承诺。在决策做出后，“All In”会向参与者提出一个问题——基本上是“你会捍卫这个决定吗？”——参与者独立回答。
该工具突出了强力支持、弱力支持以及在沉默导致执行延误*之前*需要进一步讨论的领域。它不是关于强迫忠诚，而是关于明确责任和发现隐藏的疑虑。
创建者在经历因假定获得支持而停滞的项目后构建了它。它不需要账户或设置，旨在决策后立即提供快速、可行的见解。他们正在积极寻求反馈以改进该工具。
## 混沌与普适性：从公交车到量子物理 1999年，一次在墨西哥公交车站的偶然观察引发了一项令人惊讶的发现：公交车发车时间的看似混沌行为，反映了量子物理学中发现的模式。物理学家彼得·谢巴注意到司机根据竞争对手的发车时间协调速度，他的团队将这种系统映射到了一种名为“普适性”的数学现象。 普适性描述了一种在截然不同的复杂系统中出现的共享、精确的随机性和规律性的平衡。它最初是在原子核和黎曼zeta函数（与素数相关）中观察到的，现在已发现于从海冰和骨密度到互联网结构等各种事物中。 当众多相互作用的组件创建一个“谱”——一个数据序列时，就会出现这种模式，并表明可以使用随机矩阵对这些系统进行建模。数学家们正在利用这一点来预测互联网行为，并通过分析海冰中的热传递来改进气候模型。虽然*为什么*仍然是个谜，但普适性暗示着一种支配复杂系统的基本、潜在的数学联系，为我们理解周围世界提供了一种强大的新工具。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
数学、物理和生物学中普遍出现的通用模式 (quantamagazine.org)
5 分，来自 kerim-ca 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
科隆大学一位教授在ChatGPT Plus中临时禁用数据同意后，遭遇了重大数据丢失。尽管身为付费订阅者，他精心整理了两年之久的学术工作——包括项目申请、教学材料和发表稿件——被永久删除，且没有任何警告或恢复选项。
OpenAI确认了此次删除，理由是他们的“隐私优先设计”政策，即应要求不可逆地删除数据。虽然承认删除前有确认提示，但他们表示不存在备份以方便恢复，这符合隐私最佳实践。
该教授认为，这种缺乏数据安全和责任的做法使得ChatGPT不适合专业学术使用。该事件凸显了生成式人工智能融入研究和教学中的一个关键缺陷：这些工具优先考虑隐私而非数据保存，未能达到学术环境中对可靠性的期望。该教授现在建议研究人员对在这些平台上完成的所有工作进行独立备份。
## 数据丢失与对人工智能的依赖：黑客新闻讨论
一位研究人员在选择不保留数据后，失去了在ChatGPT中进行为期两年的工作。这一事件在黑客新闻上引发了关于数据责任、依赖订阅式人工智能服务的风险，以及“丢失”工作本身的价值的争论——一些人质疑这是否是真正重要的工作，还是仅仅是人工智能聊天记录。
许多评论员强调了备份和拥有自己数据的的重要性，并将这种情况与关于数据丢失的早期警示故事（如软盘）进行对比。 几位指出，将关键研究存储在并非为持久存储而设计的平台上的短视行为，建议使用API访问和本地数据库作为替代方案。
讨论还涉及更广泛的主题，包括数据隐私、过度依赖人工智能的潜力，以及即使在学术界中，数据管理技能的惊人缺乏。 还有一个批评研究人员决定的YouTube视频被分享，强调了公开承认这种错误的判断力有问题。 最终，这一事件作为一个严峻的提醒，要优先考虑数据安全，并避免将短暂的平台视为可靠的长期存储解决方案。
## 放弃流媒体：Linux 音乐播放器汇总
由于对流媒体服务（如 Spotify）的不满——成本上升、对艺术家报酬的质疑以及侵入性人工智能——作者探索了 Linux 音乐播放器的生态系统，以寻求自助托管、以拥有为中心的体验。核心观点是，通过购买（CD、Bandcamp）或自助托管音乐库（通过 Jellyfin/Navidrome）直接支持艺术家，比流媒体更可取。
作者测试了许多播放器，优先考虑现代界面、原生集成、性能和强大的功能。**Feishin** 搭配音乐服务器脱颖而出，成为首选——它提供了一种“个人 Spotify”体验，具有广泛的功能和定制选项。**Tauon** 迎合了“高级用户”，采用独特的以播放列表为中心的方法，并支持广泛的网络源。**Recordbox** 以其易用性和快速性能令人印象深刻，而 **Euphonica** 仍然是已经使用 MPD 的用户的可靠选择。更简单的选项，如 **Amberol**，非常适合休闲听众。
最终，作者发现 Linux 音乐播放器拥有一个令人惊讶的充满活力的生态系统，由充满激情的开发者构建，为主流流媒体的局限性提供了引人注目的替代方案。
## Linux 音乐播放器现状 (2026) - Hacker News 讨论总结
最近 Hacker News 的讨论探讨了 2026 年 Linux 音乐播放器的现状，揭示了各种各样的偏好以及对本地音乐管理持续的需求。许多用户对流媒体服务表示不满，理由是成本和缺乏所有权。
几个播放器被提及：**Audacious**（Winamp 皮肤是怀旧的最爱），**MPV/VLC** 用于简单的播放，**SwingMusic**（因歌词和播放同步而受到赞扬，但缺乏完整的随机播放），**Strawberry**，**Quod Libet**，以及基于终端的 **MPD + ncmpcpp**。从 Windows 迁移的 **Foobar2000** 用户推荐 **DeadBeeF**。
主要关注点包括 **无缝播放**（对于设计为连续体验的专辑至关重要）和强大的 **播放列表管理**。一些用户喜欢自托管解决方案，如 **SwingMusic**，而另一些用户则欣赏命令行播放器（如 **mplayer**）的实用性。
有趣的是，一些评论员注意到一种趋势，即在工作期间，人们更倾向于使用电脑 *而不是* 手机进行专注的聆听，并利用 Raspberry Pi 或 Plex 设置家庭音频。讨论还涉及了较旧音乐播放器博客的美学，让人想起“alivenet”时代。
本文介绍有限循环群G的*循环子群和*，记为S(G)。S(G)是G所有*真*子群的阶的和，等于n的别divisor和（n的真因子之和）。本文通过例子（Z₂，Z₆，Z₁₈）说明S(G)可以小于、等于或大于n。 一个关键定理指出，如果S(G) = 1，那么G是一个域。反之，一个阶为pⁿ的有限域的加法群具有循环子群和1 + p + p² + ... + pⁿ⁻¹。 本文进一步根据S(G)和n的性质对循环群进行分类：如果n是亏数，则S(G) < n；如果n是完全数，则S(G) = n；如果n是超数，则S(G) > n。最后，提出了一些关于进一步研究的猜想，包括S(G)与子群之间的关系，以及存在S(G) = |G|的无限循环群。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
循环子群和 (m-slee.netlify.app)
3 分，由 richard_chase 2 小时前发布 | 隐藏 | 过去的 | 收藏 | 1 条评论
richard_chase 2 小时前 [–]
一些独立的数学研究，仅供娱乐。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：