每日HackerNews RSS

您可以在 Flyway 社区版中实现自动回滚功能,而无需购买 Teams 许可证,其方法是将“撤销”(undo)操作视为向前推进的迁移。 该策略包含三个关键步骤: 1. **准备:** 维护一个存放 `.down.sql` 脚本的目录,这些脚本需与您的版本化迁移相对应。 2. **执行:** 当触发回滚时,系统会识别最后一批已执行的迁移,创建一个临时目录,并生成“合成”迁移。这些迁移使用更高的版本号(以满足 Flyway “始终向前”的规则),并包含原始脚本的逆向逻辑。 3. **清理:** `afterMigrate.sql` 回调会在同一事务中执行一条 `DELETE` 语句,从 `flyway_schema_history` 表中清除原始记录和合成记录。 通过使用 `-group=true` 标志,整个过程被封装在一个数据库事务中,从而确保了原子性。这会创建一个干净的“撤销”状态,使数据库恢复到之前的模式,并将原始迁移再次显示为“待处理”。虽然这需要手动创建降级脚本并直接操作模式历史表,但它为付费企业功能提供了一种稳健且免费的替代方案。

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”,这是一套作为最后防线的独立银行备份基础设施。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 | 联系 搜索:

更多

联系我们 contact @ memedata.com