The Hacker Daily

Bitsy 是一款轻量级游戏引擎，专为创建小游戏、互动世界和故事而设计，界面简洁，适合制作像素风格的交互式叙事作品。社区反馈显示，其优势在于上手简单、能产出「既令人耳目一新又具复古感」的独特作品；但局限性也很明显——当涉及大量文本或复杂功能时，创作体验会变得 frustrating。与其定位相近的还有 Playdate 平台的 Pulp。

作者在 Recurse Center 的 6 周 batch 中开发了一门可视化编程语言，用于创作「不可能的日子」时钟。该语言基于向量、标量、修改向量、字形和栖息地等组件构建，编辑器采用无语设计（wordless），通过符号和手绘图标操作。技术栈包括 Svelte 5、TypeScript、Svelte Flow 和 p5.js，用户可在网页画布上拖拽节点、连接箭头，实时预览时钟效果，最终导出为独立 HTML 文件。时钟程序完全过程化生成，所有图形由 p5 原语构成，带有随机性。评论者普遍认为这类项目在 LLMs 辅助下开发效率大幅提升，不再需要一个月而只需几天；也有人澄清 Recurse Center 是一个让程序员聚在一起做个人项目的社群。

Dalus 是一家 YC W25 孵化的初创公司，正在打造面向系统工程师的 AI 驱动平台，客户涵盖火箭、卫星、国防系统和电动汽车等硬科技领域。该公司认为，当前的硬件设计行业仍被几十年前的笨重桌面工具束缚，开发节奏缓慢、协作困难、规模化受限。Dalus 的目标是「让原子设计像处理比特一样流畅」，推动下一次工业复兴。本次招聘的高级前端工程师将全面主导产品界面，直接与创始团队合作，从零塑造产品体验，核心挑战是把密集复杂的工程数据变得直观易用。要求具备前端开发经验，有工程类、开发者工具或技术类产品背景者优先。

这是一款来自 screen.toys 系列的网页互动小游戏，让用户在浏览器中模拟劈柴的乐趣。玩家通过点击原木来劈开柴火，劈好的木块会自动堆叠成圈。HN 社区的反应两极分化：一派认为它「令人上瘾」「画面精美」「音效满足」，像回到了 Miniclip 时代的经典小游戏；另一派则指出它过度理想化——真实劈柴的难点在于执行（如何精准命中、如何处理卡住的情况），而非决策木头该从哪里劈开，且木块劈开后几乎不会移动。此外评论还提到：专业人士用 Maul 而非 Axe、劈柴时站姿不对会把斧头嵌进小腿、木头有节疤会卡斧头等真实场景。页面据称由 AI（Claude）辅助开发，也有人注意到作者 Gavin Shapiro 还有一个位于北极的「假博物馆」。整体而言，这是一款披着「模拟器」外衣的休闲解压小游戏，而非严谨的物理模拟。

1960年代，日本神奈川县引进了4辆定制版保时捷912作为高速巡逻警车，主要在第三京浜和东名高速公路上服役。这辆912从1968年运行至1973年，五年内行驶超过15.5万公里，甚至追捕过时速178公里的超速驾驶者。警车通常在服役期满后被报废，但这辆912因发动机故障退役后，被神奈川县警察学校保存展示长达26年，后因老化严重于1999年被卖给废品场，经六个月谈判才得以抢救修复，如今成为研究日本高速巡逻车历史的重要实物档案。

本文回顾了分布式计算领域的八大经典谬误，这些谬误最早由Sun Microsystems联合创始人Bill Joy和Tom Lyon于1994年前后提出，后由L. Peter Deutsch扩展至七条，最终由James Gosling补全为今日熟知的八条：网络可靠、延迟为零、带宽无限、网络安全、拓扑不变、单一管理员、传输零成本、网络同构。文章逐条阐释了这些「想当然」假设的现实反例——IP协议不保证交付、微波/卫星传输有时比光纤更快、家庭Wi-Fi瓶颈被忽视、流量分析可暴露隐私等。作者强调这些谬误是网络软件设计的底层常量，开发者需自问：数据是否真的送达？能否重发？量子计算更对公钥加密构成潜在威胁。评论指出文章多为维基百科内容重述，与Deutsch本人说法存在出入；也有观点将谬误与微服务风潮联系起来，感叹领域内技术与实际需求间的张力。

