Category: 教育

教娃编程 vLog: Harness Engineering – 指挥 AI 干活

这篇文章记录了一次教孩子用 VS Code AI Agent 修改 GitHub Pages 个人主页的经历。相比传统手写代码,AI 时代的编程教育更重要的是学会描述需求、指挥 Agent、理解 GitHub 工作流,并能审核 AI 生成的代码。文章借此引出 Harness Engineering 的概念:大模型是“大脑”,而围绕模型的工具调用、文件编辑、工作流和验证机制,才是真正让 AI 干活的 Harness。 去年弟弟学了一些 GitHub、Markdown 和 HTML,也在 GitHub 上搭了自己的个人主页。虽然页面已经能跑起来了,但整体看起来还是比较乱:有些排版不统一,有些内容结构不清楚,代码也有点像“想到哪里写到哪里”。 这次我就借这个机会,给弟弟演示了一下如何在 VS …

今年IMC英国数学竞赛很难-我娃搞了个金奖

我娃就是一普娃。他和我说在之前公校都学不到东西,言下之意就是太简单了。我说那是因为难度还没上去。我在你这年纪(初一)第一次期中考 班级第一,年段第二。黑板上写着前几名的名字表扬。还有当时家长会在操场上坐着,念到我名字表扬上台领了一奖状 还有20元红包。98年20元相当于现在10英镑? 这可能是我人生到现在唯一一次高光时刻吧。当时我妈在台下应该很自豪。 我娃说那你当时应该很用功。我说当时我没咋学。因为太简单了。你现在觉得简单是应为遗传了我的智商,而难度上去就不够了。97努力+3%的天赋。我娃一脸震惊🤯 希望他们多受些挫折 数学这一门学科,会就是会,不会就是不会,所以经常用来看一个娃是不是聪明,是不是有天赋。 这个据说今年特别难,金奖绝对是有实力的。这种水平感觉在perse 也是牛娃了。 关键是娃的爹是MSRC顶尖计算机科学家 你俩的郎才女貌全被遗传走了啊 小时候那几块钱的奖励其实很有意思的,还有小本子发,要是没有那个奖励我估计我还找不到读书的动力 今年的IMC难度大,普遍得分低,他7年级拿Gold非常优秀了。我老大9年级也才拿90来分。 主要是私校这么贵的学费 也没见砸出个什么水花来 不er,你这有点凡尔赛了啊。 去年差2分进入下一轮Olympic。听说Kangroo的分数线很低。 本文一共 492 个汉字, 你数一下对不对. 今年IMC英国数学竞赛很难-我娃搞了个金奖. (AMP 移动加速版本) 赞赏我的几个理由. ¥ 打赏支持 扫描二维码,分享本文到微信朋友圈

教孩子编程: 证明根号2是个无理数的两种方法(反证法/几何无限下降法)

视频:油管/Youtube | B站/小破站 | 微博视频 | 西瓜视频 | 微信视频号 | X/推特 | 小红书 | Facebook 如何证明 √2 是无理数 — 两种方法(反证法与几何无限下降) “√2 是无理数”这一说法的意思是不存在整数 和 且 ,使得 。 方法一 — 反证法 …

风雨无阻早起送娃去坐校车

从这个月开始,娃正式入读了剑桥最“卷”的私校 —— Perse(学术实力特别强)。学校在市中心,上下班高峰期堵得厉害,原本二十分钟的路程,经常能堵成一个多小时。幸好学校有校车,不过是要收费的,一学期大约300英镑,折合下来单程2.5英镑,其实也算合理。相比之下,公校的校车是免费的,由政府出资。 Perse的校车有两条路线,其中一条会经过Madingley Park & Ride,早上7点35分发车。所以我每天早上7点就得起床,先叫娃,再收拾一下,大概7点20准时出门。有一次是媳妇送的,结果只晚了一分钟,最后只能自己开车把娃送到学校。还好她上班方向顺路,不算太麻烦。 下午放学接娃的时间是4点50分左右,有时候会晚几分钟。不过下午不像早上那样紧张,最大的压力还是每天早上怕赶不上校车。 记得第一天接娃的时候,迟迟不见他下车。后来司机示意我上车找,才发现娃还不知道该什么时候下车。幸亏司机眼神好,看出我在等人,不然下一站就是Cambourne了,要是去那边接,可得多花半小时车程。 每天早上大巴一到,就能看到一群娃从车里下来。天气冷了,他们基本都会待在车里等,不会提前下车。 一想到接下来的五年,几乎每天都要这样早晚接送,就觉得挺辛苦的。每天早上被强制开机还是挺难受的。 本文一共 454 个汉字, 你数一下对不对. 风雨无阻早起送娃去坐校车. (AMP 移动加速版本) 赞赏我的几个理由. ¥ 打赏支持 扫描二维码,分享本文到微信朋友圈

