一个项目在 Raspberry Pi Pico 2 W 上运行两个微型神经网络：一个循环 Transformer 世界模型预测下一帧和奖励，一个 actor 选择动作。两者都在 core 1 上运行；core 0 处理 USB 和显示。int8 世界模型使用重复的 Transformer block，循环次数在速度与精度之间权衡，并在 Breakout、Doom-lite、Flappy Bird、Pong、Pac-Man 等小游戏上达到高精确帧准确率。它在录制的游戏上训练，对照真实规则验证，并使用 agent 生成的数据微调。actor 使用 Stream AC(λ) 并可设备端学习。no_std Rust 固件静态存储权重，无运行时分配，支持 USB 游玩、可选 Display Pack 和 WebAssembly。仓库包含游戏、训练、导出、固件和浏览器演示。
每日HackerNews RSS
在 Raspberry Pi Pico 2 W 上运行游戏的微型世界模型 A tiny world model running games on a Raspberry Pi Pico 2 W
2 天前
Hacker News 的帖子介绍了一个在 Raspberry Pi Pico 2 W 上运行游戏的微型世界模型，来自 github.com/sheepseb。训练使用 RTX 4060，而游戏代理直接在 Pico 上运行。模型每个游戏自成一体，训练与验证数据不重叠。创作者指出幻觉问题，如额外方块破坏或远距离击杀，并通过在输入加噪声同时保持目标干净来修复。状态用 token 表示：Doom 使用小地图和朝向 token；Pac-Man 使用嘴部方向加继续/方向 token；Breakout 使用四个对角球 token；Pong 使用六个方向 token。评论称赞其确定性和微型硬件成就，询问硬件、单模型潜力及集成到更大游戏的可能。有人推测本地优化模型是 AI 的未来，也有人指出 Pico 是微控制器，WebGPU 不太可能。总体而言，这是一个紧凑的每游戏世界模型，在极小硬件上展示确定性游戏玩法，但存在幻觉与状态表示的注意事项。
文章认为，AI生成的代码审查应像Claude Code的流水线一样分层。大量合并使逐行审查不可能；取而代之的是，变更通过顺序检查加回滚。作者提出六个语义层——意图、形式、局部含义、接线、运行时和使用——每层需要不同上下文。代理树防止单个读者持有所有抽象：叶子检查函数，高层检查边界和系统行为，并向上传递简洁契约。正确性、安全性、历史和可逆性等视角横切各层，形成专门化检查矩阵，而无需每个单元格单独代理。安全性横跨所有层；历史常常薄弱，因为架构决策很少被记录。风险包括缝合处缺陷、模糊契约、重复噪声和成本，因此执行应稀疏且协调。该方法应针对按层和视角标记的事故拉取请求进行测试。总体而言，读者也应像流水线一样分层。
该帖子建议将代码审查拆分为多个层次——如形式、局部含义、连接、运行时和使用——由不同的审查者或代理分别负责，每个都使用狭窄的上下文，而不是随时间顺序审查代码。评论者指出，按层提交理想但快节奏工作中很难，不过 LLM 可以帮助将大提交重构为按层提交。其他人强调在长 AI 会话中跟踪意图、执行前审查计划，以及通过 YAML 将需求与测试关联。一些人提出审查过载、建议冲突和上下文有限的担忧。总体而言，专业化、上下文受限的审查可能提高质量并降低成本，但信任、工作流和工具挑战仍然存在。
Overtone 将每个口语单词仅存储一次——包含时间戳与说话人——并在单个 `.overtone.json` 文件中为不同屏幕宽高比生成独立的字幕切分。其 CLI 可离线重新切分字幕，或使用语音提供商转录音视频，支持可选的本地处理。video.js 插件会选取与播放器匹配的切分。字幕遵循可读性规则：避免弱行尾、将名称与数字保持在一起、分隔说话人，并在停顿处断句。该格式可导出 WebVTT/SRT。转录结合多个语音引擎，使用 LLM 解决分歧，并应用基于规则的排版，而时间戳来自引擎。基准测试显示，相比单引擎，它产生的不自然断句更少、词错误率更低。软件包包括 CLI、video.js 插件和格式库。完整规则目前覆盖英语和荷兰语；其他语言使用检测或中性规则。它不翻译、不添加声音标签、不提供 GUI 编辑器，并支持最长两小时的媒体。采用 MIT 许可证。
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
2 天前
犹他州的指控升级了全国范围的预测市场法律战。多个州已起诉 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
2 天前
美国情报官员据称监测了一名中国女商人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
抱歉，我们无法如此快速地处理您的请求。
重新加载