这是一期BBC播客，探讨纸张折叠背后的物理学原理。纸张能干净折叠的核心原因之一是「纤维结构」——纸张由木纤维压制而成，薄且有一定刚性，折叠时纤维在折痕处有序排列，因此折痕呈现为精确的直线。评论中有趣指出，纸张本质上是「被压碎的木头」，却能比木头本身更容易折叠。有读者对「纸张不拉伸所以能折叠」这一常见解释提出质疑：锡箔纸同样不拉伸，但折叠效果远不如纸张，说明该解释并不充分。播客内容轻松有趣，适合对折纸科学感兴趣的听众。

里约热内卢市政府通过IT子公司IplanRio发布了「自主研发」的Rio-3.5-Open-397B模型，声称是基于Qwen3.5的微调。但调查发现，该模型实际上是Qwen与Nex-N2（同样是Qwen微调）按60/40权重逐层合并的结果，且未披露Nex-N2 Pro的存在。模型合并技术（Model Merging）通过线性组合不同模型的权重矩阵工作，在某些基准上确能提升性能，但这需要透明披露。社区争议焦点在于：里约市隐瞒了真实模型来源，夸大自主研发工作，涉及公众信任问题；合并操作本身技术可行且在开源社区常见，但用于骗取政府预算则构成欺诈。

英国首相斯塔默在唐宁街演讲中宣布，政府将立法禁止 16 岁以下未成年人使用社交媒体，预计 2027 年春季生效。斯塔默称社交媒体「旨在让人上瘾」，正在损害儿童心理健康、为校园霸凌提供便利，「每一位家长都希望英国为孩子们提供更好的未来」。政府参考了澳大利亚的类似立法，还将对游戏服务和直播平台实施更严格监管。禁令将覆盖 Snapchat、TikTok、YouTube、Instagram、Facebook 和 X 等平台，但 WhatsApp、Signal 等通讯服务不在范围内。

塞罗·托雷峰位于智利与阿根廷边境，高3128米，是登山界争议长达半个多世纪的话题。1959年，意大利登山者切萨雷·马埃斯特里声称完成首登，但其搭档托尼·埃格在下撤中遭遇雪崩丧生，首登真实性一直受质疑——后续循该路线攀爬者从未发现任何痕迹。直到1974年，卡西米罗·费拉里才完成首次无争议首登。1970年马埃斯特里重返此山，用重达150公斤的汽油动力钻机在岩壁上凿入螺栓，开辟「压缩机路线」，并拒绝攀爬最后的50米冰蘑菇（他认为那不是山体本身）。此举激怒了登山纯粹主义者，斯洛文尼亚登山者西尔沃·卡罗直言「那座山被从未来偷走了」。2012年1月，美国登山者海登·肯尼迪和杰森·克鲁克以纯自由攀登方式在13小时内完成首登，下撤途中拆除沿途125个螺栓——此举相当于数小时内将压缩机路线从山上抹去。他们抵达埃尔查尔滕村时被警方逮捕并没收102枚螺栓。争议的核心是：马埃斯特里当年安装螺栓固然不道德，但已建立并被广泛使用的路线，肯尼迪和克鲁克是否有权单方面将其拆除？有人以「应该用奴隶劳力建造的金字塔是否该被铲平」反驳，也有人认为他们的行为是利他之举。

