最新文章
20[译] 我所知道的全部智能体工程技巧（2026 年 6 月）
作者：Matt Van Horn ｜ 发布于 2026 年 6 月 4 日 原文：Every Agentic Engineering Hack I Know (June 2026) 三个月前我发过一篇《我所知道的全部 Claude Code 技巧》，拿到了 91.3 万阅读。当时 Kevin Rose 问我该用哪个 IDE，我的回答是：”不用 IDE，只用 plan.md 文件加语音。” 这种做法过去叫 vibe coding。大约在去年感恩节前后，模型强到让这个”玩具”变成了真家伙，也就是现在大家说的 Agentic Engineering（智能体工程）。它是我现在还能持续交付产品的唯一原因。今年我做出了 last30days（2…
阅读全文2024：悲观者正确，乐观者前行
回忆 2024 年的瞬间，在年的尺度上感受生命。 2024 年对我来说是很有意义的一年，虽然更加忙碌（以至于本篇文章拖了一个多月才能写完），但好在还是做了很多事情。 四季 2024 开年伴随着春节，和多年未见的表哥见了面，但好朋友因事没能回家团聚。随着我们的成长与老去，越来越觉得如此团聚实属不易。谈论着儿时发生的故事，就像活在昨天一般。家庭是令人舒适的港湾，一年的紧张和辛劳都能在家人的陪伴中消散。 春天开始跑步，已经不记得上次跑 5km 是什么时候了。在 3 月 30 日完成了 2024 第一个 5km，跑步确实能让人感到快乐。 四月正逢海棠花开，和女朋友一起去看花。满街的盛开和未盛开的海棠，映衬着熙熙攘攘的人流，在天空和古墙的背景…
阅读全文
03Overleaf LaTeX citation 无法正常显示问题解决
神奇的 Overleaf。 问题 今天在用 Overleaf writing 的时候，使用 \cite{paper} 出现 ? 而非 ref 序号。main.tex 的具体内容如下： 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 \usepackage{filecontents} \begin{filecontents}{\jobname.bib} @article{you2023, author = {You}, title = {Overleaf is bad}, publisher = {Science},…
阅读全文Mac 终端无法联网问题解决
神奇的 macOS。 问题 今天本想装个东西，但 brew update 时一直报 could not resolve host。第一时间觉得是 Clash 的问题，于是设置了 proxy，但仍未解决，尝试 unset 但也无济于事。 后来发现不仅对于 github.com 报错，甚至对镜像 mirrors.tuna.tsinghua.edu.cn 也报错，ping 了一下 github.com 和 baidu.com，果然都不通。因此并不是 proxy 的问题。 尝试 ping 8.8.8.8，发现可以通。因此原因基本可以锁定是 DNS 设置的问题。 但之前从未更改过 Mac 的 DNS 设置，为什么终端突然不能联网了呢？尝试在…
阅读全文我和我的 2023
上一次在学校跨年还是 2019 年。四年过去了，我还在这里。 如果有人问我，你和四年前有何不同？很遗憾，我并不确定自己是否真正做出了改变。在相似的新旧交替之际，我试着寻回四年前的记忆，却不敢认出那个自己。穿越时间的相遇，让我发现自己并没有变得更好，反而失去了那时一般的快乐，也失去了那时对今日的期望。我不知道是否“成长”皆如此般令人怅然，只知道行路至此，我依然没有踏出那片荒野。 2023 年真的如去年期望一般变好了吗？也许有些，但在不同的阶段总会有不同的困难。2023 对我来说是一个比较大的转折点，从越来越躺平的本科生活到忙碌的研究生生活，我逐渐明白了若想有所为则需有所不为。遇到的选择题从来不会减少，所以只能按照局部最优踟躇向前。站在…
阅读全文
06新起点
新的样子，新的开始。 忙碌了 5+3 个月，很多重要的事情终于有了结果。过去的一个月可能是比较 challenging 的一个月，面对种种未知和阻碍，最后还是挺了过来。很难说收获了什么经验，只不过是随着时间的流逝而不得不面对罢了。 话说回来，从寒假开始构思如何改造本站的 UI 以更符合我的审美，最终做了如下更改： 不再使用英文为主要语言，改为完全中文站； 改用 霞鹜文楷 作为主要字体； 重构许多 UI 细节，增加圆角等； 重构色彩搭配，重新设计了亮暗模式； 不再使用 utterances 为评论系统，改为使用 giscus，也就是把评论系统从 Issues 改为 Discussions； 其他若干修改。 当然，这次对 NexT 主题…
阅读全文
07使用 Arc 浏览器自定义网页
方便、快捷地自定义网页，无需安装任何插件。 什么是 Arc 浏览器 在上一篇文章 —— 2022 年度总结 中，我提到了去年比较满意的一款产品：Arc 浏览器。它是一款基于 Chromium 的浏览器，有很多传统浏览器没有的新功能。这里不过多介绍它的其他功能，主要讲一讲自定义网页 —— 即 Arc Boost。 为什么要自定义网页 我喜欢使用浏览器，只要浏览器能做的，我一般不会下载 app。很多网站的布局、设计和推荐的内容都不是我想要的，我希望能够自定义网页，只看到我想要的内容。比如在用 Bilibili 时，视频上方的推荐搜索、直播间花里胡哨的活动通知和礼物等，我都不想看到。这些内容在 app 中是不可以自定义的，但正因为是浏览器…
阅读全文
08我和我的 2022
年更 Blogger 的 2022，是平凡但不平静的一年。 回看了 2021 的年度总结，感叹 2022 确实因各种原因变得更平淡无奇。一方面因为疫情和防控，基本没有出校的机会，枯燥的学校生活让人难以留下深刻的记忆，禁锢的脚步让人难以满足生活的现状，无休止的打扰让人充满无奈和妥协。另一方面由于下半年的考试准备，推辞了很多有趣的事情，也“忍痛割爱”地放弃了坚持许久的探索，而且准备考试的过程更加无聊和乏味。很惭愧，2021 对 2022 充满期待的我未能如愿以偿，在今天的心境下也难以抒发去年今日的积极感。 机缘巧合下，今年跨年在家里一个人度过。上次在家里跨年还是在 7 年前的初中，已经记忆不清了。之后几年的跨年都是在高中，然后就是在大学…
阅读全文
09Genius Bar 两日游
在 MacBook Air 购买了一年半之后，它的键盘获得了重生。 起因是暑假在家时，突然发现 MacBook 的 fn 键和左 shift 键被卡住了，fn 键尤为严重，导致每次按 F12 都很别扭。可能 fn 键的唯二作用就是 F12 和表情符号了吧。初步怀疑可能是键盘缝隙进入了杂物，尝试了 Apple 推荐的做法，并没有成功。于是准备去 Genius Bar 让天才们修理一下。 截至目前，天津一共有 3 家 Apple Store，分别是位于南开区的 天津大悦城、位于和平区的 天津恒隆广场 和位于河西区的 天津万象城。很不巧，最近河西区和南开区先后出现了疫情中高风险区域，为避免因为有“高中风险地区和高中风险区所在县（市、区、旗…
阅读全文实训小记
简单记录一下一个多月的“实训”。 1 Linux 虚拟网络基础 1.1 tap tap 和 tun 是操作系统内核中的虚拟网络设备，tap 位于二层，tun 位于三层。它们的数据结构如下： 1 2 3 4 5 6 7 8 9 struct tun_struct { char name[8]; // 设备名 unsigned long flags; // 区分tun和tap设备 struct fasync_struct *fasync; // 文件异步通知结构 wait_queue_head_t read_wait; // 等待队列 struct net_device dev; // Linux抽象网络设备结构 struct sk_b…
阅读全文
11《软件测试技术》笔记
《软件测试技术》
阅读全文Q-Learning 简介
强化学习（Reinforcement Learning）是一种用于模拟现实世界的算法，而其中的一个重要的组成部分是 Q-Learning。 假设有一系列「状态」（state）组成的环境，在每一个状态中都可以采取一种「动作」（action）到达下一个状态。 这些状态并不都是相同的，根据实际应用，不同的状态有不同的「奖励」（reward），而且存在终止状态。我们的目标是从任意初始状态出发，到达终止状态，且所获得的奖励最大。 Q-Learning 就是这样一种决策算法，帮助我们在每个状态决定应该采取何种动作，才能最终得到最大奖励。 算法描述 Q-Learning 算法的核心是维护一张 Q 表，它的每一行对应一个状态，每一列对应一种动作，每…
阅读全文
13软件测试技术实验 3 和 4 遇到的一些问题和解决方案
最近写《软件测试技术》实验 3 和实验 4 时，遇到了一些工具上的问题，并尝试了一些解决方案，记录一下。 实验 3：MuJava MuJava 是一个变异测试的工具，可以生成变异体并运行，最终可以得到变异测试的结果。 变异测试是衡量测试充分性的有效方法，其思想就是模拟程序编写中可能会出现的错误，得到一系列和源程序不同的“变异体”，用来“测试”你的测试程序是否能测出来这些“变异”。你的测试程序杀死（使变异体的运行结果不同于源程序）的变异体越多，测试越充分。 0x00 安装 MuJava 直接到 官网 下载 mujava.jar。 为了后续实验进行，还需要下载 junit.jar（编写测试程序）、openjava.jar。 保存三个 j…
阅读全文我和我的 2021
用数字记录 2021 很容易，但用文字记录却很难。 每一天都看似平常，但 365 个平常交叠，总会带来不一样的感受。是啊，茫茫中又度过了一年。2020 的记忆未曾消去，2021 却已悄然而过，来不及沉浸在过去的回忆里，时间催促着我们向前看，2022 的曙光即将在黑夜之后到来。 每逢新年伊始，心中满怀对新年的企盼。无数次盼望新年胜旧年，盼望旧年的伤悲都能随风，盼望新年的喜乐都能常伴。心怀希望永远是我们面对陌生的勇气，即使时代并不会对我们好些，我们也会继续走下去。 即使新冠疫情改变了世界的运作方式，但 2021 对我来说也不算很糟。做出了很多新的尝试，有很多有意义的回忆，并没有停留在以前的认知。热爱着我所热爱的，坚持着我所坚持的，继续学…
阅读全文
15写过的第二个 App
可能是第一个比较成熟的 app。 What and Why 好久没有更新博客了。上一次更新还是在 7 月 13 日，正好过去了两个月的时间。上一篇文章是在学习 swiftUI 时记录的，如今已经完成了 100 days of swiftUI。写上一篇文章的时候还没开始做这个 App，如今已经结束了。 两个月的时间，从在家躺平到提前返校，再到开始小学期、开始暑期训练营，再到正式上课……与此同时，这个 App 的开发也正好伴随着我度过这两个月。 做的第一个 App 是在 2020 年的暑期训练营，是一个 Todo 的快应用。虽然获了奖，但确实太简单了。一个人完成的项目，并没有付出很大的精力。但是在今年的暑期训练营，深深感受到了 Andr…
阅读全文在 SwiftUI 中自定义修饰器
学习 swiftUI 的记录。 首先定义结构体，在其中对内容修饰： 1 2 3 4 5 6 7 8 9 10 11 12 13 14 struct Watermark: ViewModifier { var text: String func body(content: Content) -> some View { ZStack(alignment: .bottomTrailing) { content Text(text) .font(.caption) .foregroundColor(.white) .padding(5) .background(Color.black) } } } 然后根据此结构体，定义 exten…
阅读全文
17关于最近，以及……
小记。 关于大学生活已经过去了一半这件事 大学生活度过了一半，仍旧在学期内忙碌、假期内无所事事两个状态间切换，却没有留下些什么。 看到许多同龄人在大学两年快速成长，收获颇丰，学习生活两开花，令人羡慕。 假期前度过的考试周着实令人感到紧张刺激，感觉是一个学期记忆里的高峰，也是学习新知识的最多阶段。 关于课业，鄙人的大类课程终于告一段落了，接下来将面对专业方向的选择，于是在这个历史性的阶段，想着整理一番两年的学习资料，与它们告别，同时便于后人翻阅。 考试周前在 GitHub 上偶然间看到了许多课程资料分享的 repo，于是 Google 了一下，发现本校尚无，遂自创之。 后在考试期间、放假之初也在想如何归纳，后来慢慢变得细化、有条理，最…
阅读全文
18《数据库原理》笔记
《数据库系统基础教程》《数据库系统全书》
阅读全文《数字逻辑与数字系统》笔记
《数字设计和计算机体系结构》
阅读全文《形式化方法》笔记
Formal Specification Using Z by David Lightfoot
阅读全文