Category: 计算机
这篇文章记录了一次教孩子用 VS Code AI Agent 修改 GitHub Pages 个人主页的经历。相比传统手写代码,AI 时代的编程教育更重要的是学会描述需求、指挥 Agent、理解 GitHub 工作流,并能审核 AI 生成的代码。文章借此引出 Harness Engineering 的概念:大模型是“大脑”,而围绕模型的工具调用、文件编辑、工作流和验证机制,才是真正让 AI 干活的 Harness。 去年弟弟学了一些 GitHub、Markdown 和 HTML,也在 GitHub 上搭了自己的个人主页。虽然页面已经能跑起来了,但整体看起来还是比较乱:有些排版不统一,有些内容结构不清楚,代码也有点像“想到哪里写到哪里”。 这次我就借这个机会,给弟弟演示了一下如何在 VS …
AI Coding Agent 正在重塑软件开发的门槛。从 VS Code Agent、GitHub Copilot 到 Codespaces 和 GitHub Actions,开发流程正在从“手写代码”变成“提出问题、指挥 AI、审核结果”。当 12 岁的孩子也能在浏览器里用 Copilot 修改 Tetris 并触发发布时,说明编程的入口已经被大幅降低。未来真正重要的能力,不再只是会不会写代码,而是能否定义问题、拆解任务、判断 AI 方案是否靠谱,并把代码安全地放进真实系统中运行。 AI Coding Agent 正在重塑编程的门槛 写代码的门槛,正在变得像用计算器一样低 从写代码到指挥 AI:程序员的工作正在被重新定义 …
组合数学入门(2):卡特兰数 卡特兰数是组合数学中最重要的数列之一。它们出现在许多表面上看起来完全不同的计数问题中,但实际上这些问题都具有相同的内在结构:平衡性、递归性以及“不交叉”约束。 在本文中,我们将介绍卡特兰数/Catalan,展示几个重要公式,并解释一些经典应用场景,特别是路径不能越过对角线的网格行走问题。 什么是卡特兰数? 卡特兰数列如下: 第 n 个卡特兰数的一般公式为: 一个等价形式为: 这两个公式完全等价,在组合数学中都经常出现。 为什么卡特兰数很重要 卡特兰数用于计数许多具有递归结构或平衡结构的问题。它们通常出现在以下情形中: 对象必须以平衡方式构造, 路径必须保持在某个边界之内, 配对之间不能交叉, 结构可以被拆分为独立的左右部分。 因此,它们广泛出现在括号、树、网格、多边形以及栈操作等问题中。 一些重要的卡特兰公式 闭式公式 差分等价形式 递推公式 这个递推公式非常重要。它说明:如果一个规模为 n 的结构可以拆分为左侧大小为 i、右侧大小为 n-1-i 的两个部分,那么总数就是对所有可能拆分方式求和。 生成函数 渐近增长 …
上周五中午抽空去了 Peterborough(单程开车约50分钟),参加并通过了 AI-102:Microsoft AI Engineer Associate 认证考试,中文可以理解为“微软 AI 工程师助理”。 被官网认证为AI工程师助理! 之前考过的 AI-900 属于基础级认证,没有过期时间,证书上是一颗星。 这次通过的是两颗星的中级认证(费用165美元)。中级及以上证书有效期为一年,过期前6个月可以在线免费续考。据说如果续考没通过,可以每24小时重考一次,也就是说理论上最多有大约180次续考机会。 这次的 AI-102 难度明显高于 AI-900。AI-900 主要考察对概念的理解,而 AI-102 不仅要求理解原理,还要掌握具体 API 的使用方法,以及在不同场景(Case Study)下如何选择和应用合适的 AI 模型。 考试时长大约两小时,分为两部分。 第一部分是选择题(单选、多选、下拉、排序等),可以标记(Mark for …
竞赛选手几乎都会写的两行 C++ 代码 在刷算法题、打竞赛的人里,几乎都能看到 main() 里先写这两行: int main() { ios::sync_with_stdio(false); cin.tie(nullptr); } 很多新手会觉得像“祖传模板”,但它们确实能在 IO 很重的题里显著提速。原因主要有两个:同步和自动刷新。 1) 为什么 ios::sync_with_stdio(false) 能加速? C++ 常用输入输出是 cin / cout。默认情况下,它们会和 C 的 scanf / printf …
一个月拿下 4 张微软证书:云、AI、数据、安全 上一两个月里,我在一个月之内考过了四个微软的初级证书,分别对应计算机的四大方向:云、AI(人工智能)、数据和安全。 毕竟干码农也十几二十年了,除了做了几套练习题外,基本没有系统复习,所以整体来说考得还算轻松。 我是去年十一月左右,偶然在公司内部的一个学习频道里看到考证的信息。微软员工考自家的证书(和其他大厂,比如 AWS 一样)是免费的。 这种“薅羊毛”的机会,我怎么可能错过?一件事情如果同时有好几个好处,我一般都会去做。考证这件事正好满足: 免费(公司报销 / 内部 voucher) 有明确目标,能推动自己系统学习 简历上更好看 对知识结构做一次系统性梳理 微软证书体系结构 微软证书大致分三个等级: Fundamentals(初级,通常是 -900 系列) Associate(中级) Expert(高级) 我这次考的四张都是 初级/Fundamentals 级别。 像 PL-900 这样的证书也属于 …
带娃刷题 第365天 反转字符串中的字母和特殊字符/双指针算法。不知不觉一年过去了。刷题的意义,从来不只是刷完力扣上的题,更重要的是逻辑训练、数学思维,延时满足以及坚持学习的能力。 这一年,也见证了孩子的成长,希望能为他提供更多可能。继续加油 💪 二娃现在的水平估计就是简单,能自己动手写写,相比一年前已经进步很多了。大娃平时自己也刷。 娃今年搞了个机械键盘,Made in China的,他很喜欢,有了机械键盘的加持,感觉他更有写代码的范了。 坚持学习,复利的力量。 本文一共 218 个汉字, 你数一下对不对. 延时满足: 带娃刷题第365天. (AMP 移动加速版本) 赞赏我的几个理由. ¥ 打赏支持 扫描二维码,分享本文到微信朋友圈