这是 Hacker News 每月一次的「你在做什么」社区帖，开发者们分享正在进行的 side projects。本月亮点项目包括：Kuberik（基于 Flux 的 Kubernetes 持续部署工具）、Artifacta（AI agent 工件的持久化存储）、Circuitscript（基于 Python 的电子电路描述语言）；游戏类有 WWII 潜艇模拟 Silent Shark、城市建造游戏 Microlandia（售出近万份）、Sega 32X 模拟器支持等；工具类包括 ntfy（推送通知服务，已运营 4 年）、OneBusAway Cloud（公共交通云平台）、Django-logic（业务逻辑层）；有趣的个人项目还有蘑菇觅食地图、Heathkit 示波器修复、个人基因组测序服务 banksia.bio。多名开发者表示 AI/agent 方向竞争激烈但仍有空间，也有老开发者感慨这类帖子是 HN 最具创意的部分。

Trace是一款纯本地运行的macOS会议转录工具，运行于Apple Silicon上，所有音频和transcript永不离开设备。核心功能是在任何视频会议（Zoom、Teams等）中按⌘K即时标记关键时刻，标记会以时间戳内嵌到Markdown transcript中供后续AI阅读。另有⌘?可查看近两分钟实时transcript。支持日历集成自动获取会议标题、说话人识别、快捷键完全可自定义。定价10美元一次性买断。评论关注点：有人已购买并反馈积极；德国用户因隐私法律只能录自己的声音；强烈要求非App Store分发选项；速度很快，使用Parakeet-TDT等本地模型；有人认为macOS原生功能迟早会取代它；也有关于两人同意录音州法律合规的疑问。

Jane Street 技术高管回顾了公司 25 年来对形式化方法的怀疑态度——高成本（如 seL4 微内核花费 25 人年验证 8700 行代码）使其对大多数软件「不值」，而 Jane Street 的类型系统已是轻量级形式化方法的成功案例。但 AI 代理编程（agentic coding）的出现改变了这一判断：AI 大幅降低了形式化方法的门槛，同时 AI 生成的代码质量不稳定、需要大量验证，正好由形式化方法弥补；类型系统等轻量级方法证明「全称量化保证」对 AI 编程有巨大价值，这让团队更看好完整的证明技术。Jane Street 宣布组建形式化方法团队，核心优势在于深度掌控 OCaml 语言（可量身定制证明集成），以及一支对这类工具有强烈需求的技术社区。

Chaosnet 是 MIT 人工智能实验室于 1975 年为 Lisp Machine 系统开发的本地网络，其名称「Chaos」源于网络中没有集中控制元件的设计理念。系统设计目标是简单性和高性能——通过高速传输介质和低开销的简单协议实现，而非复杂的算法。每个活跃用户拥有独立处理器和内存，通过 Chaosnet 访问共享文件系统、打印机、磁带机等资源。物理层采用有线电视用的 75 欧姆同轴电缆（ether），最大长度约 1 公里、节点约数十个。网络可通过网桥（bridge）互联多个 ether。Chaosnet 在设计上去除了与本地网络无关的功能（如低速率链路、长距离传输、多路径等），硬件采用载波侦听多路访问（CSMA）机制，软件协议则借鉴了以太网、TCP 和阿帕网的设计。数据包最大 4032 位数据加 48 位硬件头部，支持 CRC 校验。

Windows 11 安装过程强制要求用户创建微软账户，这一问题持续困扰用户多年。尽管微软通过 Windows K2 计划试图重建用户信任，却始终回避这一核心抱怨。用户 2025Fishy 在 Reddit 发帖指出，微软不应在 OOBE（开箱设置）中移除本地账户选项，引发广泛共鸣。微软的辩解是：BitLocker 加密需将恢复密钥绑定微软账户，以防止用户永久丢失数据。但批评者指出，许多用户在遇到 BitLocker 恢复界面时才首次意识到密钥与账户绑定，且账户可能已被遗忘。更深层的问题是用户控制权——人们感觉自己被迫让出原本属于自己的选择权。有报道称微软内部也有员工认同批评，但公司至今未承诺恢复简明的本地账户选项。评论者建议微软至少应将在线账户设为默认选项而非唯一选项，让用户能无摩擦地选择本地账户。

