您可以在 Flyway 社区版中实现自动回滚功能，而无需购买 Teams 许可证，其方法是将“撤销”（undo）操作视为向前推进的迁移。
该策略包含三个关键步骤：
1. **准备：** 维护一个存放 `.down.sql` 脚本的目录，这些脚本需与您的版本化迁移相对应。
2. **执行：** 当触发回滚时，系统会识别最后一批已执行的迁移，创建一个临时目录，并生成“合成”迁移。这些迁移使用更高的版本号（以满足 Flyway “始终向前”的规则），并包含原始脚本的逆向逻辑。
3. **清理：** `afterMigrate.sql` 回调会在同一事务中执行一条 `DELETE` 语句，从 `flyway_schema_history` 表中清除原始记录和合成记录。
通过使用 `-group=true` 标志，整个过程被封装在一个数据库事务中，从而确保了原子性。这会创建一个干净的“撤销”状态，使数据库恢复到之前的模式，并将原始迁移再次显示为“待处理”。虽然这需要手动创建降级脚本并直接操作模式历史表，但它为付费企业功能提供了一种稳健且免费的替代方案。
每日HackerNews RSS
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
面向白嫖党的 Flyway，使用 Python 实现的回滚功能 (aconcan.io)
3 分，由 aconcan 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
书评：驰为（Chuwi）449 美元的 Unibook 笔记本电脑是 MacBook Neo 的哈哈镜版 (arstechnica.com)
rbanffy 1 小时前发布，5 点 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
TurboKV 是一个专为 Rust 设计的异步嵌入式键值数据库，针对高性能存储进行了优化。它支持原子批处理、有序范围扫描、后台压缩，并通过三种模式提供可配置的持久性：**快速**（内存中）、**持久**（可崩溃恢复）和**偏执**（高频 fsync）。 主要技术特性包括： * **硬件加速：** 利用 AES 硬件指令优化布隆过滤器的性能。 * **灵活的 API：** 提供简单的 CRUD 操作、批量插入以及原子 `WriteBatch` 支持。 * **内存效率：** 具备可配置的内存表、块缓存以及多种压缩选项（LZ4、Snappy、Zstd）。 * **流式迭代器：** 提供内存高效的范围和前缀扫描，支持懒加载和手动守护控制。 TurboKV 设计上易于与 Tokio 集成，要求用户通过 `close()` 显式管理数据库生命周期，以确保数据完整性。基准测试表明，在顺序和随机写入工作负载中，TurboKV 的性能显著优于 `fjall` 和 `redb` 等同类嵌入式引擎，特别是在使用原子批处理时。要使用它，请将 `turbokv` 和 `tokio` 添加到 `Cargo.toml` 中，并确保启用适当的 CPU 目标特性（AES、SSE2/NEON）以获得最佳性能。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
科技界正针对 OpenAI 因 SpaceX 收购 AI 编程助手 Cursor 而终止双方合作一事做出反应。OpenAI 指出，此举源于合同违规，以及对埃隆·马斯克此前通过提炼其模型来训练 xAI 产品行为的担忧。
讨论的主要要点包括：
* **企业冲突：** 许多用户认为，这是萨姆·奥尔特曼（Sam Altman）与埃隆·马斯克之间长期不和的必然结果。观察人士特别指出，OpenAI 在公开声明中使用了不同寻常的直白语言，而非法律辞令。
* **Cursor 的未来：** 虽然一些人认为这对 Cursor 不利，但另一些人则认为用户会转向第一方“Composer”模型、Grok 或开放权重（open-weight）替代方案。有人推测，OpenAI 此举是为了扫清障碍，从而推出其自有的集成式编程产品，直接与 Cursor 竞争。
* **战略性不信任：** 此举凸显了一个更广泛的趋势：AI 公司正日益加强对其知识产权的保护，以防范合作伙伴进行模型提炼及竞争。
* **市场影响：** 尽管依赖 OpenAI 模型的用户可能会面临服务中断，但许多开发者指出，随着模型日趋商品化以及竞争性替代方案的增多，失去对 OpenAI 特定 API 的访问权限所带来的直接影响已有所减轻。
Kumander Linux（2.1 "Bulalo" 版本）是一个基于 Debian 的发行版，使用 XFCE 桌面环境，旨在提供轻量、稳定且熟悉的体验，特别为简化从 Windows 7 的过渡而设计。
该系统以其直观的界面和丰富的预装软件而著称。它包含了 LibreOffice（办公）、Kdenlive（视频剪辑）、Ardour 7（音乐制作）等必备工具，并预装 Google Chrome 作为默认浏览器。此外，软件中心支持轻松安装各种应用程序和 Flatpaks。
对于关注娱乐的用户，Kumander Linux 兼容 Steam，能够运行绝大多数热门游戏。该系统还通过“Live boot”模式提供了灵活性，无需安装即可进行测试；若需虚拟化运行 Windows，也支持 VirtualBox。凭借活跃的论坛社区，该项目成为了那些希望迁移至 Linux，同时又不愿放弃原有操作环境熟悉感的用户的理想选择——它既免费、强大，又易于上手。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Kumander Linux – 一个带有 Windows 7 桌面的 Linux 发行版 (kumander.org)
10 点，由 linuxkernal 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
Tiberium 14 分钟前 | 下一条 [–]
我很惊讶这个发行版的标题竟然是“Linux 上的 Windows 7 体验”，尽管它只是使用了一个模糊的 Windows 风格 XFCE 主题。如果有人对真正的 Windows 7 仿制品感兴趣，可以看看 https://gitgud.io/aeroshell/atp/aerothemeplasma，它非常接近。
自己看看吧：
- Kumander: https://www.kumander.org/img/images/kumander.png
- AeroShell: https://gitgud.io/aeroshell/atp/aerothemeplasma/-/raw/Plasma...
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Monzo 临时授权 Monzo Stand-In
21 小时前
为了确保全天候的可靠性，Monzo 开发了“Monzo Stand-in”，这是一套作为最后防线的独立银行备份基础设施。Monzo 的主平台运行在 AWS 上，而 Stand-in 则运行在 Google Cloud Platform (GCP) 上。 Monzo 并没有采用镜像主系统的方式（那样会涉及复杂的数据一致性问题，且存在重复相同软件错误的风险），而是从零开始构建了 Stand-in，使用了一套独特的轻量级服务。这种方法最大限度地降低了单一错误同时影响两个平台的风险，且成本效益显著，维护成本仅为主基础设施的 1%。 Stand-in 保留了余额和银行卡详情等关键数据的准实时、最终一致性副本。当主系统发生故障时，Monzo App 会切换到简化界面，由 Stand-in 独立授权交易。一旦主系统恢复，它会核对这些“交易记录”以同步主账本。 在紧急情况下，该策略优先考虑可用性而非完美的一致性，使得客户即使在重大事故期间也能继续消费和管理资金。Monzo Stand-in 在 2024 年 8 月的一次故障中被证明是成功的，它代表了一种现代且实用的灾难恢复模式，确保了系统能够抵御硬件故障和内部软件错误。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Monzo Stand-In (monzo.com)
9 分，作者：coffeefuel，1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
StemDeck 是一款免费、开源的本地音频音轨分离工具。与 Moises 或 LALAL.AI 等云端服务不同，StemDeck 完全在您的本地设备上运行，无需账号、订阅或配额限制，确保了完全的隐私性。
该工具利用 Meta 的 Demucs 模型，可处理各类文件（如 MP3、WAV、FLAC 等）或 YouTube 链接，将音频拆分为六个独立的音轨：人声、鼓点、贝斯、吉他、钢琴以及“其他”。
主要功能包括：
* **DAW 风格界面：** 提供多轨混音器，支持音轨独奏、静音、音量平衡、循环播放及波形缩放。
* **本地处理：** 所有操作均在您的硬件上完成；不存储、缓存或分发任何数据。
* **灵活导出：** 支持导出单个音轨或根据需求自定义混合导出。
* **兼容性：** 适用于 macOS 和 Windows，支持 GPU 加速（NVIDIA/Apple Silicon）或仅使用 CPU 处理。
StemDeck 专为个人学习和音乐实验设计。尽管它不具备商业平台那样深度的移动端功能，但对于追求音频工作流本地掌控权的音乐人和制作人而言，它提供了一个高质量、私密且永久免费的解决方案。
**StemDeck** 是一款全新的免费开源桌面应用程序，允许用户将音乐曲目分离为六个独立的音轨（人声、鼓、贝斯等）。该项目旨在作为基于订阅的云服务的本地化替代方案，通过在用户设备上直接处理所有音频来确保隐私安全。
StemDeck 基于 Python、Demucs 和 Tauri 构建，支持 Windows、macOS 和 Linux 等跨平台使用，并针对 NVIDIA 和 Apple Silicon 提供硬件加速。主要功能包括：
* **广泛的兼容性**：支持多种音频格式、YouTube/SoundCloud 集成以及播放列表管理。
* **内置工具**：包含基于浏览器的多轨混音器、自动 BPM/调性分析、音高/速度控制以及生成的节拍音轨。
* **便捷性**：通过二维码提供移动端友好界面，支持 Unraid/Docker，并具备持久化的本地库。
该项目采用 Apache 2.0 许可证发布，无广告、无遥测数据采集，也无需注册账号。目前该项目处于 Alpha 测试阶段，开发者欢迎用户提供反馈并参与贡献，以进一步完善工具的处理能力。
作者记录了他们使用改装后的 Ender 3 3D 打印机进行生成式绘图艺术的探索过程。通过用磁铁将针管笔固定在打印头上，他们搭建了一套实用且经济的绘图装置。
为了生成艺术作品，作者使用 Inkscape 将矢量路径转换为 G 代码，并指出 Hershey 字体对于制作清晰的线条文字至关重要。其工作流程的核心是“Simple Inkscape Scripting”插件，它支持基于 Python 的程序化生成。由于该工具支持 NumPy 和 Pillow 等库，作者可以轻松尝试各种算法设计，例如从手绘输入中提取流动的抽象形状。该项目凸显了通过结合廉价硬件与灵活的脚本软件，生成式艺术变得触手可及。作者计划在继续探索新技术的同时更新他们的进展。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
绘图仪艺术实验 (sometimes.digital)
4 分，由 surprisetalk 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本摘要概述了 **Lemmalog** 的开发背景，该系统旨在解决大语言模型（LLM）智能体在执行漏洞研究等复杂任务时存在的“记忆”局限性。 在进行长期调查时，大语言模型往往难以维持准确且不断演进的状态，经常会遗忘已被证伪的假设或陷入循环推理。标准的记忆系统（如向量数据库）通过检索提供过去的信息，但无法管理逻辑一致性或因果依赖关系。 作者提出将大语言模型的调查过程视为一个**程序分析**问题。Lemmalog 充当了“编译器”的角色： * **大语言模型（前端）：** 将杂乱无章的非结构化数据（代码、日志）提取为结构化事实。 * **Datalog（分析引擎）：** 使用声明式逻辑管理这些事实。它能自动处理依赖关系跟踪、增量更新和撤回机制——如果某项输入事实被证明是错误的，系统会自动失效所有相关的结论。 基准测试显示，Lemmalog 在现有的记忆系统中极具竞争力，特别是在“知识更新”任务中表现优异。由于它通过维护状态而非重读整个对话历史，因此显著降低了 Token 的消耗。该项目证明，通过更好的结构化状态管理来取代“更多上下文”，可以有效提升智能体的可靠性。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
我不小心把大语言模型记忆变成了程序分析 (pwning.systems)
8 分，作者：matt_d，1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
linguae 1 小时前 [–]
今年夏天我一直在研究利用本地大语言模型进行代理编程。虽然我还远算不上专家，但有一个想法一直萦绕在心头：即利用“老派”人工智能（如启发式搜索）中的技术来引导代理进行规划。这篇文章对 Datalog 的使用引起了我的共鸣，因为逻辑编程曾是老派符号人工智能的重要组成部分。我对这种“老派”人工智能与大语言模型的结合非常好奇。
回复
指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 和 Cookie 以继续。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿
登录
第9巡回法院在 Kalshi 赌博案中支持各州立场 (azmirror.com)
10 点，hungryhobbit 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论
帮助
hungryhobbit 1 小时前 [-]
上诉法院裁定，体育博彩不受用于阻止 Kris Mayes 起诉的联邦法律保护。
回复
dcrazy 19 分钟前 | 父评论 [-]
希望 dang 能来重写一下标题。
回复
Detrytus 1 分钟前 | 根评论 | 父评论 [-]
他为什么要那么做？这可是链接文章的真实标题。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索：