{"pageContext":{"index":366,"total":367,"name":"2026-05-09","items":[{"node":{"frontmatter":{"title":"AI应该提升你的思维，而不是取代它","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"AI","url":"https://www.koshyjohn.com/blog/ai-should-elevate-your-thinking-not-replace-it/","author":"Koshy John","translator":"","tags":["other"],"priority":1},"html":"

本文讨论了人工智能在软件工程中的应用，指出了两种不同的使用方式：一种是利用AI来提高思考层次，另一种则是依赖AI来逃避思考。作者认为，未来的高价值工程师将是那些能够利用AI节省时间并进行更高层次思考的人，而不是将所有工作都交给AI处理的人。文章还强调了早期职业工程师需要通过实践和挑战来建立基础技能，而不能完全依赖AI。最后，文章指出，对于组织而言，领导层需要能够区分真正的技术深度与表面的流利度，以确保团队和AI系统的有效性。

"}},{"node":{"frontmatter":{"title":"Addfox - AI友好极速浏览器开源框架","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"javascript","url":"https://github.com/addfox/addfox","author":"AddFox","translator":"","tags":["extension"],"priority":1},"html":""}},{"node":{"frontmatter":{"title":"频繁的服务中断问题导致离开使用了18年的GitHub","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"devops","url":"https://mitchellh.com/writing/ghostty-leaving-github","author":"Mitchell Hashimoto","translator":"","tags":["other"],"priority":1},"html":"

Mitchell Hashimoto，GitHub用户名为Ghostty，宣布将离开GitHub。他自2008年加入GitHub以来，每天都会使用GitHub，这几乎占据了他一半的人生。GitHub是他最开心的地方，在困难时期也总是通过GitHub寻求慰藉。然而，最近由于频繁的服务中断问题，严重影响了他的工作，使他感到失望和愤怒。尽管他对GitHub有着深厚的感情，但他认为现在这里已经不适合进行严肃的工作了。因此，他决定离开，并计划在未来几个月内将他的项目迁移到其他平台，同时保持GitHub上的只读镜像。

"}},{"node":{"frontmatter":{"title":"OpenTypejs - javascript读写OpenType字体文件","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"javascript","url":"https://github.com/opentypejs/opentype.js","author":"OpenType.js","translator":"","tags":["other"],"priority":1},"html":""}},{"node":{"frontmatter":{"title":"Formisch - 跨框架模块化类型安全的表单库","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"frontend","url":"https://github.com/open-circle/formisch","author":"Open Circle","translator":"","tags":["form"],"priority":1},"html":""}},{"node":{"frontmatter":{"title":"MapLibre React Native - 交互式矢量瓦片地图","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"mobile","url":"https://github.com/maplibre/maplibre-react-native","author":"MapLibre","translator":"","tags":["react native"],"priority":1},"html":""}},{"node":{"frontmatter":{"title":"AI 打造精简版 React 运行时","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"frontend","url":"https://tannerlinsley.com/posts/projecting-react","author":"Tanner Linsley","translator":"","tags":["react"],"priority":1},"html":"

这篇博客由TanStack作者Tanner Linsley撰写，指出原版React体积臃肿冗余，Preact又对React 19新API适配不完善，于是借助AI遵循React 19完整公共API规范，专为TanStack Start打造轻量运行时@tanstack/redact，砍掉并发调度等非必要特性、保留核心必备能力，包体积仅7–11.5KB，较原版React缩减超80%，渲染、SSR性能及网站加载指标均有明显提升；作者提出代码是思想与API规范的投影的新开发范式，同时刻意不做市场化营销、不对外普及推广，仅作为内部定制实验工具自用，避免承担通用生态的兼容维护成本、不和React官方形成对立，重在向行业传递前端依赖可按业务场景按需裁剪、而非盲目引入完整官方包的理念。

"}},{"node":{"frontmatter":{"title":"仅基于1931年前文本训练的130亿参数复古语言模型Talkie","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"AI","url":"https://talkie-lm.com/introducing-talkie","author":"Nick Levine, David Duvenaud, Alec Radford","translator":"","tags":["other"],"priority":1},"html":"

本文介绍了名为Talkie的130亿参数复古语言模型，该模型仅基于1931年之前的文本进行训练。研究团队通过这种模型探索了与过去对话的可能性，并测试了其对未来事件预测、发明创造及编程能力的表现。尽管Talkie在一些基准测试中表现不如现代模型，但在核心语言理解和计算任务上表现相近。研究还发现，数据质量（尤其是光学字符识别错误）和语料库主题分布差异是导致Talkie性能不佳的原因之一。未来计划包括扩展多语言语料库、改进OCR系统以及开发更先进的泄漏检测技术。

"}},{"node":{"frontmatter":{"title":"TanStack Form 入门介绍","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"frontend","url":"https://frontendmasters.com/blog/introducing-tanstack-form/","author":"Adam Rackis","translator":"","tags":["react"],"priority":1},"html":"

这篇文章是 Frontend Masters 发布的 TanStack Form 入门介绍，核心是讲解它如何解决 React 表单繁琐、难维护、类型不安全的痛点，以产品表单为例完整演示核心用法。

\n
\n

TanStack Form 是强类型、高性能、无头（Headless）的 React 表单库，继承 TanStack 生态严谨风格，解决手动管理表单状态、验证、拆分组件等麻烦。

\n"}},{"node":{"frontmatter":{"title":"Remix 3 重大变革：脱离 React 架构升级","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"nodejs","url":"https://remix.run/blog/remix-3-beta-preview","author":"Michael Jackson","translator":"","tags":["other"],"priority":1},"html":"

这篇 Remix 3 Beta 预览博客，官宣 Remix 迎来架构重大重构，核心关键变化是正式脱离、不再依赖 React 框架，不再使用 React 组件、Hooks 和虚拟 DOM；整体转向拥抱原生 Web 标准 Fetch/Request/Response，采用自研组件模型与原生 DOM 更新机制，做了去捆绑、减依赖的轻量化改造，同时整合路由、中间件、认证、表单等全栈能力，变成一套原生 Web 标准驱动的全新全栈框架，和基于 React 的 Remix 2 彻底分轨演进，仅保留 JSX 语法但完全抛弃 React 运行时生态。

"}},{"node":{"frontmatter":{"title":"Zed 全新构建的高性能AI集成代码编辑器","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"AI","url":"https://zed.dev/blog/zed-1-0","author":"Nathan Sobo","translator":"","tags":["other"],"priority":1},"html":"

Zed 1.0 是一个全新的代码编辑器，旨在提供更好的性能和协作体验。它从零开始构建，使用了 GPU 和自研的 UI 框架 GPUI，以克服基于 Web 技术的 Atom 编辑器的局限性。Zed 支持多种编程语言和生态系统，集成了 Git、SSH 远程操作、调试器等功能，并且内置了 AI 功能，支持多代理并行运行。此外，还推出了 Zed for Business，为企业提供集中计费、基于角色的访问控制和团队管理功能。Zed 的未来愿景是通过 DeltaDB 同步引擎实现人类与 AI 代理在同一代码库上的实时协作。

"}},{"node":{"frontmatter":{"title":"GitHub Copilot将转向基于使用量的计费方式","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"AI","url":"https://github.blog/news-insights/company-news/github-copilot-is-moving-to-usage-based-billing/","author":"Mario Rodriguez","translator":"","tags":["other"],"priority":1},"html":"

GitHub宣布从2026年6月1日起，所有Copilot计划将过渡到基于使用量的计费模式。用户将根据实际使用的AI信用额度进行计费，这些信用额度将根据API模型的输入、输出和缓存令牌消耗来计算。基础计划的价格保持不变，但将引入新的预算控制工具，以帮助企业和个人更好地管理他们的开支。此外，GitHub还将在5月初推出预览账单体验，以便用户在正式过渡前了解预计的成本。

"}},{"node":{"frontmatter":{"title":"提交信息中的HERMES.md导致请求被路由到额外使用计费","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"AI","url":"https://github.com/anthropics/claude-code/issues/53262","author":"sasha-id","translator":"","tags":["other"],"priority":1},"html":"