Meta 发布了 PyTorch 官方编解码库 TorchCodec 0.14 版本，带来两大核心更新：一是新增 HDR 视频的 CPU 和 CUDA 解码支持，大幅提升了视频处理效率；二是大幅优化了 WAV 音频文件的解码速度，性能提升显著。TorchCodec 由 PyTorch 团队开发，主打与 PyTorch 张量无缝衔接的解码体验。社区对此反应热烈但也有担忧：有用户指出该版本强制要求 torch>=2.11，而目前许多 NVIDIA 相关库仍停留在 2.10 或未包含 C++ method 的 2.11 alpha 版，兼容性是一大痛点。另有人关心其使用的 FFmpeg 版本是否过旧。核心争议在于 TorchCodec 与现有 GPU 加速视频方案（如 NVVideoCodec、VPI）的差异化优势——VPI 已支持 PyTorch 零拷贝接口，TorchCodec 的独特价值尚需明确。

zeroserve 是一个高性能 HTTPS 服务器，核心创新在于用户态运行 eBPF 脚本（而非内核态）。最新版本支持「Caddy 兼容模式」——接收 Caddyfile 后，先 JIT 编译为 eBPF 再编译为原生 x86_64/ARM64 机器码，在 io_uring 事件循环中执行，号称比原生 Caddy 提升 3 倍吞吐、降低 70% 延迟。用户还可以通过 eBPF 插件扩展，比如用官方示例 `io.su3.aws-sigv4.c` 为 S3 兼容存储桶的请求添加 AWS SigV4 签名认证。社区争议集中在：缺失 ACME 自动签发（被多位评论者视为 dealbreaker）、io_uring 近期安全漏洞担忧、JIT 编译带来的攻击面、以及「eBPF 用户态运行」是否背离 eBPF 设计初衷等问题。

文章指出 PostgreSQL 中大规模数据删除的最佳实践是 DROP TABLE 或 TRUNCATE，而非 DELETE。作者解释了 DELETE 的工作机制：由于 MVCC 架构，DELETE 并不真正释放物理空间，而是产生「死元组」（dead tuples），由后续 vacuum 清理。这导致大量写放大和复制开销，且 index 中的死行仍需读者处理。相比之下，DROP TABLE 只扫描缓冲区描述符（每 8KB 页面对应 64 字节头信息，约 1/128 缓存大小），直接删除文件，几乎无死元组开销。文章建议通过分区表（如按日期）将大规模 DELETE 转化为偶尔的 DROP TABLE 操作，并给出了临时表 + TRUNCATE 的具体手术步骤。评论中有争议认为文章过于绝对，小规模删除或 CRUD 场景下经过调优的 autovacuum 配合 DELETE 同样可用；分区方案也非万能，需视业务写入模式而定。

本文收录了首位图灵奖得主 Alan Perlis 于 1982 年发表的约百条编程箴言，涵盖语言设计、数据结构、复杂度管理、代码风格、系统构建等主题。Perlis 认为数据结构应延迟绑定、简单性是复杂性的结果而非前置条件；强调模块化与对称性以降低复杂度；警示程序最终会变得「洛可可化」并最终崩塌，优化会阻碍进化；指出编程语言的真正价值在于改变思维方式。这些洞察在四十年后仍具启发意义，尤其关于语言设计哲学和代码组织的洞见对当代开发者有重要参考价值。

Orange Crumbs是一个每周邮件订阅服务，汇总在Hacker News上引发讨论的热门维基百科文章，帮助用户发现那些在技术社区引发深度讨论的知识性内容。评论者普遍认为这个产品执行出色、界面清新，适合知识探索。类似项目包括wikitok和quack.sdan.io，也有用户提到mostdiscussed.com提供类似功能。评论建议可增加按点赞数或评论数排序的功能，以及加入「研究论文」和「邮件列表」等分类模式。此外，有用户指出HN的BigQuery免费数据集可提供更丰富的数据挖掘可能。

