Overtone 将每个口语单词仅存储一次——包含时间戳与说话人——并在单个 `.overtone.json` 文件中为不同屏幕宽高比生成独立的字幕切分。其 CLI 可离线重新切分字幕，或使用语音提供商转录音视频，支持可选的本地处理。video.js 插件会选取与播放器匹配的切分。字幕遵循可读性规则：避免弱行尾、将名称与数字保持在一起、分隔说话人，并在停顿处断句。该格式可导出 WebVTT/SRT。转录结合多个语音引擎，使用 LLM 解决分歧，并应用基于规则的排版，而时间戳来自引擎。基准测试显示，相比单引擎，它产生的不自然断句更少、词错误率更低。软件包包括 CLI、video.js 插件和格式库。完整规则目前覆盖英语和荷兰语；其他语言使用检测或中性规则。它不翻译、不添加声音标签、不提供 GUI 编辑器，并支持最长两小时的媒体。采用 MIT 许可证。
每日HackerNews RSS
Overtone是一个开源字幕工具，它使用多个语音转文本服务转录音频，然后使用LLM解决分歧，以更高成本降低词错误率。它将转录文本切分为考虑屏幕尺寸的字幕，对说话人分组，并避免拆分姓名和数字。字幕可通过video.js插件提供或烧录进MP4。该项目采用MIT许可，旨在减少手动字幕校正。在评论中，创作者指出语言支持有限，承认嘈杂音频和音乐带来的挑战，并表示不包含画面上文字翻译；大型工作室使用视觉本地化和IMF格式，而较小的提供商可能缺乏资源。用户称赞其适合竖屏视频字幕布局的实用性。
Duet 是一款测试版 AI 助手，评测者认为它出奇有用。它速度快，把工作组织成可相互引用的频道，按频道限制 GitHub 仓库访问，避免要求凭证，并给出简洁回复和得体的 emoji 反应。它也有故障，包括隐藏线程和偶尔的仓库访问附件失败，可能更适合某些用户；Dot 语音更好。它的主要优势是自然的关注层级：顶层全局监督、频道级访问、受限子线程/沙箱，以及可选的本地主机访问用于 QA/部署。评测者说这种层级减少了智能体管理负担，并可能成为聊天机器人界面的标准。
Hacker News 评论者讨论 Claude Duet，Anthropic 的个人助手工具。发帖作者称赞它是首个真正有用的此类工具，理由是快速简短的回答、有用的渠道、强大的 Opus 模型，以及不接管个人生活的项目管理。评论者争论代理是否能安全代表用户行动，因存在提示注入和隐私风险；一些人限制凭证或控制影响范围。其他人将 Duet 与 Grokbot、Muse、Dots、Hermes 和 OpenClaw 等替代方案比较，指出优缺点：Grokbot 因设置和谨慎受到称赞，Dots 提供 shell 访问，而 OpenClaw 和 Hermes 可以自托管但感觉粗糙。一些用户报告成功的编码和研究工作流；另一些人提到缺少语音模式、shell 访问、手机集成或地区可用性。安全担忧占主导：用户不信任把敏感数据交给代理，Anthropic 声称已解决提示注入也遭到怀疑。总体而言，Duet 对托管编码和项目工作似乎有前景，但信任、访问和产品成熟度仍是开放问题。
请启用JS并禁用广告拦截器
帕特里克·斯图尔特因饰演《星际迷航：下一代》中的让-吕克·皮卡德及许多其他角色而最为人知，因阿尔茨海默病和路易体痴呆去世，享年86岁。Hacker News 的讨论串中充满了致敬与回忆：用户将皮卡德描述为领导力、伦理、同情心和能力的榜样，TNG 常被称为“能力色情”和乌托邦式科幻愿景。评论者还讨论了《星际迷航》对科技工作者和童年的影响，辩论其乌托邦是否现实，并分享斯图尔特的莎士比亚、喜剧及其他表演记忆。许多人表达个人悲伤，称他为父亲般的人物或道德榜样。少数人提到其他近期《星际迷航》演员去世并请求 Hacker News 黑条。总体而言，该讨论串是对斯图尔特职业生涯与遗产的怀旧、情感化庆祝。
犹他州指控Kalshi及其CEO非法推广在线赌博 Utah charges Kalshi and its CEO with illegally promoting online gambling
7 天前
犹他州的指控升级了全国范围的预测市场法律战。多个州已起诉 Kalshi 和 Polymarket，包括纽约、内华达、新墨西哥、华盛顿、康涅狄格、肯塔基等。亚利桑那州3月对 Kalshi 提起刑事指控，但联邦法官阻止了该案。CFTC 主张其拥有专属管辖权并反对州监管，尽管两个联邦上诉法院最近裁定平台试图规避州监管败诉。然而，第三巡回上诉法院4月裁定 CFTC 在新泽西州拥有专属权限，新泽西州已请求最高法院受理其案件。Kalshi 称犹他州的指控为“疯狂越权”，并表示将在法庭抗辩。
据链接报道，犹他州已指控预测市场公司Kalshi及其CEO非法推广网络赌博。Hacker News的讨论中，用户就预测市场是否属于赌博、监管作用，以及公司是否会根据选举结果退让展开争论。评论者还岔开讨论自愿器官市场作为反贫困措施的话题，围绕风险、胁迫以及此类市场能否解决器官短缺存在分歧。一些用户将此与烟草和酒精等受监管成瘾品作比较，而另一些人则就调查开玩笑。总体而言，该帖混合了法律新闻、对预测市场的怀疑、监管辩论，以及关于器官市场的扩展性旁支讨论。
这段文本是包含对象定义和压缩流的原始 PDF 文件内容。它包含多个 Form XObject 条目（对象 4、7、9、11、17、20、23、26、29、31、33、35），边界框均为 [0 0 100 100]，表单类型为 1，并使用 FlateDecode 压缩流。较大的对象 178 包含带有二进制数据的 FlateDecode 流。内容主要是无文本的结构化 PDF 标记，表示矢量图形或表单定义，而非文档文本。这些流似乎是需要解压才能解释的压缩二进制数据。总体而言，这是 PDF 内部结构的片段，可能包含图形或布局信息，而非可提取的文本内容。
Hacker News 讨论了一篇关于食物过敏 IgE 干扰剂的报告，该报告据称使用了 Claude 辅助的抗体设计。评论者就过敏原因展开辩论：一些人支持卫生/寄生虫暴露假说，而另一些人则认为环境毒素和污染物可能起作用。该帖还涉及重新引入寄生虫是否会有帮助，对安全性和实用性看法不一。一些评论者质疑该工作的创新性、对照选择以及缺乏独立审查。其他人批评 Claude 与生物学相关的安全防护措施阻止了对论文的分析，认为科学工具的开放获取很重要。总体而言，讨论混合了科学怀疑、个人轶事和关于 AI 辅助药物开发的更广泛问题。
本项目将美国联邦个人所得税表单与说明编码为公开、可引用、可机器校验的YAML数据，并配以引导式自主申报访谈。访谈会提问、确定适用表单、计算数值、解释各项，并返回由用户自行提交的数值表；软件从不申报、签署或传输税表，数据也不会离开本机。它编码的是IRS发布的程序（而非《国内税收法典》），包括其中的判断。 由于编码主要由语言模型代理生成，项目构建为任何读者都能仅凭仓库自行验证。每条表单行记录包含表达式和对已归档IRS页面的引用；若任何引用缺失或无效，构建失败。计算行使用封闭的约20个原子词汇表；金额为精确整数美分；Lean形式化证明原子属性；两个独立求值器在1,648个案例上一致。独立构造（第二次转录、渲染比较、手工核对、盲预测）和三个外部税表引擎交叉核对结果。变异测试报告原始杀死率为94.4%；缺陷清单与提交守卫阻止未经测试的提交。覆盖率为68.6%的个人申报。这不是税务或法律建议；用户自行负责。
一篇 Hacker News 帖子链接了一个概念验证 GitHub 项目，用于形式化 IRS 联邦税表。作者承认它是凭感觉编码，但强调可验证性和与权威来源的可追溯性，目标是服务公共利益。他们指出规范比 README 更有用，并面向约 80% 的个人申报者。评论者就可行性展开争论：有人警告税规每年变化且需要持续资源；也有人认为 AI 能自动化更新，并已帮助解读 IRS 指引。一位评论者分享了用 AI 建模继承 IRA 提取及税务影响的个人项目。另一人指出类似开源项目 OpenReturn。一位批评者提到 IRS 曾开源税务软件，但经费终止，称凭感觉编码税务存在风险。整体而言，讨论串探讨了尽管存在维护与信任挑战，AI 辅助、可验证的税务形式化能否变得实用。
被指控的中国间谍与英伟达老板黄仁勋有"密切关系" Alleged Chinese spy had 'close relationship' with Nvidia boss Jensen Huang
7 天前
美国情报官员据称监测了一名中国女商人Alice Huang（又名Huang Le），她与英伟达首席执行官Jensen Huang建立了密切关系。据《纽约时报》报道，Alice Huang——新加坡云服务提供商Megaspeed的高管——被认定秘密向北京传递信息。美国当局还在调查Megaspeed，指控其帮助中国企业规避美国出口限制并将先进英伟达芯片走私进中国。照片显示Jensen Huang在台北与Alice Huang喝酒用餐，尽管没有证据表明他知晓她涉嫌的间谍活动。特朗普总统大约一年前得到简报，但拒绝采取行动，担心扰乱英伟达的销售和贸易关系。一些特朗普高级官员现在怀疑Huang不可能不知情。英伟达反驳称，Megaspeed只是普通客户，其互动属于常规业务。中国大使馆否认了这些指控，称其为无根据的抹黑。
一个Hacker News帖子讨论了报道称Nvidia CEO黄仁勋与Alice Huang（一名中国公民、Megaspeed高管）有"密切关系"，美国情报机构据称认为她可能是一名中国间谍。评论者质疑商务晚宴和会面是否构成间谍活动，指出缺乏不当行为的证据，并就媒体可信度、"蜜罐"风险、出口管制问题以及特朗普 reportedly 在被简报后 reportedly 决定不采取行动进行辩论。其他人将该报道视为耸人听闻或有政治动机，而有些人强调例行的企业情报收集以及黄仁勋在AI行业的高调角色。总体而言，这些指控仍存在争议且很大程度上未经证实。
`dontallow` 是一个小型 macOS 代理，通过按“不允许”自动关闭重复的本地网络权限提示。它面向 macOS Sequoia 及更高版本的提示，特别是由 bundle 路径变化的应用重复触发的提示。它作为按用户 launchd 代理运行，需要辅助功能权限，并在空闲时保持低 CPU。命令包括 status、pause/resume、rules、uninstall 和 dry-run。它在关闭时通知，支持允许列表和宽限期，并记录可在系统设置中撤销的拒绝。它从不修改系统文件、禁用保护或选择允许。对于机群，通过 PPPC 授予辅助功能。它使用命令行工具构建，支持 Intel 和 Apple Silicon。在 Intel macOS 26.6 上测试；目前仅支持英语。
Hacker News
抱歉，我们无法如此快速地处理您的请求。
重新加载
作者认为，软件伦理应超越许可证，延伸到社区价值观。虽然作者曾优先考虑强著佐权许可证，但如今相信社区而非版权塑造项目真正的伦理。版权本身是压迫性体系；著佐权能做的有限。自由软件本身不能保证包容性、社区治理或拒绝生成式 AI 等榨取性技术。一个项目在技术上可能自由（例如采用 AGPL、CLA 与商业双重许可），却仍可能被公司控制且不道德。 评估项目时，应超越许可证：它是否有包容性的行为准则？是否禁止生成式模型？是否由公司控制？是否要求 CLA？是否认可专有平台？主要开发者重视什么？ 最终，项目周围的社区决定其伦理。作者敦促读者加入、贡献（包括非代码工作）、对不道德行为发声，并考虑组建软件合作社。例子包括 The Starlight Network 和 Polyphony。
**摘要：** Hacker News 上一篇认为社区比软件许可证更重要的开源文章引发了讨论。评论者意见分歧：一些人重视社区与包容性，而另一些人认为好软件应优先，且许可证——而非社区——才是自由的信号。许多人指出 FOSS 项目常常是一人完成，"社区"一说被夸大了。AI/氛围编程主导了该帖：支持者称其使开发民主化并催生新社区（如定制固件），批评者则称其道德有问题、基于被盗数据训练、削弱开发者技能并集中权力。版权争论升温，一些人完全拒绝知识产权框架，另一些人则捍卫创作者权利。多位评论者预测 AI 使用将在软件开发中完全正常化，而反 AI 的坚守者可能会消失或仅存于小众。其他人警告 LLM 生成的"垃圾内容"侵蚀人类贡献与社区精神。总体而言，该帖反映出关于 AI 是帮助还是伤害开源文化，以及社区与代码质量孰轻孰重的深刻分歧。
editsqlite 是一款基于浏览器的 SQLite 编辑器，可在本地运行且不上传数据。它可打开 SQLite 数据库、SQL 转储文件和 CSV 文件，允许用户编辑单元格、行、列和表，并运行 SQL 查询。它通过重建而非修改原始文件来导出全新的、经校验的 SQLite、SQL 转储或 CSV 文件，以保持数据完整性。该工具包含自定义读取器、转储解析器、SQL 控制台和写入器；仅支持某些模式编辑以及中小型数据库，对 BLOB 和溢出页有限制。它被创建用于在不上传云端的情况下安全编辑标本目录。安全特性包括从不写入原始文件和完整性检查。常见问题解答涵盖信任、更小的导出、SQL 错误以及无直接服务器编辑。总体而言，它是一款注重隐私、支持离线的本地数据库编辑器。
Hacker News 上关于 editsqlite.com 的讨论，这是一个基于浏览器的 SQLite 编辑器。该帖获得了 71 个积分和 37 条评论。评论者关注的不是工具本身，而是 AI 生成文案的迹象，例如“loaded into the working model”、“Corruption needs something to touch”和“honest”等短语，以及长破折号。有些人觉得这令人反感，将其视为“vibe-coding”或“code smell”。另一些人指出网站似乎在浏览器本地运行，解决了隐私担忧，尽管有些人仍持怀疑态度。用户分享了实际的 SQLite 使用场景，包括从 Note Everything 提取笔记和同步数据库。评论者将其与 DB Browser for SQLite 和 pglite 等现有工具进行比较，质疑其新颖性，而另一些人则看重受限设备上的浏览器访问。还提到了移动端编辑的局限性。总体而言，该帖反映了混杂的反应：对便捷的浏览器内编辑器表示赞赏，但对 AI 风格的措辞有强烈批评，并质疑该项目是否在现有 SQLite 工具之外增加了价值。