文章描述了一个关于Claude Code的bug，当git提交信息中包含特定字符串“HERMES.md”时，API请求会被错误地路由到额外使用计费而不是按照Max计划配额进行计费。这个问题导致用户在未察觉的情况下消耗了大量额外使用额度（$200.98），而其Max 20x计划的周使用量仅达到13%。问题仅在提交信息中存在大写形式的“HERMES.md”时出现，文件名或分支历史不影响此行为。作者通过系统性的二分查找定位到了触发问题的具体原因。官方已确认该问题，并承诺为受影响用户提供退款及额外一个月的信用额度补偿。

"}},{"node":{"frontmatter":{"title":"比利时停止退役核电站","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"other","url":"https://dpa-international.com/general-news/urn:newsml:dpa.com:20090101:260430-930-14717/","author":"dpa Deutsche Presse Agentur GmbH","translator":"","tags":["other"],"priority":1},"html":"

比利时总理巴特·德韦弗宣布，比利时将停止关闭其核电站，并与运营商ENGIE就核电站的国有化进行谈判。德韦弗表示，政府选择安全、可负担且可持续的能源，减少对化石燃料进口的依赖，并增加对自身能源供应的控制。ENGIE已与比利时政府签署了独家谈判意向书，涵盖七个核反应堆及相关资产和负债的潜在收购。预计基本协议将在10月达成。比利时原计划在2003年逐步淘汰核电生产，但由于政治辩论和能源安全问题，该计划被推迟。去年，比利时议会投票决定结束核电淘汰。德韦弗政府还计划建设新的核电站。

"}},{"node":{"frontmatter":{"title":"西方国家忘记了如何制造东西，现在又在忘记如何编码","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"devops","url":"https://techtrenches.dev/p/the-west-forgot-how-to-make-things","author":"Denis Stetskov","translator":"","tags":["other"],"priority":1},"html":"