这篇来自 wizardzines.com（Julia）的文章阐述了一个写作原则：永远假设你的读者只有一个人。这个看似反直觉的建议实际上能帮助你摆脱「试图让所有人满意」的陷阱，找到自己真正的声音。评论者 simonw 补充了一个变体：「写给三年前的自己」，即假设你在向过去的自己解释一件事，同样能产生高质量的技术写作。Vonnegut 的名言被引用来说明这个道理：如果你「打开窗户对全世界做爱」，你的故事会得肺炎。围绕这个原则，评论延伸出多个话题：有人认为这本质上是 UX 设计中的「人物画像」（persona）方法论；有人提醒过度 niche（即目标读者太狭窄）反而会让产品失去受众；还有开发者分享用这个原则做产品后用户虽少但评价极高的经历。LLM 提出的「低调一点」建议被普遍批评为让内容变得平庸无趣。

这是一篇介绍分段显示（segment display）字体的网站的文章。该网站提供7段、16段等多种经典分段显示的在线模拟工具，用户可以输入任意字符并实时预览显示效果，支持自定义控制每个段的亮灭。网站还展示了不同地区的分段显示方案，包括西班牙火车和柏林地铁等实际应用案例。评论指出该网站不仅能显示数字和拉丁字母，还支持显示任意自定义字符。有硬件开发者表示正在用此类工具设计习惯追踪设备的屏幕。也有评论提到柏林地铁的分段显示与文中「German」样式存在细节差异，如后者有正确的降部设计。

一款新型「验证码」要求用户操控爪机抓取毛绒玩具来证明自己不是机器人。评论普遍认为创意有趣，但实用性存疑。多名用户指出：目标永远在前层、爪机会「倾斜」方向错误等物理瑕疵；AI 可轻易破解——有用户称 Codex + Browser Use 已成功通关，Claude Opus 4.8 也能一击必杀。社区指出，这种游戏化验证本质上与 Google 图片选框无异，强化学习已能让 AI 像击败 Stockfish 一样轻松攻克此类游戏。部分评论认可其娱乐价值，认为只要作为「入口游戏」而非身份认证就无可厚非。也有人吐槽：真正好的验证是让用户直接放弃，而不是强迫他们玩无聊的小游戏。整体来看，社区对游戏化 CAPTCHA 的前景持怀疑态度，认为成本与安全之间的军备竞赛注定失败。

Paul Graham 回应 AOC「不可能赚到十亿美元」的言论，用数学计算证明其可行性：他假设初始投资 200 万美元、维持 93% 月增长率，算出约 6 年可获 10 亿美元。核心论点是：超高财富来自创建高增长企业，用户喜爱推动指数级增长，而非传统工资积累。Graham 认为「赚」的定义取决于是否创造真实价值——若创业成功且用户愿意付费，即为正当所得。然而评论争议激烈：批评者指出其忽略了初始资本的阶级特权、例子（Facebook/Airbnb）的道德瑕疵、以及超高增长往往伴随不正当竞争手段；还有人区分「赚取」与「获取」——没人真正靠工作赚得十亿，更多是通过所有权变现。

作者分享了如何用M1 Max电脑对669GB的GoPro视频进行本地AI索引。项目采用帧分析pipeline将视频分割为1秒或1fps的场景片段，使用Qwen25-VL等多模态模型进行视觉理解和动作识别，通过RAG系统结合向量数据库与SQL数据库实现语义搜索。用户可用自然语言询问视频内容，系统会调用Ollama本地模型理解请求并检索相关片段。此外作者还尝试生成类似Spotify年度回顾的视频。作者已开源代码并提供桌面应用。社区讨论聚焦于M1 Max的统一内存架构优势（400GB/s带宽）、与DaVinci Resolve 21内置AI功能的对比、以及隐私导向的本地模型趋势。