Hacker News Digest
· 35 黑客新闻
想为 OpenStreetMap 做贡献却不知从何下手？StreetComplete 这款 Android 应用让你轻松上手。它会自动在你周边寻找缺失的地图数据，并将其转化为一个个简单的“任务”。你只需实地走访，回答几个简单问题，就能直接以你的名义更新地图，完全无需使用复杂的编辑器。无论是补充道路信息还是标注设施细节，StreetComplete 让每个人都能成为地图的共建者，让 OpenStr…
欧洲议会在一场突如其来的紧急投票中，以微弱优势通过了重启 Chat Control 1.0 的动议。尽管此前该法规因争议巨大而失效，但在欧盟委员会和成员国的压力下，议会主席 Roberta Metsola 强行将议题提上日程。反对者指责这是违反程序的“政治闹剧”，并担忧 AI 扫描的高误报率将侵犯公民隐私。然而，由于夏季休会前的特殊投票规则，支持方仅需简单多数即可通过，这使得 Chat Cont…
id Software作为第一人称射击游戏领域的传奇，其研发的idTech引擎曾驱动无数经典游戏。然而，随着Microsoft在Xbox部门展开史上最大规模重组，idTech开发团队几乎全员被裁。Xbox新任CEO Asha Sharma在内部邮件中透露，此次裁员涉及约3200个岗位，其中1600个职位今日即刻取消，另有四家工作室将移交新管理方。这一变动不仅标志着id Software辉煌时代的…
- ▲ 46098% 的覆盖率其实远远不够
98% 听起来是个惊人的数字，但在某些场景下它却意味着灾难。如果餐厅食物中毒率是 2%，或者老板只发 98% 的工资，你还会觉得这很美好吗？在 Web 开发中，盲目追求 98% 的浏览器兼容性，可能意味着直接抛弃了 1.5 亿用户。以嵌套 CSS 为例，虽然它在通用数据中普及率很高，但在特定受众中可能只有 70% 的支持率。真正的稳健工程不应只关注大多数，更要优雅地处理那些被 98% 统计数字掩…
- ▲ 448告别松垮：你的运动裤抽绳系法可能错了
你是不是也受够了运动短裤或卫衣的抽绳在一天中反复松开？别再依赖那个容易散开的普通蝴蝶结了。视频分享了一种基于 slipped Lapp knot 变体的系法，专为解决抽绳打滑问题而生。这种结不仅能在剧烈运动中保持紧绷，均匀分散腰部压力，最关键的是它具备“快速释放”功能——只需轻轻一拉就能瞬间解开。无论是 gym shorts 还是 sweatpants，掌握这个技巧都能让你彻底告别弯腰重系的尴尬…
欧盟的 Chat Control 1.0 本已在 2026 年 4 月因议会明确反对而失效，但欧盟理事会竟试图通过紧急程序复活这项被否决的法规，引发前所未有的宪政危机。尽管 Google、Meta、Microsoft 和 Snap 等巨头表示将无视法律继续扫描，但议会此前已通过关键修正案，拒绝自动化审查未知内容。与此同时，旨在永久化的 Chat Control 2.0 谈判陷入僵局，核心争议在于…
- ▲ 401欧盟新车强制装摄像头，数据去哪了？
从2026年7月7日起，欧盟所有新车必须配备ADDW驾驶员监控系统，摄像头将时刻盯着你的脸。一旦你分心超过3.5秒，车辆就会发出警报。虽然初衷是为了安全，但测试显示系统过于敏感，甚至看风景都会触发警告。更令人担忧的是，法规虽要求数据本地处理，却未明确数据保留期限和独立审计机制。此前GM和Tesla等车企已有泄露驾驶数据的先例，这次强制安装摄像头，你的面部数据和行车轨迹是否也会成为数据经纪人的猎物？
想知道 ML 领域的核心脉络吗？Ilya Sutskever 曾向 John Carmack 推荐过一份包含 30 篇关键论文的清单，如今 30papers.com 将这些内容整理成了对初学者极其友好的格式。这里没有晦涩难懂的学术黑话，而是将那些奠定现代 AI 基石的经典研究，用通俗易懂的方式重新呈现。无论你是刚入门的开发者，还是想系统梳理知识体系的老手，这份由 OpenAI 联合创始人亲自把关…
几年前，在本地生成逼真的语音似乎还遥不可及，但现在 Kokoro 让这一切成为现实。这款仅 82M 参数的模型，不仅能用 CPU 流畅运行，还能生成英语、中文和印地语等多种语言的逼真语音，提供约 50 种不同音色。最棒的是，它完全在本地运行，无需担心隐私泄露。通过 Kokoro-FastAPI 容器，你可以轻松搭建兼容 OpenAI speech API 的服务，甚至用老旧的 Intel Cor…
- ▲ 261受贿 3.25 亿美元，中国官员被判死刑
中国常州法院近日对前南京官员 Yang Youlin 作出死刑判决，因其受贿金额高达 3.25 亿美元（约 22 亿人民币）。Yang Youlin 在 1993 年至 2023 年间，利用职务之便为他人谋取工程合同、土地转让及融资便利，同时涉及贪污、滥用职权和洗钱等多项罪名。尽管 Yang Youlin 认罪并检举他人，但法院认为其罪行极其严重，造成的损失巨大，不足以从轻处罚。此案是 Pres…
Davit 是一款专为 Apple silicon 打造的纯原生 macOS 应用，让你无需 Docker Desktop 即可运行 Linux 容器。它直接通过 XPC 与 Apple 的 container 守护进程通信，摒弃了 Electron 和网页视图，实现了极致的轻量与高效。从一键启动终端、实时资源监控到容器配置编辑，Davit 提供了完整且流畅的容器管理体验。更棒的是，它会自动安装…
- ▲ 168移民为何来德国工作后却选择离开
德国长期吸引全球技术人才，却在留住他们方面屡屡受挫。IAB 的研究显示，移民离开的理由并非单一：家庭因素、歧视经历、繁琐的官僚程序、住房困难以及语言学习支持不足，都是关键原因。许多移民在抵达后不久便因行政效率低下、职业前景不明或无法融入而选择离开，甚至转向西班牙、瑞士等其他欧洲国家。尽管德国在数字化和集中化移民服务上有所进展，但整体仍缺乏全国性的系统性解决方案。文章指出，若不能改善语言培训、资格…
- ▲ 142Herdr：一个终端掌控所有 AI 代理
厌倦了在不同设备间切换管理 AI 代理？Herdr 重新定义了终端体验，它不是 Electron 应用，而是一个原生的 Agent 多路复用器。你可以从任何终端（甚至手机）通过 SSH 连接，在一个界面中同时运行多个 Coding Agent，如 Claude Code 或 Copilot。即使关闭笔记本电脑，服务器上的会话依然保持运行，状态一目了然。从 JetBrains 到 Google 的…
Jim Paris 在 GitHub 上开源了一个极具创意的 TrueType 字体项目，它能让普通文本在特定条件下直接渲染成 QR Code。只需在文本中使用方括号包裹内容，例如 abc[hello]ghi，括号内的文字就会自动变成二维码，而周围文字保持正常显示。该项目基于 Liberation Sans Regular 字体生成，支持不同密度的版本，分别可容纳 17、32 或 53 个字符。…
- ▲ 125为何还要再造一个Postgres连接池？
PgBouncer等现有工具虽然流行，却引入了‘泄漏的抽象’，迫使你修改代码或放弃Postgres的SET、LISTEN/NOTIFY等核心功能。我们开发PgDog，正是为了解决这些痛点。通过内置SQL解析器，PgDog能智能处理SET语句，确保会话状态不泄露；它原生支持LISTEN/NOTIFY的发布订阅模式，甚至修复了事务语义的坑。基于Rust和Tokio构建的多线程架构，让PgDog能充分…
l 是专为 k 和 q 语言家族打造的全新运行时，它能在不改动任何现有代码的前提下，让 k4、q 和 qSQL 跑得飞快。l 的核心突破在于将“压缩向量”作为执行单元，数据在内存中始终保持压缩状态，直接对编码后的字节进行运算，彻底避免了传统引擎中反复解压重建数组的带宽瓶颈。结合透明 SIMD 指令集、自动并行化以及针对 Apple Silicon 和 x86 的硬件优化，l 在 TSBS 和 d…
- ▲ 100让 LLM 自动把自己优化掉
A. Karpathy 曾直言 OpenAI 的研究人员正在通过改进 AI 而‘自动将自己淘汰’。我在用 Anthropic 的 Fable 开发 Beagle SCM 时深有体会：它虽然能精准发现代码漏洞、自动提交修复，却也会笨拙地把 build 目录误提交两次。LLM 越聪明，越显得笨手笨脚，因为它们天生非确定且易出错。相比之下，Ragel 能瞬间生成形式上绝对正确的解析器。我的策略是：用快…
Rowboat是一款开源的桌面AI工作伙伴，专为开发者打造。它通过构建动态的知识图谱，将你的邮件、会议记录、Slack对话及代码工作流统一索引，实现真正的本地优先记忆。内置邮件客户端、浏览器、会议记录员及代码模式，支持背景Agent自动执行任务。你可以使用Ollama或自定义API密钥接入模型，所有数据均以纯Markdown格式本地存储，确保隐私安全且无厂商锁定。
- ▲ 87我们每周收费1万美元删除AI代码
你的项目是否也陷入了这个怪圈：AI生成的代码起初能跑，但稍加改动就引发连锁崩溃？我们专门接手这种被“vibecoded”的烂摊子。我们提供免费的代码库分析，如果无法解决，你无需付费；若我们能行，则承诺明确的代码缩减目标，例如将10万行代码精简至3.5万行。我们由三位资深工程师在一周内集中攻坚，先梳理业务逻辑清单，再大刀阔斧地重构，将重复逻辑合并，用标准库替换手写框架。我们甚至使用Claude C…
为了将Nintendo Switch连接到CRT显示器和外部音箱，我入手了一款售价仅2.58美元的HDMI转VGA适配器。然而，其音频输出充满了令人崩溃的爆音和底噪。在尝试了各种接地隔离器和音频提取器方案失败后，我通过示波器深入分析，发现罪魁祸首是NX3303X芯片输出的MHz级超声波噪声。经过几天的阻抗调试、滤波器原型设计以及PCB元件的重新焊接，我最终成功修复了这款廉价硬件的音频问题，实现了…
- ▲ 75软件质量的六个信号与组织真相
我认为软件质量本质上就是“问题的缺失”。虽然完美无法企及，但越接近完美，产品就越出色。质量并非单纯的技术问题，它深深植根于组织的领导力与文化之中。随着规模扩大，维持高质量变得愈发困难，这往往是一个无法完全解决的权衡。文章提出了判断软件质量的六个核心信号：Reliability、Speed、Clarity、Efficacy、Efficiency 和 Beauty。坚持高质量不仅能减少技术债务、吸引…
我们把 AI 审计管道对准了 Cloudflare 的 CIRCL 实验性密码库，成功确认了 7 个真实漏洞，从阈值 RSA 中的 float64 精度丢失，到属性基加密的访问控制完全失效。这 7 个问题现已在上游修复。这是我们在开源密码学中利用 AI 发现漏洞系列的首篇。在 zkSecurity，我们正在打造 zkao，一个能持续监控代码直到 AI 无法再发现任何漏洞的审计代理。这次实验不仅修…
MacSurf 1.68 正式发布了，这次更新简直是给 Classic Mac OS 9 装上了现代引擎。我们彻底替换了旧的 Duktape，换上了全新的 macQJS，这意味着你的 PowerPC 老机器现在能原生运行 ES2023 标准的 JavaScript 了，不再需要任何代理或辅助机器。这次更新修复了大量令人抓狂的 Bug：文本光标终于能正常闪烁和选中了，登录状态不再丢失，启动时间从…
美国能源部（DOE）在核废料清理项目上挥霍了数十亿纳税人的钱，却因过早锁定特定方案而错失了更省钱的机会。GAO最新报告指出，DOE的环境管理办公室（EM）在规划大型项目时，往往在需求定义阶段就预设了解决方案，导致后续无法充分评估替代选项。例如，在Oak Ridge Reservation的Outfall 200项目以及Idaho National Laboratory的某些案例中，法律约束和承包…
Godox 推出了一款名为 C100 的超紧凑相机，售价仅约 29 美元。这款相机最引人注目的特点是其透明显示屏，它直接充当光学取景器，让相机看起来像一扇小窗户。虽然它没有 Wi-Fi 和蓝牙，但能通过 USB-C 传输照片，并支持多种宽高比拍摄。对于摄影师来说，它不仅是玩具，更是一个实用的测光表，只需轻按按钮即可显示正确曝光，特别适合为没有内置测光功能的胶片相机服务。
docx-cli 是专为 AI 智能体打造的命令行工具，让 Claude、Codex 等模型能够精准读写和编辑 .docx 文件。它通过稳定定位符直接操作 XML，完美保留文档格式、样式和嵌入对象，彻底解决了传统方法导致文件损坏或格式错乱的问题。实测显示，使用 docx-cli 能让智能体完成任务的时间缩短一半，Token 消耗降低 60%，且生成的文档在 Word 中打开的成功率高达 100%…
- ▲ 40为何温哥华总替身旧金山拍戏
你以为在旧金山取景的《Alcatraz》、《Godzilla》或《The Bletchley Circle: San Francisco》真的是在旧金山拍摄的吗？其实它们大多是在温哥华完成的。温哥华凭借多样化的城市景观、完善的影视基础设施以及无上限的税收优惠，成为了好莱坞的热门替身地。相比之下，旧金山虽然拥有独特的硅谷科技氛围和真实的城市质感，但在税收激励和拍摄成本上略显劣势。不过，也有制片人认…
想象一下，如果 Euler 是个小丑，气球扭制会变成什么？这篇论文将气球扭制从街头魔术提升到了数学理论的高度，由 Erik D. Demaine、Martin L. Demaine 和 Vi Hart 联手打造。他们构建了“计算气球扭制”的理论框架，用图论算法解决如何用最少的气球扭出特定多面体，甚至探讨了在气球等长限制下的 NP 完全性难题。这不仅能让孩子们在游戏中学习图论和几何，还能启发用单根…
大语言模型（LLM）早已走出实验室，成为工程师日常工作的核心。面对每年33%的市场增长，仅会提示词已远远不够。IEEE联合IEEE Computer Society推出全新在线课程，带你深入Transformer架构、PyTorch训练及RAG技术，从原理到部署全面掌握LLM。课程涵盖数据隐私、幻觉修复及高效微调，助你从“使用者”进阶为“构建者”，在AI浪潮中占据先机。
- ▲ 12模型路由的四大核心原则
在构建 role-model 路由器的过程中，我总结了四条模型路由的核心原则。首先，保持模型差异化，避免在性能相近的 GPT 和 Opus 之间纠结，而应将前沿模型与在速度、质量或成本上有明显优势的模型搭配。其次，控制模型池规模，默认限制为两个，除非新模型能明确提升某项指标，否则盲目增加只会让决策更复杂。第三，使用相对的真实世界基准测试，而非依赖外部元数据，因为模型在不同端点和任务上的表现差异巨…
Fortress是一款专为自动化任务设计的隐身Chromium引擎，通过在C++底层修正浏览器指纹，让爬虫和AI代理完美伪装成普通Chrome用户。它无需修改现有Playwright或Puppeteer代码，仅需一行配置即可绕过Cloudflare、Akamai等主流反爬检测。无论是CreepJS还是Sannysoft，Fortress都能呈现100%人类特征，彻底解决自动化脚本被频繁封禁的痛点…
我们曾自信地认为 AI 只是高级预测文本，无法创作出真正动人的故事。然而，Bona Books 在筹备 LGBTQIA+ 科幻选集《Wrath Month》时，意外发现已签约的两篇精彩作品竟出自 AI 之手。作者 Bella Chacha 和 Stephen Jackson 在编辑过程中表现出的异常冷漠、缺乏创作细节以及无法提供写作草稿，最终揭开了这场骗局。这次事故不仅让我们损失了数月的心血，更…
想真正搞懂程序设计的底层逻辑？MIT的这门传奇课程Structure and Interpretation of Computer Programs绝对是你的不二之选。由Hal Abelson和Gerald Jay Sussman两位大神亲自授课，这套录制于1986年的视频讲座，由Hewlett-Packard Television专业制作，至今仍是计算机科学领域的必读经典。课程从Lisp语言入…
我在研究卡巴拉学者 Abraham Aboulafia 的著作时，意外发现了一个被尘封700年的枚举算法。他在13世纪就提出了一套系统方法，用于生成 n 个字母单词的所有排列组合。这个名为 Tserouf 的方法，核心规则简单得令人惊讶：只需将首字母移至末尾，递归应用即可。Aboulafia 在精神修行的框架下，构建了一个严谨的递归算法，比17世纪的英国变奏钟声早了300年，更比计算机科学早了7…
直觉告诉你，随机数字以1开头的概率是11%？大错特错！Benford's Law揭示了一个反直觉的真相：在真实世界的海量数据中，数字1作为首位出现的概率高达30%。从城市人口到股票价格，甚至Fibonacci序列，都严格遵循这一对数规律。更神奇的是，由于人类对“随机”的直觉偏差，伪造的财务数据往往无法通过Benford's Law的检验，从而成为审计师和法医会计师揪出欺诈的利器。本文将带你探索这…