第一次私校家长会: 原来家长比孩子还卷

前几天参加了娃的第一次家长会,和几位家长聊下来,真是个个都很厉害。不光孩子们卷,家长也一样卷,一眼望去基本都是 Dr/博士。娃还调侃我一句:“这有什么的,你不也是 Dr 吗?” 我心里默默想:还好没写学校名字,不然我这野鸡大学的头衔真拿不出手 😂。 私校里真是人才济济,乐器过 8 级的太常见了,卷得不得了。我还问过娃,是想当 big fish in a small pond 还是 small fish in a big pond,他毫不犹豫地选了前者,理由是“大鱼可以吃小鱼”。哈哈,希望他能一直保持这样的心态,也祈祷有学霸带着一起进步。 不得不说,我以前觉得私校性价比一般,但现在真觉得还是挺值的。 物以类聚,人以群分,高学历的家长普遍更重视教育。Perse 私校算是剑桥学术最好的学校之一,放在全英也能排进前五,把娃送进去的家庭确实都有一些共同点。 本文一共 293 个汉字, 你数一下对不对. …

英国剑桥最卷私校Perse私校第一学期学费帐单: 开始爆金币 1/15

这两天收到了剑桥最“卷”的私校——Perse的第一期学费账单:9908.65英镑(官网)。 真是不便宜啊,而且还强制收了我4英镑的“慈善捐款” (Upper Charity Collection)。 孩子9月份(也就是下个月)就要开始9年级了。一年三个学期,到申请大学还有五年,也就是说接下来五年一共要交15次学费。并且学费每年都会略有上涨。这么一算,孩子接下来五年,每年学费约3万英镑,五年下来就是15到16万英镑。按现在汇率9.5来算,差不多是150万人民币——相当于剑桥市区半套两居室的房子了。 英国工党上台后,其中一项重大政策就是对私校学费征收20%的VAT(名义是“劫富济贫”)。虽然部分私校会象征性地补贴一点,比如2%,但一算下来,一年的学费也得额外多交三五千镑。 稍感欣慰的是,孩子是自己说想去Perse的。能有自我驱动力和自我认知的孩子,确实不多。 听说 Perse 每年都会有“末位淘汰”,学习成绩太差的学生会被劝退。学校通过这种方式来保证升学率的“好看”。Perse 的排名很高,主要是按每年拿到牛津、剑桥大学(即“牛剑”)offer 的数量来评定的,常年稳居英国前五。 与它排名相当的还有剑桥另一所学校——公立的 Hills Road Sixth Form College。每年都有不少 Perse 的学生,在最后两年转去这所公校“洗白”。因为据说在同等条件下,大学更倾向录取来自公立学校的学生——毕竟他们被认为更可能是靠自己努力,而不是依赖家庭资源起跑得早。 这个学校确实很卷。年级越高,学生之间的竞争越激烈;而低年级则更多是父母在卷——毕竟能从小一路送进私校的家庭,经济条件普遍都很不错。 还好,学费可以按学期平均摊成三个月分期缴纳,多少减轻点压力。 每年9月份,微软发奖金,所以分三期无息交清每学期学费会比较好,我是看到学校的邮件里说有这个选项后立马申请。这样感觉不是很多 感谢您的邮件,我可以确认您账单账户的付款方式现已设置为等额分期付款方案。更多信息请参阅附件。 Thank you for your …

大娃今年拿了英国JMC数学袋鼠竞赛Gold金奖, 我媳妇说这就是普娃的天花板了

每年英国的中小学都会举办各类数学竞赛,我之前也在这里介绍过。今年我家娃参加了 JMC(Junior Mathematical Challenge,初中数学挑战赛),获得了 Gold(金奖/金牌)成绩。不过我个人觉得这个年龄段拿金奖算是中等偏上的水平,但我媳妇却坚持说他只是个“普娃”。 娃今年就读于 IVC 的 8 年级,是在这所学校的最后一年。9 月份他就要升入 Perse 私立学校了。今年他参加了 JMC,也就是 7 至 8 年级学生参与的初中数学竞赛。据说再往上,9 年级及以上的学生则是参加 SMC(Senior Mathematical Challenge,高中组竞赛)。 JMC 第一轮是选择题,共 25 题。前 15 题每题 5 …