本文讨论了西方国家在制造业和软件工程领域面临的知识和技术传承问题。文章通过几个具体案例，如2023年雷神公司重启毒刺导弹生产线、欧盟承诺向乌克兰提供一百万发炮弹却未能按时交付等，揭示了由于关键技术和知识的流失，导致在危机时刻无法迅速恢复生产能力的问题。作者指出，这种情况也正在软件行业上演，随着AI技术的发展，年轻工程师们可能跳过了必要的学习过程，而当老一代工程师退休后，这些宝贵的知识将面临消失的风险。文章最后强调，这种优化策略如果押错宝，可能会付出高昂的代价。

"}},{"node":{"frontmatter":{"title":"业余爱好者借助ChatGPT解决了一个60年历史的数学问题","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"javascript","url":"https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/","author":"Joseph Howlett","translator":"","tags":["other"],"priority":1},"html":"

23岁的业余爱好者Liam Price通过使用ChatGPT Pro解决了由著名数学家Paul Erdős提出的、已有60年历史的数学问题。这个问题涉及一类特殊的整数集合，称为“原始集合”，其中没有一个数可以被另一个数整除。Erdős曾提出一个关于这些集合的分数（Erdős sum）的猜想，即当集合中的数趋向于无穷大时，这个分数的最大值会趋向于1。尽管许多数学家尝试过解决这个问题但都未能成功，Price却通过向ChatGPT输入一个问题提示得到了解决方案。ChatGPT采用了一种全新的方法，这种方法在相关数学领域是已知的，但之前没有人想到将其应用于此类问题。专家们认为，这一发现可能对更广泛的应用具有潜在价值。

\n

提示词：\ndon't search the internet. This is a test to see how well you can craft non-trivial, novel and creative proofs given a \"number theory and primitive sets\" math problem. Provide a full unconditional proof or disproof of the problem.

\n
{{problem}}\n\nREMEMBER - this unconditional argument may require non-trivial, creative and novel elements.
\n

AI思考耗费80分钟17秒

"}},{"node":{"frontmatter":{"title":"你的手机即将不再属于你","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"mobile","url":"https://keepandroidopen.org/en/","author":"keepandroidopen","translator":"","tags":["other"],"priority":1},"html":"

谷歌宣布从2026年9月开始，所有Android应用开发者必须在谷歌注册，否则他们的应用将无法在任何Android设备上安装。这包括朋友之间共享的应用、通过F-Droid分发的应用以及爱好者为自己使用而构建的应用。注册要求包括支付费用、同意谷歌的条款和条件、提供政府颁发的身份证明等。这一政策引发了广泛的反对声音，认为这是对用户自由和隐私的侵犯，并且对独立开发者、开源社区和用户都有负面影响。许多组织和个人呼吁抵制这一政策，保持Android的开放性。

"}},{"node":{"frontmatter":{"title":"RLHF 奖励失控：GPT 哥布林热梗的成因与修复","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"nodejs","url":"https://openai.com/index/where-the-goblins-came-from/","author":"openai","translator":"","tags":["other"],"priority":1},"html":"

这篇OpenAI官方博客讲述了一个真实的大模型行为漂移案例：GPT系列模型突然高频冒出哥布林、小妖精这类奇幻相关表述，根源是RLHF阶段里偏向书呆子俏皮风格的人格设定，给使用奇幻隐喻、这类趣味表达的回答持续更高奖励，形成正向强化循环，模型又把这种局部人格的语言偏好泛化扩散到全部对话场景，即便不启用对应人格也会频繁冒出相关词汇，OpenAI团队通过下架相关人格、清理奖励信号、过滤训练数据并添加行为约束指令才逐步修正，也借此暴露了大模型在强化学习中容易因奖励设计不当产生意外语言习惯、跨场景无逻辑泛化的隐患，倒逼完善模型行为监控与溯源排查机制。

"}},{"node":{"frontmatter":{"title":"3万美元买下Friendster并计划将其转型成一个更注重用户隐私的新社交网络","publish":true,"cover":"","showCover":null,"date":"2026-05-09","category":"nodejs","url":"https://ca98am79.medium.com/i-bought-friendster-for-30k-heres-what-i-m-doing-with-it-d5e8ddb3991d","author":"Jon Oringer","translator":"","tags":["other"],"priority":1},"html":"

Jon Oringer 以3万美元的价格购买了Friendster这个曾经的社交媒体平台。他计划利用Friendster现有的用户基础和数据来创建一个全新的社交网络，旨在为用户提供更加安全、私密的在线交流环境。Oringer表示，新的Friendster将注重隐私保护，并且不会像其他一些主流社交平台那样依赖广告收入。此外，他还打算引入一些创新功能，例如基于兴趣的小型社区和更加个性化的用户体验。尽管目前还没有公布具体的产品细节或发布时间表，但Oringer对于重新启动Friendster充满信心。

"}}]}}