Workflow
GitHub
icon
搜索文档
GitHub 工程师揭底:代码审查常犯这 5 个错,难怪你改到崩溃!网友:差点全中了
程序员的那些事· 2025-11-04 17:09
以下文章来源于算法爱好者 ,作者小蒜 算法爱好者 . 算法是程序员的内功!「算法爱好者」专注分享算法相关文章、工具资源和算法题,帮程序员修炼内 功。 【导读】:最近 GitHub 高级工程师 Sean Goedecke 新分享的一篇文章《 Mistakes I see engineers making in their code reviews 》在 HN 引发热议。 过去两年里,代码审查的重要性大幅提升。现在用大语言模型(LLMs)生成代码很容易,但审查代 码的难度丝毫没减。许多软件工程师花在审查自己 AI 工具输出上的时间,已经和审查同事代码的时 间持平,甚至更久。 我发现很多工程师的代码审查方式并不恰当。当然,代码审查的方法有很多种,所以我的观点很大 程度上只是基于个人的工程偏好。 他在文中结合当下 AI 生成代码增多、审查难度加大的背景,指出工程师审代码常犯的 5 个错误,如 只盯 diff、留太多意见等,还给出"优先通过常规 PR""AI 生成代码需严审" 等实用建议,帮大家避开 误区,提升审查效率。 工程师在代码审查中常犯的 5 个错误 别只审查代码差异(diff) 我见过的最大错误,就是审查时只 ...
Tech Corner: MSFT Earnings and Copilot Outlook
Youtube· 2025-11-02 01:01
公司业务概览 - 公司是全球软件、支持服务、设备和解决方案开发的领导者,业务遍及全球,专注于提升生产力和商业运营 [2] - 公司运营分为三大部门:生产力与业务流程部门(占销售额约50%)、智能云部门(占销售额约41%)以及更多个人计算部门 [3][4] - 生产力与业务流程部门包括Microsoft Office、Teams、Dynamics 365等产品和服务 [3] 财务业绩表现 - 公司第一季度调整后每股收益为4.13美元,营收同比增长18%至776.7亿美元,超出预期 [7] - 智能云部门营收达309亿美元,其中Azure营收同比增长40% [8] - 当期总云营收增长至491亿美元,生产力与业务流程营收约为330.2亿美元,略高于320亿美元的预期 [8] - 公司净利润率超过36%,远高于行业平均水平 [14] 竞争优势与战略定位 - 公司的竞争优势在于其能够将人工智能整合到包括Azure和生产力软件在内的庞大生态系统中 [6] - 公司与Open AI的合作伙伴关系进一步增强了其人工智能能力 [7] - 公司在操作系统和办公生产力解决方案等领域具有垄断性地位,这些业务是推动Azure增长的稳定现金生成机器 [12][13] - 公司战略上定位为利用人工智能热潮,其强大的云产品和企业软件即服务货币化能力得到了368亿美元Azure积压订单的支持 [11] 近期动态与前景展望 - 基于财报后的股价表现,公司对第二财季的销售额展望在795亿至806亿美元之间,此前预期为800.8亿美元 [9] - 下一季度Azure营收预计将同比增长37%,略低于本季度40%的同比增幅 [10] - Microsoft 365 Copilot的采用正在加速,月活跃用户超过1亿,显示出对人工智能驱动解决方案的强劲需求 [12] 市场竞争格局 - 公司的主要竞争对手包括亚马逊(特别是其AWS云部门)、谷歌(其Google Workspace和云服务)、苹果(个人计算和移动设备市场)以及甲骨文(企业软件领域) [5] - 在人工智能模型领域的竞争日益激烈,亚马逊和谷歌等竞争对手正在缩小差距,这可能影响Azure的远期增长 [16] 估值与技术分析 - 公司的市盈率约为35倍,高于行业平均的25倍,也高于其过去5年约32倍的历史平均水平 [17] - 公司一年期价格表现上涨约25%,显著高于标普500基准指数,但过去三个月股价处于区间震荡 [18]
扎克伯格急了,Meta内部文件曝光:宁用竞品,也要废掉祖传系统
36氪· 2025-10-21 10:26
Meta的AI战略与资源投入 - 公司CEO扎克伯格认为在AI竞赛中时间是唯一敌人,宁愿浪费数百亿美元也不愿因行动缓慢而错过超级智能的发展机会 [1][6] - 公司已在AI领域投入数百亿美元,并以高达九位数的天价薪酬吸引顶尖人才,例如向24岁的人工智能专家Matt Deitke提供了价值约2.5亿美元(约合人民币18亿元)的薪酬包,其中第一年收入达1亿美元 [3][5] - 公司将所有AI业务重组于新成立的超级智能实验室(Meta Superintelligence Lab, MSL)之下 [3] 内部工程效率革命 - 公司发起内部革命,旨在引导团队转向更快的工程工具,目标是将应用部署时间从小时级压缩至分钟级 [1][12] - 内部备忘录指出,公司原有的为数十亿用户设计的内部系统部署变更耗时过长(小时级),且技术栈不利于流行的AI辅助编程(vibe coding) [9][10][12] - 基础设施负责人Aparna Ramani提出两种途径以加速部署:一是采用主流开发者平台Vercel,可将部署时间从99分钟降至2分钟或更少;二是在内部构建名为Nest的新平台 [12] 外部工具与平台的采用 - 公司推动员工放弃自研的缓慢基础设施,转而拥抱Vercel和微软旗下的GitHub等主流平台,目前已有10个项目在Vercel和GitHub上运行,更新可在几分钟内完成 [8][14][15] - 当自有工具表现不佳时,公司频繁转向外部技术,例如使用竞争对手Anthropic的Claude模型开发内部编码助手Devmate,以及采用Midjourney的外部图像生成技术 [15][16] - MSL的新任负责人Nat Friedman和首席AI官Alexandr Wang本身就是Vercel的投资者,Friedman同时也是Midjourney的顾问 [9][18] 强制推动内部AI应用 - 公司自年初起推出内部AI使用仪表盘,实时追踪各团队的AI使用情况,并为不同部门设定了具体的使用率目标,例如硬件部门Reality Labs的目标是AI使用率超过75% [2][20] - 公司通过将AI使用情况纳入游戏化机制(如“Level Up”自愿参与项目)和可能纳入绩效考核等方式,软硬兼施地提升员工对AI工具的依赖 [17][20][21] - 公司发言人称推动AI在日常工作中的使用是重点方向,CEO扎克伯格预计到2025年底,公司内部的AI将具备“中级工程师水平” [20]
Will Microsoft's $30B AI Build-Out Power Its Next Growth Phase?
ZACKS· 2025-10-10 01:56
微软AI与云战略投资 - 公司计划在2026财年第一季度将资本支出增加至近300亿美元 以扩大数据中心容量 GPU可用性和全球基础设施 [1] - 公司预计2026财年第一季度智能云收入将增长25%至26% Azure收入在固定汇率下增长约37% [2] - 公司已将GPT-5集成至Microsoft 365 GitHub Visual Studio和Azure AI Foundry 并推出微软代理框架和多模式模型以扩展AI业务 [3] 微软财务表现与预期 - 公司股价年初至今上涨24.5% 表现优于计算机软件行业20.9%和计算机技术板块22.8%的涨幅 [7] - 公司远期12个月市销率为11.68倍 高于行业平均的8.63倍 [10] - 市场共识预期公司2026财年每股收益为15.41美元 预计同比增长12.98% 过去30天内该预期上调0.4% [13] 行业竞争格局 - 亚马逊计划2025年进行近1000亿美元AI相关资本支出 以加强AWS基础设施和定制AI芯片 其Bedrock平台支持多模型 [5] - 谷歌计划2025年投入850亿美元用于数据中心和云基础设施 通过DeepMind和Gemini模型将AI整合至搜索 YouTube和Android等产品 [6] 行业增长前景 - 市场预期公司2026财年总收入将增长13% 2027财年增长14.3% [4] - AI基础设施市场预计从2025年到2032年将以29.1%的复合年增长率增长 规模达到3561.4亿美元 [4]
GitHub新增“通过Apple登录”功能,方便iOS开发者及苹果生态用户操作
环球网资讯· 2025-10-09 13:50
| Create your free account | | --- | | Explore Gethlalt's core Nesturns for individuals and organizations. | | See after's includied '+'. | 来源:环球网 【环球网科技综合报道】10月9日消息,据9to5Mac报道,全球最大代码托管平台GitHub近日发布公 告,宣布在已集成谷歌登录功能的基础上,正式支持"通过Apple登录"(Sign in with Apple)方式,旨在 进一步简化iOS开发人员的注册流程,为广大苹果生态用户提供更便捷的登录选择。 据微软官方博文介绍,此次功能更新主要面向规模庞大的iOS开发者群体以及所有苹果生态用户。用户 凭借熟悉的Apple ID账户,即可实现对GitHub平台的一键式访问,这一调整不仅大幅简化了新用户的注 册流程,也为老用户的日常登录操作提供了便利。 从具体操作来看,新功能的使用方式分为两类。对于新注册GitHub的用户,在注册页面可直接选择"通 过Apple继续"选项,经过几步授权操作便能完成账户创建,无需再填写复杂表格和设置新 ...
Meta's Superintelligence Labs Turns To Vercel, GitHub To Speed Up AI Prototyping: Report - Meta Platforms (NASDAQ:META)
Benzinga· 2025-10-03 18:01
公司战略转向 - 公司将AI原型开发工作转向外部开发者平台如Vercel和GitHub [1] - 此举措是Meta超智能实验室重组工程栈的一部分 旨在提升开发速度 [1] - 公司采取双轨策略 立即依赖Vercel以获得部署速度 同时内部构建名为"Nest"的托管平台 [4] 运营效率提升 - 公司内部部署流程耗时“数小时而非数分钟” 不利于快速原型开发 [3] - 结合使用Vercel和GitHub后 至少10个项目部署时间从99分钟缩短至2分钟以下 [6] - 外部平台为团队提供快速迭代能力 同时作为内部能力不足时的“泄压阀” [5] 技术合作与投资 - 公司探索与Alphabet旗下谷歌以及AI初创公司Scale AI的基础设施合作 [2] - Meta的AI负责人是Vercel的投资者 Vercel在9月融资3亿美元 估值达93亿美元 [7] - 公司近期收购芯片初创公司Rivos 以加强内部AI芯片开发 减少对英伟达的依赖 [4] 竞争背景与挑战 - 整合外部工具旨在使公司能与OpenAI和谷歌保持竞争力 [6] - 公司曾在内部编码助手“Devmate”中使用Anthropic的Claude模型 因自有Llama模型处理复杂编程任务存在困难 [8] - 尽管对自有AI模型投入巨大 公司在“Vibes”功能中仍依赖Midjourney提供图像 [9]
突发!澳大利亚或封杀 GitHub,儿童危害堪比 TikTok。网友炸锅:想学编程得逃出国?
程序员的那些事· 2025-10-01 09:01
澳大利亚新规核心内容 - 澳大利亚网络安全监管机构eSafety将推行新规,自2025年12月10日起,16岁以下未成年人可能被禁止使用被认定为“对儿童有害”的社交平台[6] - 包括Facebook、Instagram、TikTok、YouTube、X等平台已被列入可疑名单,监管机构已联系约100个平台进行评估,受限名单可能扩大[6][15] 针对GitHub的监管动态 - 澳大利亚监管机构eSafety致函GitHub,评估其是否应被视为“会害着小孩的社交平台”[4] - 监管机构正在联系包括GitHub在内的其他平台,以审查其是否符合“社交网络”的法律定义[9] - GitHub作为代码托管平台,因其具备用户评论、相互交流、发布图片及通过GitHub Pages搭建网站等功能,被认为具有社交属性[10] - 平台上存在恶意软件、钓鱼工具包及其他非正规项目,这些内容可能对未成年人产生不良影响[10] 受影响平台及应对措施 - eSafety初步列出可能需遵守年龄限制的平台名单,包括Meta旗下应用、Snap、TikTok、YouTube、X、Roblox、Pinterest、Discord、Reddit、GitHub等[15][18] - 相关平台需使用eSafety提供的自我评估工具进行判断,若不想在12月被禁,需正式申请豁免并提交证明材料[15]
MSFT Stock Looks Set to Rejoin the $4 Trillion Club as Microsoft Gets More Ambitious With AI
Yahoo Finance· 2025-09-20 02:13
公司财务表现与指引 - 微软首次披露Azure业务在截至2025年6月的财年收入为750亿美元 [2] - 在6月季度Azure收入增长39% 公司预计9月季度按固定汇率计算将增长37% [2] - 公司预计9月季度资本支出将超过300亿美元 创下公司纪录 [3] 云计算市场竞争格局 - 亚马逊AWS在第二季度末的年化收入运行率为1230亿美元 [2] - 微软与Alphabet正在云计算市场获得份额 并逼近亚马逊的领先地位 [2] - Azure的增长速度是AWS的两倍多 [2] 人工智能业务进展 - Copilot拥有1亿月活跃用户 [3] - GitHub上的AI项目在过去一年内增长了超过100% [3] - 公司的AI战略是双重的 包括有机投资扩展数据中心基础设施以及对OpenAI投入数十亿美元 [4] 战略投资与市场地位 - 微软在2025财年第四季度财报发布后市值曾达到4万亿美元 加入英伟达的4万亿美元俱乐部 [5] - 公司宣布与OpenAI达成一项不具约束力的协议 为后者重组为营利性企业铺平道路 [6] - 公司承诺未来四年在英国投资300亿美元 其中一半用于建设该国的云和AI基础设施 [6] - 公司于9月18日宣布额外投入40亿美元资本支出 在威斯康星州建设第二个数据中心 使当地总投资超过70亿美元 [6] 股票估值与市场预期 - 微软股票远期市盈率为33.15倍 市盈增长比率为2.2倍 [7] - 分析师给予公司“强力买入”的共识评级 平均目标价622.85美元 较9月18日收盘价有22.5%上行空间 [8] - 市场预期公司随着AI进展和货币化趋势 市值将在今年重返4万亿美元 [8]
Jim Cramer Highlights Microsoft as Data Center Beneficiary
Yahoo Finance· 2025-09-19 11:52
文章核心观点 - 市场对数据中心需求前景的乐观情绪重燃 领先的科技公司因此受益 微软的Azure业务是主要受益者之一 [1] 行业趋势与需求 - 数据中心需求前景非常强劲 此前关于订单积压是否真实的疑问似乎已得到解决 并转向积极 [1] - 数据中心需求的强劲势头将使微软Azure、Meta AI、NVIDIA芯片、特斯拉自动驾驶、Google Gemini和亚马逊AWS等主要科技公司成为巨大受益者 [1] 公司业务构成 - 公司业务包括软件开发、云服务和设备制造 [2] - 具体产品和服务包括Microsoft 365、Dynamics、LinkedIn、Azure、GitHub、Windows、Surface产品、Xbox游戏、搜索和广告解决方案以及AI驱动的工具如Copilot [2]
喝点VC|a16z合伙人Chris:付费软件正在复兴,现如今对细分垂直领域初创而言是个令人激动的时刻
Z Potentials· 2025-09-19 10:43
网络与网络效应的力量 - 许多最重要的互联网服务都是网络,随着更多人使用,服务价值会显著提升,例如电子邮件、万维网、YouTube和Facebook [5] - 网络效应是一种强大的指数级力量,使公司能从无到有,最终影响数亿或数十亿用户,变得非常有价值 [6] - 构建网络在初期非常困难,但创业者可采用策略使产品从第一天起就有用,例如借助其他现有网络进行冷启动 [10] 科技中的指数级力量 - 科技领域存在三种重要的指数级力量:摩尔定律(半导体性能约每18-24个月翻倍)、软件的可组合性(开源软件像乐高积木可重用复合)以及网络效应 [6][7][8] - 对于创业者和投资者而言,最重要的事是首先识别并顺应这些指数级力量,因为它们将压倒一切战术性的产品工作 [6][10] - 可组合性使得开源软件能利用互联网的集体智慧,例如Linux从业余项目成长为全球主导操作系统 [7] 创业策略:为工具而来,为网络而留 - 创业者的一种有效战术模式是“为工具而来,为网络而留”,即先提供有价值的单用户工具,再逐步构建网络效应 [10] - Instagram早期通过提供免费酷炫滤镜和借助Twitter等外部网络进行分享,最终在自己的网络上获得吸引力 [10] - 现代生产力工具如Figma、Notion和Stripe的Link产品也体现了这一模式,它们对单人用户有用,但社交功能层变得至关重要 [11] 人工智能时代的竞争与商业模式 - 人工智能领域目前涌现出许多强大的工具,但缺乏明显的网络效应,如何超越一时风尚构建长期吸引力是关键挑战 [12] - 观察到消费者为AI软件支付高额费用的现象,例如Google最高套餐250美元/月,Grok 300美元/月,预示着付费软件的复兴 [14] - 人工智能领域的资本效应显著,筹集大量资金(如10亿美元)本身可以成为护城河,因为保持技术前沿需要巨大投入 [15] 利用社区与运动寻找投资机会 - 关注互联网上极度热情、拥有自己语言和规范的技术爱好者社区,是发现下一个大趋势的重要方法 [17] - 许多重要的科技运动最初由相对较小的核心爱好者群体领导,例如开源软件、加密项目和早期的神经网络研究 [17] - 判断一个运动能否成功的关键在于其背后是否有指数级力量驱动,而不仅仅是线性力量 [18] 平台迁移与想法迷宫 - 在平台迁移中,企业家需要进入正确的“想法迷宫”,即一个动态的、充满未知的领域,并具备在迷宫中保持敏捷和坚持的能力 [24] - 成功的公司如Netflix,其核心是进入正确的迷宫(互联网将导致订阅电影),并通过多次转型实现目标 [24] - 人工智能作为一个元过程,类似于半导体行业的摩尔定律,极有可能在长期内持续指数级扩展,为创业者创造巨大机会和挑战 [26] 原生技术与拟物化技术 - 新技术平台发展初期常出现拟物化设计,模仿先前的媒体形式,随后才会发展出真正原生于新平台的应用和语法 [28][29] - 人工智能目前可能处于拟物化阶段,例如图像生成模仿插画师,未来可能出现全新的、难以预测的原生媒介,如虚拟世界 [30] - 新一代“AI原生”的年轻人可能更善于发现和创造原生于AI技术的新应用和体验 [30] 开源AI与技术的民主化 - 开源软件是技术民主化的关键力量,它极大降低了初创公司和用户获取软件的成本,例如使廉价Android手机成为可能 [35] - 对于AI,开源面临的挑战在于训练顶级模型需要巨大的资本支出,这可能影响其长期的稳态资助模式 [36] - 一个可能的乐观结果是开源AI模型始终稍微落后于顶尖闭源模型,但足以满足大多数初创公司和消费者的需求,形成良好平衡 [36][38]