如果您是本网站的访客：请几分钟后重试。如果您是本网站的所有者：Cloudflare 缓存与您的源 Web 服务器之间存在问题。Cloudflare 会监控此类错误并自动调查原因。为支持调查，您可以从 Web 服务器拉取相应的错误日志并提交给我们的支持团队。请包含 Ray ID（位于此错误页面底部）。其他故障排除资源。
每日HackerNews RSS
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
币安疑似被黑，超50亿美元被转出
(
twitter.com/emmettgallic
)
39分
由
int32_64
1天前
|
隐藏
|
过去
|
收藏
|
3条评论
帮助
DavCreator
1天前
|
下一个
[–]
https://xxcancel.com/emmettgallic/status/2115916025774723210
回复
tomhow
1天前
|
上一个
|
下一个
[–]
主要来源的活跃讨论：
https://news.ycombinator.com/item?id=50296470
回复
gostsamo
1天前
|
上一个
[–]
代码就是法律，直到它不是；然后他们像腹行的鸟一样爬回来……
考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系
搜索：
Sylphide OS：面向微控制器计算机的通用操作系统 Sylphide OS: a general-purpose OS for microcontroller-based computers
7 天前
Sylphide OS 是一款面向基于微控制器的计算机的通用操作系统，目标是无 MMU 的复古风格受限机器。它面向配备键盘/鼠标、标准显示输出、帧缓冲和存储的系统，定位介于开发板和可运行 Linux 的单板计算机之间。项目包含开放硬件与软件，由 Thomas Capricelli 开发。它基于 FreeRTOS 构建，添加了输入、显示、存储和网络驱动以及图形界面。代码主要使用 C/C++，采用有限的 C++ 特性。0.1 版提供配置、渲染、三个硬件目标加模拟器，以及带窗口和图标的桌面 GUI。计划功能包括存储、网络、小组件和从 SD 卡加载可执行文件。它重现了早期计算机集成、自成一体的操作系统体验。
Sylphide OS 是一个面向微控制器计算机的新通用操作系统，曾在 Hacker News 上被讨论。评论者就其是否过于早期展开争论，因为存储和网络驱动仍在规划中，但支持者指出它基于 FreeRTOS，目标是面向 MCU 的细分 GUI 操作系统。该帖还讨论了硬件移植挑战，特别是将 Oberon System 3 移植到 Olimex ESP32-P4-PC 开发板，涉及裸机 USB、显示、SD 卡和调试问题。技术评论探讨了在无 MMU 情况下运行多个程序，提到了可重定位二进制、位置无关代码和相对寻址，并询问了就地执行（XIP）的支持情况。也有评论指出，许多 MCU 从 flash 运行代码，部分较新的 MCU 包含 MMU。总体而言，讨论在对轻量级替代操作系统感兴趣的同时，也对早期项目持怀疑态度，并关注实际的嵌入式系统约束。
```swift @View struct LoveCounter { @State var count = 1 var body: some View { p { String(repeating: "❤️", count: count) } if count < 10 { button { "更多爱" } .onClick { count += 1 } } else { p { "你已经有了足够的爱！" } button { "减少爱" } .onClick { count = 1 } } } } ```
Hacker News 讨论聚焦于 ElementaryUI，一个在浏览器中使用 Swift 的项目。作者表示它出现在 JS 框架基准测试中，目标是保持“足够快”，但包体积仍是弱点。动机部分是“Swift everywhere”以及使用一种现代语言/工具链生态系统开发 Web 应用。评论者将其与 Cappuccino/Objective-J 和 Blazor 比较，提到 Cappuccino 仍在接收提交，并讨论 Apple 之外的 Swift。有人指出 Apple 可能转向、编译器缓慢以及 TypeScript 的局限性；另一些人则捍卫 Swift 相比 Rust 的性能与哲学。还提到了 Firefox 演示中不稳定的 hydration 问题以及对基准测试/优势的好奇。总体而言，ElementaryUI 是一个实验性的 Swift Web UI 框架，性能前景可期，但包体积和生态系统问题仍未解决。
食物队列由Ines管理，使用报告值而非实时值。许多居民的饥饿状况被追踪，并通过命名预约防止重复分配。紧急案例包括Orla（获救并喂食）、Tove（HP1危急，吃鲑鱼后恢复至16/17）和Priya（饥饿，喂食面包）。Noor、Kiri、Hester等人随后获得了预约配给。远程的Viggo仍为HP14/food2，尽管有预约的鲑鱼却仍未被服务。Ines在避难所安全，HP16.357/food8，门已关闭，未收到配给且无未读消息。农耕与捕鱼有所进展：种植了小麦，制作了面包，烹制并存放了鱼，燃料问题已解决。最终记录显示有未完成的快递/审计任务以及若干未被服务的低食物居民，因此分配必须在食用前继续确认。
Y Combinator Labs 在 Minecraft 和 Mindustry 中进行了大量 AI 智能体集群实验，发现它们常常变得官僚且低效：协调交接、分配角色，并对小决策过度分析。GPT 智能体往往更激进、更愿意冒险，而 Claude 智能体更偏防御、更注重沟通。评论者认为，由于延迟和缺乏持续反馈，LLM 不适合实时游戏；更好的用途包括回合制游戏或基于确定性脚本的宏观规划。其他人质疑多智能体集群的价值，称其可能重现办公室政治并浪费 token，但带范围限制工具的结构化多智能体系统或许有用。讨论还涉及资源成本、伦理问题、特定游戏 AI 历史（如 OpenAI Five），以及混合方案（如用于微观动作的快速本地模型与用于战略的 LLM）。总体而言，这些实验被视为娱乐性实验，而非具备稳健游戏智能的证据。
请启用 JavaScript 和 cookies 以继续
Hacker News 的讨论围绕据报道的 Binance 56 亿美元黑客事件展开，其中约 24 亿美元稳定币被 Circle 和 Tether 冻结。Binance 将初始访问归因于一名 DevOps 工程师的笔记本电脑/服务容器被入侵。评论者争论中心化稳定币是否真正去中心化，指出发行方可冻结或销毁资金，并讨论这使其更安全还是与加密货币反中心化理念相矛盾。许多人认为 Binance 可能追回被冻结资金并让用户得到补偿，而其他人强调交易所仍是单点故障，持有资产在交易所的用户承担风险。该帖还把事件与此前的交易所黑客事件（Mt. Gox、ByBit、FTX）比较，讨论洗钱/Monero，并推测朝鲜等国家支持的参与者。总体而言，这次黑客事件重新引发了关于加密安全、托管、监管以及中心化交易所能否可靠保护大规模资产池的疑问。
作者反思人工智能在数学中的快速进步：几个月内从玩具般工具变为几乎不可或缺，但个人生产力仅提升约50%，因为数学包含思想、证明、组织和理解。自动化旧工作流可能错过转变后的平衡。人类仍然有价值：AI常产生缺乏良好抽象的混乱、无意义证明；人类引导可以缩短证明并得到更强结果。AI也会造成错误起点，需要警惕。人类仍贡献品味、符号、抽象和阐释——不只是更好的写作。存在社会担忧（低价值论文、作者责任不明确）和存在性疑问：当AI能解释或复现人类证明时，人类证明是否还有意义。总体而言，AI是增强谨慎的人类主导数学的强大工具，但该领域的意义与工作流仍不稳定。
一个 Hacker News 帖子讨论了一篇关于 AI 时代做数学感受的博客文章。评论者反思 LLM 日益增强的能力，指出它们能解决或辅助困难问题，但往往缺乏连贯性与品味。多人讨论一种“智力通缩螺旋”：若 AI 即将解决问题，当前人类的努力可能显得不那么有价值。也有人认为先发优势、人类判断与品味依然重要。帖子还涉及 AI 生成论文、软件逆向工程、创作者意义的丧失，以及集体行动能否影响 AI 的冲击。总体而言，它捕捉了 AI 改变智力工作所带来兴奋与焦虑。
在 Raspberry Pi Pico 2 W 上运行游戏的微型世界模型 A tiny world model running games on a Raspberry Pi Pico 2 W
7 天前
一个项目在 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。仓库包含游戏、训练、导出、固件和浏览器演示。
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 对托管编码和项目工作似乎有前景，但信任、访问和产品成熟度仍是开放问题。