每日摘要 · Hacker News
· 92 黑客新闻
- ▲ 1782别做Claude的肉身代理
在Slack、Merge Request或WhatsApp群组中，我越来越频繁地收到直接复制粘贴自Claude的长篇回复。这种做法毫无价值，因为我完全可以自己直接询问Claude，而且能更好地控制上下文。AI生成的内容往往冗长、充满看似合理实则荒谬的胡言乱语，甚至堆砌大量晦涩术语，让人不得不逐个查证。在代码审查中，如果开发者只是将需求描述和反馈扔给Claude Code，而不阅读或理解生成的代码…
- ▲ 1319LLM 时代，专家才是真正的赢家
很多人误以为使用 LLM 不需要技能，只要会提问就能获得 PhD 级别的数学解答或代码。但事实恰恰相反，提示词工程中最关键的能力其实是你对领域的专业认知。以 Terence Tao 与 ChatGPT 的对话为例，正是因为他深厚的数学功底，才能精准引导模型进入“专家模式”，而非被模型带偏。在编程领域同样如此，只有当你拥有对代码库的深刻理解，才能有效识别 LLM 输出的问题，提出更优方案。当模型越…
Qwen3.8-Max 正式发布，这是 Qwen 家族迄今最强大的模型，拥有 2.4 万亿参数。它不仅能写代码，更能独立完成长达 10 多天的复杂项目，从构建 self-evolving harness 到复现并改进学术论文，甚至在 24 小时内击败 526 支人类团队。在合规审查、UI 设计、菜单制定等数百个高价值职业场景中，Qwen3.8-Max 展现了惊人的生产力，将原本需要数周的工作压缩…
最近 GitHub 上出现一批针对 SQLite 的所谓关键漏洞报告，NVD 和 CISA 甚至将其标记为 Critical。但 JFrog 安全团队深入调查后发现，这些 CVE 大多是 LLM 生成的垃圾内容。报告中引用的函数在指定版本中根本不存在，行号也完全对不上，PoC 测试更是无法复现任何崩溃。更讽刺的是，部分漏洞评分从 10.0 被降级，因为所谓的修复补丁纯属虚构。这一事件暴露了当前…
- ▲ 705为什么 Devtools 必须开源
五年前，工程师很少为自己写软件，因为维护成本太高。如今，随着 AI Agent 的崛起，个性化软件变得前所未有的简单。只要拥有源代码，Agent 就能自动下载、修改并同步上游更新，让定制变得轻而易举。作者以 Shelley 和 meat.dev 为例，展示了如何通过简单指令将工具深度集成，而无需复杂的插件系统。相比之下，像 Claude Code 这样的闭源软件则无法实现这种深度的个性化。在 A…
- ▲ 613OpenAI用AI攻克难解数学猜想
OpenAI宣布其内部模型Astra在数学和理论计算机科学领域取得了十项重大突破，解决了包括高维几何、群论和量子复杂性在内的多个长期悬而未决的问题。这些成果不仅推翻了Connes的刚性猜想，还为非sofic群的存在提供了构造证明，并显著改进了二进制码和球面码的界限。OpenAI强调，虽然数学论证完全由AI生成，但人类负责了手稿的整理和Lean证书的形式化验证，并承诺对结果的正确性负责。这一进展标…
- ▲ 602比德国人更像德国人：我的汉堡生活
2017年，我带着对德国人的刻板印象来到Hamburg实习，却意外发现这里的人们友善、平等且充满信任。从同事帮我搬家到CFO骑旧自行车上班，从无需查票的公共交通到尊重多样性的职场文化，我的经历彻底颠覆了认知。在这里，规则不是束缚而是保障，社会民主理念深入人心。即使我最初完全用English交流，也从未感到被排斥。多年后，许多德国朋友告诉我，我比很多德国人更像德国人，因为我对规则的遵守和对生活的态…
- ▲ 524手动重敲 LLM 代码，拒绝认知债务
尽管 2026 年机器人提交 PR 已成常态，但我拒绝在个人项目中完全依赖 LLM 生成代码。为了避免陷入巨大的认知债务，我采用了一种看似低效却极有价值的策略：让 LLM 在聊天框生成代码，然后我手动逐行重敲进编辑器。这种方式虽然让我只比不用 AI 快两倍，而非十倍，却让我对每一行代码、每一个 API 都建立了深刻的理解。通过手动输入，我构建了代码库的空间地图，能及时发现幻觉和糟糕的设计。在效率…
- ▲ 389Pandoc 二十年：从拖延到全球流行
2006 年 8 月 3 日，我发布了 Pandoc 0.1 版本，当时它只有 3000 行 Haskell 代码，能转换 Markdown、HTML 等少数格式。我从未想过，这个最初源于拖延症和探索 Haskell 语言乐趣的小项目，会在二十年后演变成支持五十多种文档格式的开源工具。从最初仅靠邮件联系朋友，到后来被 Debian 收录、迁移至 GitHub，再到集成进 Quarto 和 Jup…
Jane Street 内部几乎全部 Web 应用都基于 Bonsai 构建，这是一个用 OCaml 编写的 UI 库，灵感部分来自 Elm。Bonsai 将组件实现为纯函数状态机，支持增量渲染，只在状态相关部分变化时更新视图。它允许开发者按需组合状态和增量计算原语，而非将状态、增量和渲染捆绑在单一抽象中。由于使用 OCaml，前后端可共享语言与类型系统，极大提升代码可读性与可维护性。Bonsa…
- ▲ 369德国风光发电首次超越化石燃料
德国能源结构迎来历史性转折，风能加太阳能的发电量首次超越化石燃料。这一里程碑标志着该国在能源转型道路上迈出了关键一步，摆脱了对传统能源的长期依赖。尽管面临干旱等气候挑战，可再生能源的崛起仍为欧洲绿色能源未来提供了有力证明，展示了清洁能源在应对气候危机中的巨大潜力。
- ▲ 342Isopolis: 旧金山等距像素地图
Isopolis 是一款充满创意的旧金山等距像素地图，由开发者 NuwanDavek 精心打造。它通过独特的像素艺术风格，将旧金山的街道、地标、科技巨头总部（如 Google、OpenAI、Anthropic）以及热门餐厅生动呈现。用户不仅可以探索城市，还能体验预设的趣味导览路线，如专为创始人设计的“Ship It, SF”或面向游客的“SF 101”。该项目灵感源自 Silicon Valle…
我很高兴宣布加入 ClickHouse，负责创立并领导全新的研究团队 ClickHouse Labs。自 2016 年 ClickHouse 开源以来，我一直密切关注其发展，从最初怀疑它是“空想软件”到后来将其作为学术研究的标杆。此次合作将打破传统，不再让研究团队与工程团队割裂，而是紧密协作，将科学价值转化为真正影响用户的技术。我们的目标明确：像 IBM Research 和 Microsoft…
MiniMax H3 模型今日发布并开放权重，ComfyUI 在发布当天即实现原生支持。这款多模态视频模型不仅能生成高达 2K 分辨率、长达 15 秒的视频，还原生内置立体声音频，无需后期合成。通过剪枝调制权重和 int8 量化等优化技术，其显存占用降低了 66%，使得 RTX 3060 等消费级显卡也能本地运行。无论是文生视频、图生视频，还是基于参考素材的运动迁移，H3 都能在一个模型中完成多…
在 San Francisco 的咖啡馆里，一次简单的 Buy 点击，在 211.4 毫秒后屏幕上便显示 Order confirmed。这看似瞬间完成的交互，背后却是一场跨越 4,700 公里光纤的精密接力。从触摸板电容变化引发的硬件中断，到 Chrome 浏览器内部的 Hit testing 和缓存策略，再到 TCP 与 TLS 的握手协商，请求在 Node.js 进程、Load balan…
在爆发期间，公司的公开声明不是营销，而是证据。Taylor Farms 在十六天内四次重写其关于 Cyclospora 的声明，从最初承认 FDA 溯源指向特定农场，到后来声称 FDA 道歉（实则未发生），再到强调两千万次阴性检测。然而，这些文字游戏掩盖不了核心事实：自 2013 年 FDA 要求重新评估清洗步骤以来，该工厂从未公开过针对 Cyclospora 的检测结果。作者指出，两万个阴性样…
- ▲ 263发酵20年的鱼酱，正在毒害加拿大小镇
在加拿大 Newfoundland and Labrador 省的 St. Mary's，110个装满鱼酱的发酵罐被遗弃在废弃工厂中长达20多年。这些由 capelin 和盐制成的混合物散发出令人窒息的恶臭，迫使当地居民每年夏天不得不封窗堵门，甚至暂时搬离家园。如今，清理工作终于启动，90万升的粘稠鱼泥将被运往 landfill。我采访了食品科学家 Bryan Quoc Le，探讨这桶“禁断鱼酱…
在 Cloudflare 的 Workers AI 上运行 Moonshot 的 Kimi 和 Z.ai 的 GLM 这类超大模型极具挑战。我们通过三项关键技术突破瓶颈：将 KV cache 量化为 FP8，使上下文容量翻倍；将模型权重压缩为 INT4，显著降低显存占用并提升解码速度；同时引入缓存完整性检查，在共享硬件环境下确保数据安全。这些优化在保持模型精度不变的前提下，大幅降低了服务成本，让…
- ▲ 251ICE 去年采集近百万人 DNA，含幼童
2025 年，ICE 将约 92 万人的 DNA 样本送入 FBI 的 CODIS 系统，其中绝大多数人并未犯下刑事罪行，仅因移民身份被拘留。这一扩张不仅针对成年人，连 Dilley 移民拘留中心内的儿童也被采集了 DNA，部分案例甚至涉及 5 岁幼童。尽管 DHS 辩称这是身份识别措施，但内部法律意见却承认其核心目的是构建用于破案的国家级 DNA 数据库。随着拒绝提供样本者面临刑事起诉，这项政…
Rust 社区正式提出了一项激进的语言演进计划，旨在解决长期困扰开发者的 Pin 机制复杂性。该提案计划引入 Move、Destruct 和 Forget 等新特质，让类型能够主动选择是否允许被移动或遗忘。这意味着不可移动的类型将不再依赖 Pin 这种基于“位置”的复杂约束，而是直接成为类型本身的属性。这一变革将彻底简化自引用类型的实现，并为 Linux 内核等系统级项目铺平道路，同时让安全的…
- ▲ 228单张 4GB 显卡运行 70B 大模型
AirLLM 打破了大模型推理的硬件壁垒，让 70B 参数量的模型能在单张 4GB 显卡上流畅运行，且无需量化、蒸馏或剪枝。其核心在于稀疏 MoE 模型的逐专家流式加载技术，仅将当前 token 路由到的专家层载入显存。这一突破不仅支持 Llama 3.1 405B 在 8GB 显存下运行，甚至能让 2.8T 参数的 Kimi K3 在不足 4GB 的显存中启动。配合块级量化压缩技术，AirLL…
- ▲ 2192026年8月，哪些公司在疯狂招人？
我是Hacker News的招聘帖发布者，正在寻找2026年8月正在积极招聘的公司。我希望大家能直接分享职位信息，注明地点和远程政策，并简单介绍一下公司背景，帮助求职者找到心仪的工作。
- ▲ 216好莱坞已不再在好莱坞拍电影
过去十年对洛杉矶的娱乐业并不友好。2023年的罢工和2025年的野火加剧了人们对影视制作外流的担忧。作为曾在洛杉矶生活并从业的人，我深入调查了这一现象：大片制作正大规模迁往伦敦、Atlanta和Vancouver等地，以利用当地的税收优惠。从《La La Land》到《Guardians of the Galaxy Vol. 3》，我们见证了从本地制片厂到全球取景的转变。这种迁移不仅重塑了电影制…
一个名为 Acutus 的新闻网站最近引起了我的注意。表面上它自称是独立报道平台，但深入调查后发现，其 94 篇报道中近九成由 AI 生成，所谓的记者'Michael Chen'根本不存在。更令人担忧的是，该网站的后端代码暴露了完整的 AI 写作流程，甚至包括 AI 审稿评分和自动发布的记录。追踪线索显示，这家网站可能与 OpenAI 的超级 PAC 有关，其内容明显针对行业批评者，并服务于特定…
handwritten.blog 是一个专为深度思考者打造的博客平台，倡导通过手写方式放慢写作节奏。这里没有信息流、没有算法推荐、也没有点赞功能，只有你亲手写下的真实页面。它让网络回归人文温度，让每一篇内容都充满手写的独特质感。无论是记录灵感还是沉淀思想，handwritten.blog 都能为你提供一个纯粹的表达空间。
ssh.place 是一个无需注册、无需安装任何软件的创新项目，让全球开发者通过 SSH 协议在同一块画布上共同创作。只需在终端输入 ssh ssh.place，利用任意 SSH 密钥即可立即开始。画布由 200x60 个单元格组成，每位用户每 15 秒可放置一个色块，通过方向键移动光标，数字键选择颜色。系统巧妙地将冷却时间绑定到 SSH 密钥，防止重复刷新。这是一个纯粹的色彩世界，拒绝文字输入…
作为 Debian 的维护者，我接手了拥有 45 年历史的 Kermit 项目。这是 C-Kermit 自 2011 年以来首次发布新版本。面对这个古老的 C 代码库，我不仅修复了数十年的安全漏洞和 Bug，还新增了 IPv6 支持及近 2000 个测试用例。从国际空间站到 HP 48GX 计算器，Kermit 曾连接无数异构系统。如今，在 Frank da Cruz 长达 44 年的坚守后，我…
我一直希望Dunning-Kruger效应是真实的，毕竟它完美解释了为何无知者往往不自知。但深入学术文献后，我发现了令人不安的真相：这个被媒体奉为圭臬的心理学效应，可能只是统计方法带来的幻觉。Dr. Ed Nuhfer和Dr. Patrick E. McKnight的研究表明，即便使用完全随机的数据，也能复现出经典的Dunning-Kruger图表曲线。这意味着所谓的“能力越差越自信”并非大脑的…
我最初认为将Book Corners用户提交的图书馆数据回传给OpenStreetMap是理所当然的善举。然而，深入调研后发现，这远不止是一次简单的API调用。遵循OpenStreetMap严格的导入指南和自动化编辑规范，意味着我需要建立专用账户、发布详细计划、应对社区审查，并长期承担数据合规与运营责任。对于Book Corners这样的小型项目而言，这些持续的组织成本远超该功能带来的价值。最终…
在 2026 Ohio State Fair 海报大赛中，一幅由 AI 辅助创作的作品意外夺魁，引发了关于技术边界的讨论。主办方承认，虽然 2024 年规则允许在说明前提下使用 AI，但鉴于技术近年来的迅猛变化，他们决定重新评估规则。从 2027 年开始，该比赛将明确禁止使用 AI，以更好地庆祝 Ohio 本土艺术家的原创才华。除了海报赛，Fine Arts Exhibition 和 Mural…
AI巨头们的资本支出狂潮正在推高债务规模，S&P Global数据显示，2026年上半年hyperscalers及相关实体发行的债券已达2250亿美元，同比激增近10倍。然而，这仅是冰山一角。Nikkei研究指出，美国五大科技巨头的“隐藏债务”在四年内飙升至1.65万亿美元，远超账面债务。这些债务源于GPU采购协议、数据中心租赁等表外负债，虽符合会计准则，却将未来巨额租金转化为刚性义务。随着美联…
- ▲ 1412026年求职：谁在寻找新机会？
我是谁，正在寻找工作机会。如果你也在求职，请分享你的位置、远程偏好、技术栈和简历链接。仅限个人求职，中介勿扰。招聘方请私信联系，求职者也可通过专用工具搜索岗位。
- ▲ 135AI 生产力差距：为何高级工程师难提速？
AI 确实提升了工程团队的效率，但生产级功能的开发速度并未如预期般飞跃。资深工程师大量时间用于理解需求、设计架构和沟通协作，而 AI 目前主要加速的是编码环节。数据显示，AI 让初级工程师效率提升约 25%，而资深工程师仅提升 15%。讽刺的是，许多领导者误以为 AI 能替代初级工程师，实则初级人员从中获益更多。真正的瓶颈不在于写代码的速度，而在于系统思维、需求拆解和团队协作等 AI 尚难替代的…
- ▲ 132DMARC 能防什么，又防不了什么
DMARC 常被误当作万能防钓鱼工具，但它的设计初衷非常明确：仅验证可见的 From 地址是否经过 SPF 或 DKIM 授权且对齐。它能有效阻止精确域名伪造，却无法识别外观相似的域名、显示名称冒充、已入侵邮箱的合法发送，或是内容恶意的认证邮件。DMARC 不是垃圾邮件过滤器，也不决定邮件是否进入收件箱。盲目启用 p=reject 政策可能带来虚假的安全感，真正有效的防护需要结合监控、修复与人工…
- ▲ 128为什么我们自研 C++ 推理引擎
大多数 LocalAI 后端只是封装了别人的引擎，但这并非总是最优解。我们亲手从零编写了 18 个 C 或 C++ 后端，只为摆脱 Python 依赖和庞大的 CUDA 栈。以 vllm.cpp 为例，它将 9.1 GiB 的 Python 环境压缩为 66 MiB 的二进制文件，性能却与原生 vLLM 持平。在 depth-anything.cpp 中，通过缓存位置嵌入，CPU 推理速度比 P…
Octane 是 Inferno 的继任者，它将 React 的 hooks、Suspense 和 actions 等编程模型在编译阶段直接优化，彻底抛弃了虚拟 DOM。开发者无需再遵守繁琐的 hooks 规则，编译器会自动追踪依赖，让 hooks 可以安全地置于条件判断或提前返回之后。Octane 保留了 React 熟悉的使用体验，支持渐进式迁移，允许在现有 React 19 应用中通过 O…
借助 Malte Kuhlmann 对 Qemu 的 Itanium Merced 模拟分支，我成功在 macOS 上交叉编译了固件并运行了 Windows XP ia64。从配置 GCC 15.3.0 到解决 zlib 的 fdopen 冲突，再到克服安装过程中的多次崩溃，最终在 m4 Mac Mini 上实现了 Windows XP 和 Windows Server 的流畅启动。尽管 Ita…
在 PlanetScale，我们每天需为繁忙的数据库生成加密快照，且绝不能影响生产查询。面对分片数据库，我们采用了一种独特的策略：动态启动临时 EC2 实例，利用 Amazon S3 存储旧备份，并结合 WAL 回放技术进行增量同步。这种大规模并行处理方案，让 PB 级数据库的备份速度突破 50 GB/s，将原本需要数十小时的备份压缩至数小时甚至更短。此外，这套机制不仅用于灾难恢复，更是数据库扩…
一名在Apple工作了16年的工程师Toby Boardman声称，他因拒绝向AT&T发送客户设备的IMEI号码而被解雇。据他指控，Apple的运营商团队在未获得客户授权的情况下，通过不安全的电子邮件传输这些敏感数据。尽管他向管理层和法律部门反映了这一隐私问题，却遭到无视甚至被要求“别再烦人”。随后，Apple以绩效不佳为由将其辞退。目前，双方已就此事提起诉讼，陪审团审判定于2027年11月进行。
Utah 在 5 月创造了一项历史性纪录：太阳能发电量首次超过该州任何其他能源来源。这一里程碑标志着可再生能源在能源结构中的崛起，也反映了当地对清洁能源转型的坚定投入。随着太阳能技术的成熟和成本下降，Utah 正逐步摆脱对传统化石燃料的依赖，为全美能源转型提供了可借鉴的范例。
Nightcrawler 是一款运行在智能手机上的全自主渗透测试代理，无需联网即可在本地利用 AI 模型进行网络攻击模拟。它能在目标网络中自动发现主机、枚举服务、探测漏洞并生成报告，全程由手机 GPU 驱动，支持 WiFi 破解和隐蔽扫描。通过将 Kali NetHunter 与小型 LLM 结合，它像一位耐心的红队专家，以低频率、高隐蔽的方式逐步构建攻击知识，彻底改变了移动安全测试的形态。
过去三年，我都在公寓里打造一台基于英国 Class 80x 系列列车的实体火车模拟器。为了极致还原真实驾驶室的仪表盘与操控感，我不仅搜集了真实零部件，还亲手设计了定制 CAN bus 收发器板和各类子板。最近半年，项目迎来了关键突破：从测试不同亮度的 LED 组合，到用激光切割和粉末涂层工艺将脆弱的硬纸板面板升级为专业的金属面板。尽管在寻找六档选择开关和解决白色油漆在哑光涂层上的附着问题上遇到了…
- ▲ 101AI 能否独立搞定大型软件项目？
MirrorCode 是 Epoch AI 与 METR 联合推出的新基准，旨在测试 AI 在长周期编程任务中的真实能力。不同于以往仅关注修 bug 或实现小功能的测试，MirrorCode 要求 AI 在无法访问原始代码的情况下，从头到尾完整重写整个程序，且输出必须与原版完全一致。该基准涵盖了 Unix 工具、生物信息学、加密等 25 个领域的复杂项目。实验显示，Claude Opus 4.7…
- ▲ 99xkcd：地球温度时间线
xkcd 最新漫画用一条时间线直观展示了地球温度的变化历程。这幅作品将地质历史中的温度波动与人类活动后的急剧升温并置，让读者一眼就能看清气候变化的严峻趋势。作者通过幽默的笔触和严谨的数据，揭示了当前全球变暖在漫长地球历史中的特殊性。漫画还附带了对浏览器设置的调侃，比如建议在 Netscape Navigator 4.0 上查看，并开启大写锁定键，为严肃的科学话题增添了一丝轻松趣味。
CP/M-386 是一个将经典 CP/M 系统移植到 386 保护模式的项目，源自 CP/M-68K。它支持 32 位 Ring-3 TPA，可通过软盘 MBR 或 GRUB Multiboot 启动，兼容 VGA 文本和 COM1 串口控制台。目前处于早期开发阶段，尚未支持磁盘、网络等驱动，但已实现与 CP/M 2.2 和 CP/M-68K 1.3 的 100% BDOS 兼容性。项目包含丰富…
将遗留的 COBOL 程序迁移到 Java 时，测试数据的缺失和边界案例的验证难题往往让人头疼。这篇论文提出了一种名为 Locksmith Loop 的代理测试合成方法，通过在普通硬件上运行 COBOL 源程序和生成的 Java 目标程序，并利用 Mock 进行插桩，构建了一个迭代循环。该循环执行 Witness Search 以穿透程序分支，随后进行保持一致性的变异。当遇到路由边界时，分析器会…
- ▲ 95挪威政府IT系统遭DDoS攻击
挪威数字政府机构Digdir遭遇持续数小时的DDoS攻击，导致ID-porten、Altinn、eFormidling等关键公共服务无法登录。攻击从周一凌晨开始，Digdir与运维合作伙伴Vivicta紧急协作应对。截至晚间，大部分服务已恢复运行，但部分用户仍可能遇到不稳定或响应延迟。此次事件波及Maskinporten、MinID、ELMA等多个核心系统，凸显了政府数字化基础设施在面对网络攻击…
我的二手 Kobo Libra H2O 用了很久，最近电池突然不行了，充到 100% 一小时就没电。本想换新设备，但发现换电池其实不难，关键是找不到合适的配件。后来在 Reddit 上看到推荐，在 Ali Express 上找到了型号为 PR-158098N 的电池，价格极低且到货神速。整个过程只需拆开外壳，用烙铁去除旧电池上的胶层并焊接新电池，注意正负极即可。这次修复让我意识到，在电子垃圾泛滥…
我的 Range Rover 因车牌录入错误被 Flock 摄像头锁定，导致我和妻子在停车场被四名警察包围。这场由人类失误引发、AI 技术指数级放大的乌龙事件，让我与 Flock 创始人 Garrett Langley 在 The Drivecast 播客中展开坦诚对话。我们探讨了 FBI 管理的 NCIC 数据库的滞后性、地方警局的“屏蔽”机制为何无法跨区生效，以及隐私担忧下 Flock 的未…
9front 团队发布了代号为 "This Was Supposed to Be Fun" 的最新版本，带来了大量底层更新。此次更新不仅重构了 affinewarp API 以提升缩放性能，还新增了 gdbfs 工具，允许将远程 gdb 挂载为 /proc 进行调试。内核层面，pc 和 pc64 架构正式支持 x2apic，并修复了多个网络驱动和内存管理问题。此外，libsec 库增加了对 SH…
我仅在测试 App Store 应用功能时使用 iCloud，甚至没有 iCloud 邮箱账户，且在系统设置中彻底关闭了 Mail 的 iCloud 同步。然而，当我通过非 iCloud 账户发送邮件时，Little Snitch 监测到 Mail 应用立即向 gateway.icloud.com 发起连接。cloudd 和 nsurlsessiond 进程试图通过 TCP 和 UDP 协议访问…
在 StackOverflow 的 PHP 标签下，常有人被劝告不要用正则表达式解析 HTML，理由是 HTML 不是正则语言。但这其实是个误解。现代正则表达式引擎（如 PCRE）早已超越了形式语言理论中的“正则”定义。通过递归子模式等特性，它们不仅能匹配正则语言，还能处理上下文无关语言，甚至能优雅地表达像 RFC 5322 邮箱地址这样复杂的语法规则。虽然正则表达式擅长匹配，但在构建抽象语法树…
Big Tech 第二季度财报显示，AI 泡沫可能正在破裂。面对巨额资本支出、自由现金流缩减以及芯片供应担忧，市场情绪变得紧张。Apple 因内存和组件成本上涨导致股价下跌，IBM 单日市值蒸发幅度堪比 1987 年黑色星期一。Meta 因数据中心建设导致现金流骤降引发抛售，而 Amazon 则因 AWS 增长和能源对冲策略获得投资者青睐。尽管 OpenAI 和 Anthropic 等公司展现出…
我正在用 Fable 模型全力开发我的游戏 Wyvern，并构建名为 Wheelhouse 的自动化系统。传统的 CI/CD 流程明年将彻底消亡，取而代之的是类似 Mad Max 风格的 Continuous Thunderdome。人类代码审查也走到了尽头，仅靠 SOC 2 合规勉强维持。未来的软件开发将依赖无限 Token 驱动的循环与图结构，通过 Beads 工具实现。更重要的是，模型福利…
Hoplite 是 YC S26 孵化项目，致力于让开发者轻松部署云端的编码代理。它解决了传统云开发环境配置繁琐、启动慢的痛点，让团队能像使用本地工具一样流畅地在云端协作。无论是快速搭建临时开发环境，还是为 AI 驱动的代码助手提供运行空间，Hoplite 都能一键搞定。对于追求效率的工程师来说，这意味着更少的时间浪费在环境配置上，更多的精力投入到核心代码的编写中。
KisakCOD项目正在用开源方式重新实现Call of Duty 4的多人游戏模式，目标是为模组开发者和怀旧玩家提供全新可能。开发者利用AI辅助反编译Cod4Radiant工具，虽然过程充满挑战，但最终成功还原了原版游戏的许多细节，包括那些令人头疼的延迟和崩溃问题。项目依赖Visual Studio 2022、CMake和Steam等现代工具链，同时保留了DirectX SDK 2010等老旧…
这是一个用 Rust 编写的元数据搜索引擎，灵感源自 SearXNG。它能同时向 DuckDuckGo、Brave、Startpage 和 Yahoo 发起请求，抓取 HTML 结果并进行去重。系统通过 Reciprocal Rank Fusion 算法对结果进行排序，确保被多个引擎收录的页面排名更高。项目支持作为库集成到 Rust 应用中，也可部署为独立服务器，甚至提供基于 ratatui 的…
作为开发者，我常在多个不同技术栈的代码仓库间切换。每个项目都有安装依赖、构建、测试、格式化等通用任务，但命令各不相同，让人记忆负担沉重。为了摆脱这些繁琐的“咒语”，我创建了统一的 Task Runners 工具。无论是简单的 Bash 脚本、经典的 make，还是现代的 just 和 mise，都能让我用一致的命令（如 run build）完成操作。这不仅释放了大脑记忆，更通过肌肉记忆提升了日常…
Chilling Effects 项目揭示了 Long Island 地区正在悄然形成一种独特的‘露天监狱’现象。通过 Flock 等监控技术的广泛部署，公共空间的自由受到前所未有的限制。文章深入探讨了这些技术如何被用于社会控制，以及它们对当地居民日常生活的影响。这种监控网络不仅改变了人们的行为模式，还引发了关于隐私权与公共安全的深刻讨论。在技术日益渗透生活的今天，我们是否正在失去最后的自由角落？
在ArcBox Labs，我们发现UniFi网关在处理PPPoE连接时存在严重的性能瓶颈，导致无法跑满5 Gbps带宽。为此，我们开发了pppoe-half-bridge方案，利用OpenWrt设备作为PPPoE半桥，将耗CPU的拨号任务卸载到专用硬件上。UniFi网关只需通过DHCP获取公网IP，从而专注于路由和NAT处理。该方案成功突破了5000 Mbps的吞吐量限制，为使用UDM Pro…
Kelly Criterion Simulator 通过蒙特卡洛模拟，直观展示了在固定概率和赔率下，资金随重复投注的演变路径。它揭示了 Kelly Criterion 虽然理论上能最大化长期几何增长，但全 Kelly 策略往往伴随着剧烈波动和深度回撤。工具的核心价值在于对比 Full Kelly 与 Fractional Kelly 的差异，帮助用户理解在牺牲部分增长以换取更平滑资金曲线时的权衡…
Situational Awareness的剧烈波动并非孤立事件，而是AI相关股票市场过度杠杆化和过度集中的缩影。Citadel收购其资产并非看多信号，而可能是为了对冲或管理价格下跌。正如KOSPI指数的剧烈震荡所示，投资者情绪、杠杆和反身性理论正在推动市场从狂热转向恐惧。当财富增长高度依赖股市时，任何下跌都可能引发恐慌性抛售，形成负面反馈循环。未来，随着AI资产价格的自我强化，我们将看到更多大…
- ▲ 67心智是计算机吗？
计算机革命让“机器能否思考”这个问题变得前所未有的具体。计算心智理论（CTM）提出，人类心智本质上就是一个计算系统，其核心过程如推理、决策和解决问题，都与图灵机（Turing machine）执行的计算类似。从早期的 Logic Theorist 到后来的 Deep Blue、AlphaGo，再到如今的 GPT-3 和 ChatGPT，人工智能（AI）的每一次突破都在不断挑战我们对智能的边界认知…
- ▲ 63李开复：中国正在定义未来
01.AI 创始人李开复在北京的机器人服务酒店中，目睹了中国从模仿西方到定义未来的转变。文章指出，中美科技格局已彻底分化，中国在电动汽车、AI 模型及工业制造领域全面超越美国，而美国却陷入地缘政治的泥潭。随着 BYD 超越 Tesla，以及中国在全球供应链中的主导地位日益稳固，北京正通过“一带一路”输出其技术治理模式。李开预言之“新世界秩序”正在形成，中国凭借国家意志与工业政策，正将科技竞争的主…
在C++中，将float转换为int时，若截断后的值超出目标整数范围，就会触发未定义行为。这种错误极易发生，且编译器默认不会发出警告。即便是Microsoft的Guidelines Support Library（GSL）中的gsl::narrow函数，也未能正确处理此类情况，反而在特定输入下产生未定义行为。尽管当前硬件和编译器可能让程序‘看似正常’，但不同平台上的表现差异可能导致严重问题。正确…
二战初期，德国Luftwaffe利用Knickebein和X-Gerät等无线电导航系统，对英国实施精准夜间轰炸。英国Air Ministry迅速反击，通过发送干扰和欺骗信号，让德军飞行员误判航线。这场被称为Battle of the Beams的较量，不仅是技术的对抗，更是情报与反情报的巅峰对决。最终，德军因无法突破英国的干扰手段，被迫放弃无线电导航轰炸计划，将重心转向东线战场。
在 Livelymerge 项目中，Dan Ingalls、Peter Van Hardenberg 和我（Alex Warth）试图将 Automerge 用于合并运行中程序的堆内存。虽然 Automerge 能保证多客户端最终状态一致，但我们发现这种收敛并不足以维护程序不变量。通过一个链表合并的实例，我们看到并发修改可能导致链表截断或形成死循环。问题在于 Automerge 合并的是写操作而…
SPF 记录看似简单，实则暗藏玄机。本文基于 RFC 7208 标准，深度解析 SPF 记录的完整语法结构，涵盖机制、限定符、修饰符及宏的每一个细节。从基础的 ip4、include 到鲜为人知的 exists 和 ptr 机制，再到 redirect 与 exp 修饰符的微妙差异，文章逐一拆解。特别指出一个字符的拼写错误就可能导致整个域名邮件认证失败，并揭示了为何 1.4% 的域名仍在使用已被…
在探索完ZX Spectrum的BASIC控制能力后，我转向了更底层的机器语言世界。Sinclair并未像Commodore或MSX那样提供统一的固件接口，开发者往往需要直接调用系统ROM深处的功能。本文以48K Spectrum为目标，解析了机器码程序的加载、运行机制，以及它与BASIC和BIOS的共存方式。我们将深入文本显示模式，包括自定义图形字符的加载与使用，并探讨键盘和手柄输入的实现细节…
随着 AI Agents 开始自动部署 Workers 和配置基础设施，传统的仪表盘已无法满足自动化对成本数据的实时需求。Cloudflare 正式推出 Billable Usage API，为自助服务账户提供程序化成本可见性。该 API 通过单一端点返回按产品和计费周期细分的用量与费用数据，涵盖 Workers、R2、D1 等所有按量计费产品。其字段设计严格遵循 FinOps Open Cos…
斯坦福2026年AI指数报告显示，超过85%的中国人认为AI利大于弊，而美国这一比例不足45%。这种看似矛盾的热情并非盲目乐观，而是源于90年代那场被称为“下岗”的剧烈社会转型。当时，东北老工业基地的数千万工人经历了“减员增效”的阵痛，失去了赖以生存的danwei体系。文章指出，中国公众对AI的接纳，实则是经历过巨大动荡后学会的生存策略：将变革视为不可阻挡的必然。对于担忧AI取代工作的美国人而言…
- ▲ 53少喝咖啡，睡眠反而更好
我最近做了一个实验：把每天的咖啡摄入量从四五杯减到一杯。结果令人惊讶，睡眠、情绪和精力都有了巨大改善。以前我总陷入“因为累所以喝咖啡，因为喝咖啡所以更累”的恶性循环，晚上睡不着，白天起不来。实验第一天完全戒断咖啡因，我经历了前所未有的疲惫、头痛和嗜睡，但也睡了九个半小时。从第二天开始，我坚持只喝一杯咖啡，全天不再摄入任何含咖啡因的饮料。现在，我每晚能自然感到困倦，入睡极快，醒来后头脑清晰，心情稳…
Mu 是一个为智能体提供真实互联网能力的开源平台，通过单一 MCP 端点集成新闻、搜索、邮件、市场、天气等67种工具。与仅封装第三方 API 的方案不同，Mu 直接运行邮件服务器、搜索索引和存储系统，确保工具是实例自身的真实能力。支持 Claude Desktop 和 Cursor 等主流客户端，提供 Web 应用、CLI 及自托管选项，让开发者轻松构建具备强大执行力的智能体。
在完成了射击游戏后，我继续探索 ZX Spectrum 的声音系统。这台经典机器提供了两种发声方案：所有机型都有的 1-bit beeper，以及 128K 机型标配的 General Instrument AY-3-8910 合成芯片。文章深入剖析了如何利用 BIOS 的 BEEPER 例程生成精确音调，并尝试手写汇编代码直接控制 I/O 端口。过程中我们遭遇了视频电路导致的 CPU 等待状态…
求解椭圆偏微分方程（PDE）时，传统有限差分法难以处理复杂几何，而有限元法网格生成耗时。Clément Jambon 提出一种结合无网格蒙特卡洛方法与确定性求解器的新策略。核心思路是将计算域分解为更小的非重叠子域，利用 Walk on Spheres 和 Walk on Stars 算法在子域内进行随机游走，显著缩短步长并降低方差。随后，通过确定性求解器耦合这些子域，在可控的离散化偏差下消除方差…
随着 TLS 1.3 的普及，IETF 发布了 RFC 9851，正式宣布 TLS 1.2 进入功能冻结状态。这意味着除了紧急安全修复、新的 TLS Exporter Labels 和 ALPN Protocol IDs 外，TLS 1.2 将不再批准任何新特性。这一决定旨在推动行业全面向更安全的 TLS 1.3 迁移，特别是为了应对量子计算带来的安全挑战。值得注意的是，TLS 工作组明确表示，…
Armature 是一款专为 Agent 会话设计的产品分析工具，能够深入捕捉用户在 Claude Connector、ChatGPT App 或 MCP 中的真实交互。它不仅能还原用户意图和 Agent 的思考过程，还能自动识别未支持的用例、定位导致失败的深层原因，并提供完整的会话回放功能。通过 SDK 快速集成，Armature 帮助开发者在无需修改现有 MCP 服务器的情况下，全面优化 A…
我十年前因搜索结果被 Google 污染而弃用，如今 DuckDuckGo 也开始出现信息茧房和忽略引号搜索的问题。我不想要 AI 聊天机器人，更倾向于自行交叉验证多源信息。大家现在都在用什么替代方案？
英国商业和贸易委员会成员致信政府，要求解释为何 Fujitsu 在涉及邮政丑闻且自我暂停竞标期间，仍被纳入总价值超 500 亿英镑的政府采购框架。尽管 Fujitsu 因 Horizon 系统问题导致多名邮局局长蒙冤入狱，并承诺暂停向新客户竞标，但其仍成功进入 G Cloud 15、Technology Services 4 等多个关键框架。议员质疑政府如何确保 Fujitsu 不会利用这些框架…
上次我提到 Kraid 时，它只是勉强通过了单个 Vulkan CTS 测试。如今，这个专为 Panfrost 驱动栈编写的编译器已能跑通全部 80 万项测试，甚至在旧编译器失败的少数案例中也取得了胜利。不过别太激动，目前 100% 的通过率仅限于 compute shaders，Vertex 和 fragment shading 仍在开发中。此外，生成的代码质量目前较差，但这并非设计缺陷，而是…
2025 年初，Pinterest 的 ML 平台团队发现基于 Ray 的分布式训练任务频繁因网络中断而崩溃。经过三个多月的深入调查，我们将目光从应用层转向底层基础设施。日志显示 AWS 的 ENA 网络驱动频繁触发重置，根源在于 CPU 饥饿导致网络线程无法及时响应。尽管尝试了 Huge Pages、jemalloc 和中断绑定等多种优化手段，问题依旧在特定可用区（us-east-1a）的机器…
ComfyUI v0.27.0 原生支持的 INT8 ConvRot 正在重塑 AI 模型量化标准。这项技术通过卷积与旋转算法，巧妙解决了 INT 类型在处理异常值时的精度缺陷，使其性能不仅超越传统的 FP8 和 FP8 Scaled 格式，甚至在 RTX 50 系列显卡上跑赢了 NVFP4。更关键的是，它让老旧的 RTX 20/30 系列显卡也能获得硬件加速红利，而无需等待新一代硬件。无论是…
游戏设计大师Fukio Mitsuji（MTJ）在1989年的GAMEST杂志专栏中，虚构了一台名为Rip-O-Bot的机器，它能一键生成模仿游戏。他警告说，当复制变得唾手可得，人类设计师的价值将回归到纯粹的创意与思想。这篇文章不仅精准预言了AI生成内容的时代，更在Osamu Tezuka逝世的背景下，追问游戏界何时会出现真正的天才。在技术能轻易复刻表象的今天，唯有独特的想法才是人类最后的武器。
Cro 是一套专为 Raku 语言打造的库，旨在构建反应式分布式系统。它利用 Raku 的特性，提供高层 API 让简单任务变得轻松，核心的异步管道概念则让复杂挑战成为可能。Cro 内置了支持 HTTP/1.1、HTTP/2.0 和 HTTPS 的服务器，具备灵活的请求路由、可插拔的正文解析器以及内置的 HTTP 客户端和 Web Sockets 支持。此外，它还提供了 cro stub、cro…
自 Volta 引入独立线程调度（ITS）以来，业界普遍认为 NVIDIA GPU 处理 Warp 分歧的方式已固定不变。这项研究通过对比 Pascal 到 Blackwell 的多代架构，结合微基准测试与硬件计数器，揭示了令人意外的结论：Warp 执行效率始终遵循 32/k 的线性下降规律，且该成本模型早在 ITS 出现前就已存在。尽管编译器生成的重汇聚机制发生了显著变化，从 Pascal 的…
我创建PISIGuard，是因为对人们（包括我自己）每天向AI泄露大量个人和敏感信息感到震惊。手动审查信息既繁琐又难以坚持，因此我开发了这个完全在浏览器本地运行的工具。它能自动识别姓名、邮箱、电话号码、信用卡号、密码和API密钥等敏感数据，在发送给ChatGPT、Claude或DeepSeek等AI平台前将其替换为安全占位符，并在AI回复后自动还原真实内容。整个过程无需经过任何外部服务器，确保你…
将 C++ 项目迁移到 Rust 已不再是实验性想法，而是提升内存安全和降低维护成本的实际选择。来自 Mainmatter 的 Luca Palmieri 指出，对于大多数生产系统，最稳妥的策略并非全盘重写，而是增量迁移。从孤立模块入手，先解决构建系统和 FFI 集成问题，再逐步扩大 Rust 代码占比。这种自底向上的方式能保留机构知识，避免重写带来的风险，让团队在真实业务流中建立信心。虽然 F…
你是否遇到过这样的尴尬：某个 Python 测试单独运行完美通过，一旦放入测试套件却莫名失败？这往往是因为前面的测试留下了“脏数据”。pytest-leak-finder 插件能帮你解决这个难题。它利用类似 git bisect 的二分查找算法，在目标失败测试之前的所有测试中自动定位“泄漏源”。通过智能筛选和逐步缩小范围，它能精准找出导致后续测试失败的罪魁祸首，让调试过程从盲目猜测变成高效排查。
在尝试访问 mighil.com 上的 'Playing with Georgia' 页面时，系统触发了安全验证机制。该网站使用安全服务来防御恶意机器人，当前页面正处于验证用户身份的阶段，以确认访问者并非自动化程序。这一过程旨在保护网站免受潜在攻击，确保只有合法用户才能继续浏览内容。
is.team 是一款原生AI驱动的项目管理工具，用无限画布取代了 Jira、Slack 和 Miro 的割裂体验。它将任务追踪、白板协作和每日站会整合在单一画布上，内置 AI 代理可自动从会议记录生成任务、规划工作流并自主执行。团队无需复杂配置，30秒即可启动，支持 GitHub、Slack 等工具无缝集成，让 AI 像真实队友一样与你并肩作战，彻底告别繁琐的流程管理。
数独看似源自日本，实则是一场跨越世纪的全球接力。从 Leonhard Euler 研究的 Latin square 数学概念，到 1979 年 Howard Garns 在美国杂志上推出的 Number Place，再到 1984 年 Nikoli 将其引入日本并命名为 Sudoku，这个谜题经历了多次蜕变。Nikoli 确立了 32 个初始线索和对称布局的风格，而 Wayne Gould 则在…
今天来玩一款叫 Òrbites 的每日谜题游戏。规则很简单：从两个光球开始，选择一个作为起点，然后连接发光的球体，直到每个数字对应的连线数量都满足要求。最特别的是，全球所有玩家在同一时间面对完全相同的谜题，无论使用什么设备，挑战内容都一模一样。游戏还配有声音和震动反馈，让解谜过程更具沉浸感。当前是第 14270 次日常挑战，难度为普通，你可以随时查看今日排行榜，看看自己与全球玩家的进度对比。由…