Spotatui 是一个轻量级的 Rust 终端音乐播放器，也是 spotify-tui 的活跃维护分支。它无需 spotifyd 或官方客户端即可原生播放 Spotify（需要 Premium），但 Spotify 是可选的。它还支持本地文件、Subsonic/Navidrome、网络电台、YouTube、Qobuz，以及在 macOS 上的 Apple Music。功能包括同步歌词、实时可视化器、跨来源队列、播放列表同步、Lua 插件、收听历史/回顾，以及完整的命令行界面。流式播放时约占用 78 MB 内存。桌面应用在 Spotify 风格的窗口中提供相同的播放器。可通过一行脚本、Homebrew、Cargo、AUR、Winget 或 Nix 安装。AI-DJ 和 MCP 集成让编码代理可以控制播放。它基本上可脚本化、可配置，并由社区维护。
每日HackerNews RSS
Hypermass CLI 是一个命令行工具，可将实时 Hypermass 数据流同步到本地文件夹。安装后，使用 `hypermass subscribe <stream>` 配置流，并使用 `hypermass sync` 在文件发布时持续获取文件。文件会出现在 `<home>/hypermass/subscriptions/<stream-id>` 下，每个载荷一个文件，以载荷 ID 命名，并按发布顺序交付。你可以处理并删除数据文件，但必须保留每个流的隐藏 `.hypermass` 文件夹，它用于跟踪你在流中的位置。`sync` 还会从配置的发布源发布文件。使用 `status`、replay 和 `reload` 监控或管理流。该 CLI 面向数据科学家、开发者、研究人员和生产系统，他们需要一种简单、可重复、跨平台的方式来自动化数据摄取和发布。
1976年7月，阿佩尔和哈肯宣布了四色定理的证明，借助一台运行了1200小时、做出了100亿次判断的计算机；约翰·科赫协助了算法。结果引发了激烈争论。一些数学家接受了它；另一些则拒绝这种依赖计算机验证而非人类可核查推理的证明，称其为“神谕”，或说它根本不是数学。年龄也起了作用：年长的数学家怀疑计算机证明，年轻的数学家则怀疑700页手工计算。比尔·图特、海因里希·赫施和特德·斯沃特的高调支持提升了可信度，尽管《纽约时报》最初拒绝报道此事。1979年，托马斯·蒂莫奇科主张，无法通览的证明不是传统证明；斯沃特回应说，计算机辅助证明只是纸笔的延伸。这一事件标志着人机数学的开端，并提出了关于证明中的信任、验证和优雅的持久问题。
Guitoro 是一款免费、完整的在线虚拟吉他。它提供四种采样乐器——钢弦原声吉他、古典吉他、电吉他和四弦贝斯——音色可选、10 种调弦、最高第 10 品变调夹以及左手模式。在 24 个大小调中任意一个调里，提供 15 个具有真实琴颈指型的和弦；可用 F#m7 等和弦编辑调性，并在 Standard、Easy 和 Up 三种按法之间切换。使用 56 种扫弦/拨弦模式，以任意速度（最低 20%）演奏 51 首歌曲，或粘贴你自己的 ChordPro/和弦网站歌曲并添加反复记号。伴奏乐队提供 15 种鼓风格和 25 条贝斯线，速度 10–220 BPM，并带节拍器。独奏模式支持带锤弦、推弦和颤音的旋律。音箱与效果器包括过载、失真、法兹、EQ、混响和延迟。最多录制 10 分钟，可回放或导出 WAV/压缩音频。麦克风调音器覆盖吉他、贝斯、尤克里里和特殊调弦。一切都在浏览器中运行。
启用 JavaScript 和 Cookie 以继续
Ledger确认，受损的硬件钱包是通过一家经销商流入的，其中植入了微型eSIM和微控制器，用于在设置过程中截取屏幕数据并窃取助记词。评论者指出，这印证了多年来被斥为“偏执”的供应链威胁。许多人批评Ledger的安全实践，建议跨厂商使用多签，并认为硬件钱包从来就不是完整解决方案。讨论还涉及加密货币相比传统银行缺乏追索途径、财务激励驱动复杂攻击的力量，以及关于硬件供应链信任的教训。一些人认为这是自托管可预见的失败；另一些人则呼吁更好的防篡改设计或开源设计。该讨论串反映出对加密安全的深度怀疑，以及保护数字资产免受资金充足、决心坚定的攻击者侵害的难度。
`ai-deslop` 是一个 Oxlint 插件，提供有主见的规则，用于标记低信号、AI 生成的“slop”代码。它引入了来自 `dmmulroy/anti-slop`（MIT）的通用规则，并在 `deslop/*` 命名空间下添加了更多规则。使用 `npm install --save-dev ai-deslop` 安装；`@oxlint/plugins` 是运行时依赖。它提供面向 Bun、Deno 和 Node 的已编译 JS。在 Oxlint 中通过 `jsPlugins` 和 `deslopConfigs.recommended` 配置。推荐规则涵盖不安全类型模式（unknown 参数/返回值、断言、类型拓宽、对象参数/字典）、性能问题（filter/map、reduce 展开、Reflect）、测试反模式（模块模拟、仅模拟调用断言）以及标准 TypeScript 规则（已弃用、浮动 Promise、require 导入、不必要条件、不可达）。可选规则处理重复 const/类型、重命名导入和 Tailwind 类名。鸣谢 anti-slop（MIT）。
Show HN：Deslop 是一组用于 AI 生成 TypeScript 的 Oxlint 规则，可捕获不安全类型、重复代码和低价值测试。评论者表示，激进 linting 对 AI 辅助开发至关重要，并称赞 `no-reflect-get` 等规则；他们将其与 `eslint-plugin-unicorn`、`ast-grep`、`coderabbitai/ast-grep-essentials` 和 `dmmulroy/anti-slop` 相比较。作者表示，Deslop 集中管理对 LLM 友好的规则，包括 Tailwind 规范类名，以及考虑 Zod/Drizzle 推断的重复类型/常量检测。他邀请提交 PR，并指出 Oxlint 可能已经以插件形式提供 Unicorn。该帖获得 32 分和 7 条评论。
XBOW 在六天内构建了一个由大语言模型辅助的 Chrome 全链漏洞利用，API 成本约 4 万美元，并赢得了谷歌首个 25 万美元的全链 VRP 奖励。该利用链使用三个漏洞，同时突破了 V8 的进程内沙箱和 Chrome 的渲染器沙箱：一个 Maglev 去优化缺陷复用了可变的 HeapNumber，从而在 V8 的指针压缩笼内获得读/写能力；一个 Blink 中动画 WebP 的 TOCTOU 将缓存的几何数据与已更改的字节结合起来，产生一次选定的原生写入；以及一个 Crashpad 竞态，它信任被挂起渲染器的内存，使代码能在未沙箱化的处理程序中执行并启动计算器。AI 代理负责漏洞搜索、概念验证和利用阶段，而 XBOW 研究人员指导目标、接口和后备方案。这三个漏洞都涉及改变某种被认为不可变的东西。Chrome 修复已公开。这项工作表明，大语言模型大幅降低了全链漏洞利用的时间与成本门槛，同时增加了碰撞风险，并使防御更加紧迫。
在 Hacker News 上，XBOW 的《六天从零到 Calc》帖子描述了在之前的链失效后，用六天构建出一个可用的 Chrome 全链漏洞利用。评论者 moyix 澄清，一月的目标直到五月才有了受雇团队；第一条完整链花了两个月。八月，那条链中的所有漏洞被修复后，他们从头开始，发现约 11 个漏洞，提交了三个组成一条链（用备用阶段替换了发生冲突的中间阶段），并花费 4 万美元的 API token，赢得了谷歌 25 万美元奖励。这条具体链由一人加智能体构建，并借助了早先协作工作中的技术。评论者争论时间线是否清晰、浏览器安全/JIT 缓解措施，以及 AI 辅助渗透测试是否正当。
Gentoo 用户面临频繁的重建，因为 uv-build 每 30 天发布约 12 次，而 Gentoo 必须从源码编译一切。其核心冲突涉及 Python 包装的 PEP 517 标准：虽然构建后端已标准化接口，但版本约束取决于项目。Gentoo 必须遵循 pyproject.toml 中指定的任何版本；如果没有半版本范围（如 `>=0.12,<0.14`），每次 uv-build 更新都会触发完整重建。uv 的维护者认为半版本范围是默认设置且能解决兼容性问题，但许多项目未 pinned 版本或精确 pinned 版本，问题更加严重。此辩论凸显了 upstream 快速发布周期与 downstream distro 政策之间的冲突，建议要么项目维护者采用适当的版本约束，要么 distros 限制更新频率。最终，摩擦源于 Gentoo 的源码模型与 uv-build 的频繁更新发生冲突，尽管标准的 Python 包装机制存在以缓解这一问题。
XY 音乐 乐谱 正在加载乐谱… 下载 PDF 原始乐谱 播放位置 小节 — 0:00 / 0:00 速度 0.5× 0.75× 1× 1.25× 1.5× 2× 音量 MIDI 关闭 连接设备… 跟随播放 正在加载乐谱… 内置钢琴 · 可选外部 MIDI · FreePats CC0 正在加载乐谱…
正在加载页面… Specr 实验室 作者：Shaun Pedicini @wunderbaba 更多项目 联系