GitHub 也开始“不稳了”?一个让开发者有点心凉的信号
在过去十几年里,GitHub 几乎就是软件开发的“基础设施”——写代码、提 PR、跑 CI、做开源,全部都在这里完成。自从被 Microsoft 收购之后,它不仅变得更强大,还成了全球开发者默认依赖的平台。可以说,“代码不在 GitHub 上,就像不存在一样”。
看完这个视频,��实有点说不出的担心和惋惜。
GitHub 曾经给人的感觉是那种“不会出问题”的存在,但现在却频繁出现 PR 丢失、搜索失效、CI 卡住,甚至安全漏洞,这种变化让人有点不安。它不只是一个工具,而是整个开发流程的核心,一旦不稳定,影响的是每一个开发者的日常工作。
更让人触动的是 Mitchell Hashimoto 的离开。他这种级别的开发者,不是轻易会“迁移平台”的人。当他说出“GitHub 不让我发布软件”的时候,其实已经不是情绪,而是一种对平台信任下降的真实写照。
AI 带来的压力当然是现实存在的。现在 GitHub 不仅服务人类开发者,还要承载大量 AI agent 的操作,这种负载的变化是指数级的。但也正因为如此,才更让人觉得有点无奈——本该提升效率的技术,反而在短期内让基础设施变得更脆弱。
还是希望 Microsoft 能尽快把这个局面稳住。因为如果 GitHub 真的开始动摇,不只是“换个平台”这么简单,而是整个开发者生态都会被迫调整,这个代价其实不小。
说实话,不是觉得它会马上出问题,而是那种隐隐的感觉:一个曾经理所当然可靠的东西,好像开始没那么稳了。
GitHub is having some major issues right now… https://t.co/061WklkvIX 来自 @YouTube
South Africa needs to laugh and with Savanna I’m bringing just the team to do it!
Bafunny Bafunny is South Africa’s National Team of Comedy. 5 Shows, 3 Cities September 2026!
I’ve got Eugene Khoza confirmed with many more local and international comedians to be announced.
Tickets go on sale 29 April!
@SavannaCider@BafunnyComedy@eugenekhoza
罗博深教授(UCLA 数学教授,长期关注数学教育与思维培养)在谈到 AI 与教育时提出一个非常值得思考的观点。
他指出,现在 AI 已经可以迅速解答高级竞赛数学题,甚至在某种程度上替代高端数学教练。如果我们只是用 AI 帮学生刷题、提高排名,那实际上是在培养“Human version of AI”——会做题的人类机器人。
过去几十年,教育的逻辑非常清晰:
高分 → 好大学 → 好工作。
但今天,这条路径正在变得不再确定。名校毕业并不自动等于稳定人生。如果年轻人花 15—20 年拼命优化分数,却发现结果并没有想象中的保障,这带来的不仅是就业压力,更可能是心理预期的巨大落差。
问题或许不在于 AI 本身,而在于我们仍然沿用旧的评价标准。
当 AI 可以放大分数表现,真正稀缺的就不再是“做对多少题”,而是:
•是否具备独立思考能力
•是否能够判断信息真假
•是否能与 AI 协作解决真实问题
•是否能够为他人创造实际价值
教育��系也许没有失效,但确实到了需要升级规则的时候。
如果排名不再是唯一通道,我们或许该重新思考:
我们到底在培养“更高的分数”,
还是在培养“更强的能力”?