Hacker News Digest
· 14 黑客新闻
我们已正式通知 SpaceX，计划于 2026 年 11 月 12 日终止向 Cursor 提供 OpenAI 模型的合同。这是一个极其艰难的决定，因为我们深知开发者对 Cursor 的依赖。做出此选择的核心原因在于，基于 Elon Musk 旗下公司过往多次违反合同条款的经历，我们无法确信 SpaceX 会遵守我们的服务条款。尽管我们对 Cursor 团队及其产品怀有巨大敬意，但为了保障即将推…
第九巡回上诉法院在类似的内华达案件中裁定，体育博彩不属于联邦《商品交易法》保护的“互换”范畴，这一判决直接动摇了此前联邦法官 Michael Liburdi 阻止亚利桑那州起诉 Kalshi 的禁令基础。由三名特朗普任命的法官组成的合议庭明确指出，将“事件”解读为“结果”是过时的用法，国会并未意图剥夺各州对博彩的传统监管权。随着这一裁决，亚利桑那州总检察长 Kris Mayes 有望重启对 Ka…
苏美尔王表中大洪水前的八位国王，其统治时长动辄数万年，且多为600的整数倍。有人推测这些数字是史前气候剧变、火山爆发或海平面变化的扭曲记忆。本文通过统计模型，将王表中的时间节点与第四纪古气候事件目录进行对齐测试。结果显示，在固定锚点11.6 ka BP的情况下，苏美尔序列并未表现出统计显著的吻合度，p值为0.350。即便放宽条件或调整锚点，经过多重比较校正后，结果依然不支持这一假说。文章还对比了…
我在用LLM进行漏洞研究时，发现模型在长时间对话中容易遗忘关键结论或基于错误假设继续推理。为了解决这个问题，我尝试将LLM的记忆系统改造为类似程序分析的逻辑引擎。通过引入Datalog规则，我开发了Lemmalog，让LLM负责理解模糊的自然语言和调试输出，而由数据库负责维护结构化事实及其推导关系。这样，当某个观察结果被修正时，所有依赖它的结论会自动失效，并能追溯推导来源。这种思路让漏洞调查过程…
StemDeck 是一款专为音乐人、制作人和爱好者打造的免费开源音轨分离工具。它基于 Demucs 模型，能在本地将 MP3、WAV 或 YouTube 链接中的音频一键拆分为人声、鼓、贝斯、吉他等六种音轨。与 Moises 或 LALAL.AI 等云端服务不同，StemDeck 无需注册、不上传数据，所有处理均在本地完成，彻底保护隐私。它提供类似 DAW 的波形编辑器，支持静音、独奏、音量调节…
TurboKV 是一款用 Rust 编写的异步嵌入式键值存储，支持原子批处理、有序范围扫描、可配置持久化、压缩和后台合并。它提供三种持久化预设：DbOptions::fast() 适合缓存场景，DbOptions::durable() 推荐用于进程崩溃恢复，DbOptions::paranoid() 则提供最强数据保障。在 Apple M4 上的基准测试显示，TurboKV 在多种工作负载下性能…
- ▲ 42PPWR新规重创桌游行业
欧盟新推出的PPWR包装法规正在给小型桌游设计师带来沉重打击。除了复杂的合规流程，每个成员国不同的EPR费用标准让成本难以预估。Black Armada、Genesis of Legend Publishing等团队已暂停向部分欧盟国家发货，甚至有人称这是压垮生意的最后一根稻草。面对模糊的条款和不断叠加的监管压力，许多独立创作者正被迫重新评估是否继续服务欧盟市场。
在 Monzo，我们深知客户的生活没有停机维护时间，因此必须确保服务 24/7 不间断。为此，我们构建了完全独立的备份基础设施 Monzo Stand-in，运行在 Google Cloud Platform 上，作为 Primary Platform（运行在 Amazon Web Services 上）的最后一道防线。与传统的灾难恢复不同，我们并未简单复制现有服务，而是重新开发了仅包含核心功能…
最近几周，我沉迷于探索生成式艺术，并尝试将闲置的 Ender 3 3D 打印机改造成绘图仪。通过在打印头安装磁铁固定 0.2mm 针笔，配合 Inkscape 生成 Gcode，我成功实现了低成本的艺术创作。利用 Simple Inkscape Scripting 扩展，我可以用 Python 编写脚本，结合 Pillow 和 NumPy 库，轻松生成抽象的流动图形。最让我惊喜的是，脚本的输入可…
Kumander Linux 是一款专为 Windows 用户设计的 Linux 发行版，其桌面界面灵感直接源自 Windows 7，旨在让过渡过程尽可能平滑。系统预装了 Google Chrome 作为默认浏览器，并内置 LibreOffice 以兼容 Microsoft Office 文档格式。对于游戏玩家，Steam 上约 80% 的热门游戏可直接运行；创作者也能直接使用 Kdenlive…
在 MacBook Neo 涨价后，Chuwi 推出了售价仅 449 美元的 Unibook，搭载 Intel Wildcat Lake 处理器。这台机器拥有令人惊喜的丰富接口和不错的键盘，但触控板手感极差，屏幕色彩表现也远不及宣传。更糟糕的是，其驱动程序支持几乎为零，重装系统需要用户手动提取驱动。虽然它适合喜欢折腾的极客作为项目机，但对于普通用户而言，这台充满“惊喜”的低价笔记本可能并不值得推…
- ▲ 11日本神社583年冰期占卜记录
日本一处神社坚持记录某湖泊结冰情况长达583年，将其作为占卜仪式的一部分。从1443年至今，这份跨越六个世纪的观测数据不仅见证了气候的变迁，也反映了人类对自然现象的持续敬畏。数据中详细记录了每年冰层裂缝的形成与冻结情况，部分年份甚至标注为“未冻结”或“不确定”。这些由NSIDC G01377 ARAI1归档的历史记录，如今成为研究长期气候变化的重要参考。这一传统将信仰、观测与时间紧密结合，展现了…
Flyway Teams 版本中的 undo 功能被付费墙挡在外面，但社区版用户不必为此在深夜崩溃。我通过 Python 实现了一套无需直接执行 SQL 的回滚方案：将回滚逻辑包装成新的正向迁移脚本，利用 Flyway 版本必须递增的规则，配合 afterMigrate 回调清理历史表记录。整个过程在单个事务中完成，确保原子性。虽然需要手动编写 down 脚本且状态依赖容器文件系统，但这一方案让…
2022年，一个装满300多封二战情信的纸箱神秘出现在USO办公室，写信人Speedy Weber的身份成谜。档案管理员Michael Case在多年搜寻无果后，最终通过业余家谱学家Matthew Brown找到了Speedy的侄子Arthur Serota和侄女Karen Weber Figilis。这些信件记录了Louis Weber在二战期间从Sicily到North Africa的战场生…