为避免成千上万的发布标签拖慢 Git 并弄乱 refs，作者提议将部署记录为按（层级，应用）组织的元信息提交链。每次新发布都会创建一个双父提交：第一个父提交是上一个元信息提交，第二个是本次部署的提交。一个 ref，例如 `stg.www.our-app`，指向最新的元信息提交。其创建时间记录发布时间；提交信息/树可保存元数据。普通 Git 命令便可自然使用：`git log stg.www.our-app` 列出发布历史，`~n^2` 定位更早部署的提交，回滚/差异比较也很容易。这样每个应用/层级只保留一个 ref，避免 packed-refs 变慢，并像普通提交历史一样扩展。该提议未被采纳，可能存在未预见的缺点。
每日HackerNews RSS
黑客新闻
新
|
过去
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
也许有更好的方法来跟踪 Git 仓库的发布历史
(
plover.com
)
8 分
由
hellerve
1 小时前
|
隐藏
|
过去
|
收藏
|
1 条评论
帮助
lijok
11 分钟前
[–]
或者向 main 提交一个代表发布的文件，并基于它构建你的自动化
回复
考虑申请 YC 的 2027 冬季批次！
申请
开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
检方称，OpenAI 工程师、35 岁的沙特阿拉伯籍人士 Abdulrahman Alfozan 于周五被捕，并被控截取口头通信。此前，在 OpenAI 旧金山总部，一个加密录音设备被发现藏在卫生纸中，并插在会议室的一台电视上。该设备于 9 月 30 日被发现。据称，监控录像显示 Alfozan 曾出现在该房间附近，检方称，一个与他配偶关联的聊天机器人账户曾研究录音、加密和远程访问。据称，第二个设备在一个无人看管的包里被发现，包内还有他的身份证件。Alfozan 在 OpenAI 产品团队工作，于周五被解雇。如果被定罪，他面临最高五年监禁和 25 万美元罚款。OpenAI 和 FBI 称此案是国家安全和 AI 创新的优先事项；OpenAI 表示，没有模型权重、源代码或客户数据遭到泄露。拘留听证会定于 10 月 19 日举行。
Hacker News 讨论了 OpenAI 工程师阿卜杜勒拉赫曼·阿尔福赞，35 岁，沙特阿拉伯籍，被捕并被控使用设备截取口头通信。9 月 30 日，一台录音设备被发现插在高管会议室电视后方的 USB 端口上，用卫生纸藏匿并经过加密。检察官引用了与他配偶有关联的账户中的 ChatGPT 提示，询问如何制作、藏匿、远程访问和加密录音器，并包含该设备的 MAC 地址。OpenAI 将此事移交 FBI，并解雇了他。评论者嘲笑其笨拙的谍报手法，指出 LLM 日志可能成为证据，争论动机是内幕交易还是间谍活动，认出该硬件是 ESP32-S3 板，并批评 OpenAI 称其使用自家模型分析该设备的声明是在自我宣传。一些人质疑此案为何被公开。
PostEra（YC W20）正在招聘药物发现领域的人工智能研究员 PostEra (YC W20) Is Hiring AI Researchers for Drug Discovery
34 分钟前
PostEra 是一家以 AI 为先的生物科技公司，利用其 Proton 平台进行药物化学，正在招聘一名机器学习研究员，以发展其智能体研究垂直领域。该职位聚焦智能体系统，用于自动化生物化学/生理过程的机制模型、用于靶点验证的生物数据分析，以及少样本适应、分子/表格上下文学习和基于专有多模态数据的基础模型的机器学习方法。职责包括领导研究、基准测试、训练/扩展模型、构建可复现流程、与化学家和生物学家合作，以及发表成果。要求：机器学习或 STEM 博士学位，并有新颖的机器学习研究；扎实的机器学习/深度学习/统计学能力；精通智能体科学工作流、生物信息学/临床建模、上下文/表格/少样本学习；熟悉 PyTorch/JAX；能够定义模糊问题、设计严谨实验，并适应初创公司工作。加分项包括表格基础模型、分子上下文学习、大规模/分布式训练、AI 联合科学家系统、生物/临床机器学习，以及模型生产化。薪资 20 万–30 万美元，股权 0.05–0.1%；不提供签证担保。
黑客新闻
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
PostEra（YC W20）正在招聘药物发现方向的人工智能研究员
（
lever.co
）
28 分钟前
|
隐藏
考虑申请 YC 2027 年冬季批次！
申请
开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
我们发现了一个藏在我们其中一间办公室里的精密录音设备。我们利用我们的模型来了解该设备及其来源，查明一名特定员工在几天前放置了它。我们已将此事提交给FBI，并感谢迅速采取行动实施逮捕的探员和检察官。FBI的调查仍在进行中，我们将继续支持他们的工作。目前，我们没有迹象表明此人曾不当访问或外泄模型权重、源代码或客户数据。该员工已被解雇。我们严肃对待保护我们的技术、数据和人员，并将其视为关乎国家重要性的事项。我们的安全计划旨在防范各种威胁行为者，从内部风险、网络犯罪分子到国家行为体，而此案就是一个例子，说明AI如何帮助应对这些复杂的安全威胁。
一个 Hacker News 帖子讨论 OpenAI 据称在其一间办公室内发现了一个隐藏的录音设备。根据所链接的报道，35 岁的沙特籍工程师 Abdulrahman Alfozan 于周五被捕，并被指控使用或试图使用设备拦截口头通信。该设备被藏在卫生纸中并经过加密，OpenAI 表示其使用自家模型对其进行了分析。评论者对此持怀疑态度，开玩笑说 OpenAI 把一起间谍案变成了营销宣传，并质疑该设备究竟有多复杂——可能只是一个 ESP32-S3/Seeed Studio 组件。该员工已被解雇。一些人争论 OpenAI 为何公开此事，提到可能的 IPO 定位、FBI 介入或威慑作用，另一些人则提到间谍活动与供应链风险。链接指向 SF Standard 和 BBC 的报道。
Parsimony 是一个衡量 AI 编程智能体中多余代码的基准。与解决率/成本指标不同，它衡量净编程单元：语句、调用、比较、名称、字面量等语法元素。它减去删除的代码（净 = 新增 − 删除），并避免按行计数，因此堆砌代码不会得到奖励。模型按其在已解决任务上新增的平均净单元排名，从低到高；失败尝试也计入平均值。已解决数据来自 SWE-bench Verified，不重新运行测试。补丁会被应用，变更文件会被解析；仅限 Python，排除测试、文档、生成文件。它使用相同的 mini-SWE-agent，不过智能体会影响输出。更小并不总是更好：单元衡量的是规模，而非可读性/设计，而且写更多代码的模型往往能解决更多任务。用户可以比较模型、查看排行榜，或通过示例 JSON 提交结果。代码/数据：github.com/La5u/Parsimony。
Parsimony 是一个开源基准，用于衡量 AI 模型增加了多少代码。现有基准追踪解决率和 token 成本，但不惩罚多余代码，这可能给长期代码库带来负担。Parsimony 分析来自 DeepSWE、SWE-bench Verified 和 SWE-bench Live 的已发布补丁。它不按代码行数，而是统计编码单元——语句、调用、名称、字面量——并减去删除的代码，以衡量净单元数。由于 GPT-6 和 Claude 5.5 缺少公开补丁，作者通过个人订阅在 3–10 个任务上运行了它们；结果以淡化、未排名的圆圈显示。欢迎反馈和模型贡献，尤其是较新模型的公开补丁导出。GitHub：https://github.com/La5u/Parsimony。与这些基准无隶属关系。
我带着模糊的路线指引，来到深藏山谷中的牧羊人夏季营地。这算是个主题：我找到的奶酪总在偏远之处，由那些隐居般的人出于纯粹的固执守着老办法做出来。那里美得惊人，只有我和我的背包。山谷尽头是一道陡峭悬崖，上有破败
Hacker News 上有一篇帖子链接到 BBC 文章《徒步环游世界，寻找稀有奶酪》，由 tosh 发布。它有 18 分和 4 条评论。评论者分享了与奶酪有关的想法：grantpitt 推荐 G. K. Chesterton 关于奶酪的论述；pmdulaney 说，去卡芒贝尔奶酪的故乡是一个平淡的人生目标，但很高兴有这样的人存在；delichon 形容这篇文章是《Grand Day Out》和《Jitterbug Perfume》的结合；dvh 询问对 bryndza 的看法。页面还显示一则 YC 2027 冬季批次广告，申请开放至 11 月 2 日，以及标准的 Hacker News 导航和搜索。
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 集成让编码代理可以控制播放。它基本上可脚本化、可配置，并由社区维护。
LargeModGames 发布了 Spotatui，一个可避开 Spotify Web API 速率限制的 Spotify TUI/GUI。它约在 11 个月前，作为对已停止维护的 spotify-tui 的复兴项目而开始。它不依赖共享的开发者应用，而是使用 librespot 的一个分支以及 Spotify 的内部客户端 API，来处理元数据、播放列表、音乐库、设备、歌词、音频分析和 Pathfinder GraphQL 搜索。每位用户运行自己的 Spotify Premium 会话，从而消除共享配额。它还支持 YouTube、Navidrome/Subsonic、网络电台、本地文件、Qobuz，以及在 macOS 上的 Apple Music。它使用 Rust 构建，TUI 采用 ratatui，GUI 采用 Tauri 2；两者共享播放/登录逻辑。GUI 仍落后于 TUI，但目标是达到与官方客户端相当的水平。功能包括 Lua 脚本、可选的网页伴侣，以及用于 AI DJ 的 MCP 工具。设置需要通过浏览器登录 Spotify Premium。欢迎反馈和 bug 报告。
Hypermass CLI 是一个命令行工具，可将实时 Hypermass 数据流同步到本地文件夹。安装后，使用 `hypermass subscribe <stream>` 配置流，并使用 `hypermass sync` 在文件发布时持续获取文件。文件会出现在 `<home>/hypermass/subscriptions/<stream-id>` 下，每个载荷一个文件，以载荷 ID 命名，并按发布顺序交付。你可以处理并删除数据文件，但必须保留每个流的隐藏 `.hypermass` 文件夹，它用于跟踪你在流中的位置。`sync` 还会从配置的发布源发布文件。使用 `status`、replay 和 `reload` 监控或管理流。该 CLI 面向数据科学家、开发者、研究人员和生产系统，他们需要一种简单、可重复、跨平台的方式来自动化数据摄取和发布。
Show HN：Hypermass 通过两条命令和一个 Apache-2.0 Go CLI 提供实时开放数据流。订阅者无需注册；CLI 监听多个流，并将到达的文件写入本地文件夹，使用 ULID 文件名进行按时间排序。发布者将文件放入文件夹即可上传。它处理排序、重试、哈希验证和重连。示例流包括 SOHO 太阳紫外图像和经过过滤的 GDACS 灾害警报。这位英国独立创始人曾从事铁路开放数据，他构建它是为了实时但低频的数据——这些数据轮询成本太高，且体积太大不适合消息传递。技术细节：WebSocket 通知、签名 CDN 下载、XML/JSON 验证，目前还没有库，但计划提供 API 和 post-payload 回调，以及高速馈送。可持续性：免费层、重度用户配额，之后由机构发布者付费，可能还有一个市场。他问 CLI 是否解决真实问题，这种方法是否合理，以及如何启动发布者。
1976年7月，阿佩尔和哈肯宣布了四色定理的证明，借助一台运行了1200小时、做出了100亿次判断的计算机；约翰·科赫协助了算法。结果引发了激烈争论。一些数学家接受了它；另一些则拒绝这种依赖计算机验证而非人类可核查推理的证明，称其为“神谕”，或说它根本不是数学。年龄也起了作用：年长的数学家怀疑计算机证明，年轻的数学家则怀疑700页手工计算。比尔·图特、海因里希·赫施和特德·斯沃特的高调支持提升了可信度，尽管《纽约时报》最初拒绝报道此事。1979年，托马斯·蒂莫奇科主张，无法通览的证明不是传统证明；斯沃特回应说，计算机辅助证明只是纸笔的延伸。这一事件标志着人机数学的开端，并提出了关于证明中的信任、验证和优雅的持久问题。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
四色定理：机器第一次碾压数学家
(
pessimistsarchive.org
)
5 分
由
list
47 分钟前
| 隐藏
| 过去
| 收藏
| 1 条评论
https://celebratio.org/Appel_KI/article/796/#sender
帮助
evekayser
29 分钟前
[–]
我认为现在 AI 生成代码也在发生同样的事。没人会逐行阅读。从现在起，这就是过程的一部分。
回复
考虑申请 YC 的 2027 年冬季批次！
申请
开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
Guitoro 是一款免费、完整的在线虚拟吉他。它提供四种采样乐器——钢弦原声吉他、古典吉他、电吉他和四弦贝斯——音色可选、10 种调弦、最高第 10 品变调夹以及左手模式。在 24 个大小调中任意一个调里，提供 15 个具有真实琴颈指型的和弦；可用 F#m7 等和弦编辑调性，并在 Standard、Easy 和 Up 三种按法之间切换。使用 56 种扫弦/拨弦模式，以任意速度（最低 20%）演奏 51 首歌曲，或粘贴你自己的 ChordPro/和弦网站歌曲并添加反复记号。伴奏乐队提供 15 种鼓风格和 25 条贝斯线，速度 10–220 BPM，并带节拍器。独奏模式支持带锤弦、推弦和颤音的旋律。音箱与效果器包括过载、失真、法兹、EQ、混响和延迟。最多录制 10 分钟，可回放或导出 WAV/压缩音频。麦克风调音器覆盖吉他、贝斯、尤克里里和特殊调弦。一切都在浏览器中运行。
Guitoro 是一款免费的、基于浏览器的虚拟吉他，由 talccc 发布到 Hacker News。它使用真实乐器的录音，让用户可以用键盘、鼠标或触摸屏扫弦。玩家可以选择原声吉他、古典吉他、电吉他或贝斯，查看和弦指法和每次扫弦，将歌曲练习速度放慢到 20%，并使用免费的和弦工具和调音器。无需注册或下载。创作者希望获得关于扫弦手感和音色的反馈。这则 Show HN 帖子获得了 22 分和 7 条评论，评论者称其令人惊叹、非常出色；有人开玩笑说，这或许终于能帮他们学会《Wonderwall》。