SQLite tips:
1. https://www.sqlite.org/wal.html
pragma journal_mode = wal,这个简直是必须的,坏处非常微小,而会让你的数据库可以同时有任意多个只读事务外加一个读写事务。
2. https://www.sqlite.org/stricttables.html
可以把所有表都创建成 strict table,其中明确想保存自由类型的列用 any 类型就行。
3. 默认配置下,删除大量数据后,只能通过 vacuum 来释放不再需要的空间,它的原理是完全复制一份新数据库,再删除旧的,在磁盘很满时做不了。可以看一下自己删数据时用的连接是不是 pragma secure_delete = 1 的(或者先设置这个再删),如果是,就有一个巧妙的做法:确保停掉所有数据库连接,然后对数据库文件做 fallocate -d。这会把删掉的数据的位置都挖成洞,过程中不额外占用空间,并且业务中断时间也短得多。
pragma secure_delete = 1 的效果是把删除的数据都用 0 覆写,如果想让删除的性能更高,也可以关掉这一功能。
想方便地回收空间的话,标准做法是在创建任何表之前,先为数据库设置 pragma auto_vacuum = 1 或 2(详见文档),这会使数据库记录每个页面被引用的位置,使得空白页面可以和尾部的非空白页面交换,然后再 truncate。唉,要是 SQLite 能在可打洞的文件系统上用打洞来删除数据,secure_delete 和 auto_vacuum 的效果就都可以更低开销地实现了。
1. https://www.sqlite.org/wal.html
pragma journal_mode = wal,这个简直是必须的,坏处非常微小,而会让你的数据库可以同时有任意多个只读事务外加一个读写事务。
2. https://www.sqlite.org/stricttables.html
可以把所有表都创建成 strict table,其中明确想保存自由类型的列用 any 类型就行。
3. 默认配置下,删除大量数据后,只能通过 vacuum 来释放不再需要的空间,它的原理是完全复制一份新数据库,再删除旧的,在磁盘很满时做不了。可以看一下自己删数据时用的连接是不是 pragma secure_delete = 1 的(或者先设置这个再删),如果是,就有一个巧妙的做法:确保停掉所有数据库连接,然后对数据库文件做 fallocate -d。这会把删掉的数据的位置都挖成洞,过程中不额外占用空间,并且业务中断时间也短得多。
pragma secure_delete = 1 的效果是把删除的数据都用 0 覆写,如果想让删除的性能更高,也可以关掉这一功能。
想方便地回收空间的话,标准做法是在创建任何表之前,先为数据库设置 pragma auto_vacuum = 1 或 2(详见文档),这会使数据库记录每个页面被引用的位置,使得空白页面可以和尾部的非空白页面交换,然后再 truncate。唉,要是 SQLite 能在可打洞的文件系统上用打洞来删除数据,secure_delete 和 auto_vacuum 的效果就都可以更低开销地实现了。
Agent Team,Ralph,Harness,闭环控制
我的知识,也 agentic 了吗?
我们确实把过往所积累起来的经验、直觉和认知最大化了,但这也是使用 coding agent 必须付出的代价:对过往知识的不厌其烦,对新知识的艰难摄取。
如今使用 coding agent 就像是刷 Tiktok 一样,越弱的人越容易依赖它,而与此同时越强大的人越能掌控它,并用其产出更多的结果。
只可惜,我们对于既往项目的认知并未增加,反而变得更加模糊了。
不如就叫它 认知债(cognitive debt)吧。
你能控制 coding agent 构建出你想象中的应用,但是你能用它构建出你想象不到的东西吗?
试问编写前端代码的大家,你有多久没有关注新的 Web 技术和引入的 API 了呢? Can I use 又 available 了什么呢?
后端的大家,你知道 Kubernetes 又加了多少好玩和有意义的基建 API 吗?Go 1.26 和 1.27 发布了什么又计划发布什么呢?就算看过,你也可以知道如何引导 agent 使用更好的 API 吗?
这样的代价无疑是巨大的,很多新时代的 programmer 和 builder 们也难以静下心来仔细学习,细心摸索。即便抛开固执的手作成见,我也依然觉得随着大量使用 coding agent,我的认知正在固化,领域间的迁移,跨领域的学习都变得不用心了,一种模糊的,不确定性的阶层正在形成。
我们现如今指引 agent 构建出来的黑箱,什么时候会变成未来自己,或者未来 agent 的潘多拉魔盒呢?|
让我们拭目以待。
我的知识,也 agentic 了吗?
我们确实把过往所积累起来的经验、直觉和认知最大化了,但这也是使用 coding agent 必须付出的代价:对过往知识的不厌其烦,对新知识的艰难摄取。
如今使用 coding agent 就像是刷 Tiktok 一样,越弱的人越容易依赖它,而与此同时越强大的人越能掌控它,并用其产出更多的结果。
只可惜,我们对于既往项目的认知并未增加,反而变得更加模糊了。
不如就叫它 认知债(cognitive debt)吧。
你能控制 coding agent 构建出你想象中的应用,但是你能用它构建出你想象不到的东西吗?
试问编写前端代码的大家,你有多久没有关注新的 Web 技术和引入的 API 了呢? Can I use 又 available 了什么呢?
后端的大家,你知道 Kubernetes 又加了多少好玩和有意义的基建 API 吗?Go 1.26 和 1.27 发布了什么又计划发布什么呢?就算看过,你也可以知道如何引导 agent 使用更好的 API 吗?
这样的代价无疑是巨大的,很多新时代的 programmer 和 builder 们也难以静下心来仔细学习,细心摸索。即便抛开固执的手作成见,我也依然觉得随着大量使用 coding agent,我的认知正在固化,领域间的迁移,跨领域的学习都变得不用心了,一种模糊的,不确定性的阶层正在形成。
我们现如今指引 agent 构建出来的黑箱,什么时候会变成未来自己,或者未来 agent 的潘多拉魔盒呢?|
让我们拭目以待。
S26E18
周末又去参加了个比赛,625环,排名靠中,于是淘汰赛对手水平比较接近。实际在淘汰的时候也是心率很高,开头先是 0:2,然后 1:3,最后咬住连赢3局才拿下比赛。 最终还是16强的位置吧,排位环数还得提高,不然基本上就是这个结果。跑6跑7还是
周末又去参加了个比赛,625环,排名靠中,于是淘汰赛对手水平比较接近。实际在淘汰的时候也是心率很高,开头先是 0:2,然后 1:3,最后咬住连赢3局才拿下比赛。 最终还是16强的位置吧,排位环数还得提高,不然基本上就是这个结果。跑6跑7还是
S26E17
突然意识到有3天没有跟大模型互动了。 周末参加了户外射箭的比赛,周五就提前去打赛前练习了。周六是个人的排位赛和淘汰赛,周日和小伙伴组团打团体赛。个人赛实现了突破,居然突破了600环,比去年第一次比赛提高了40环。目前整体的动作框架也比之前稳
突然意识到有3天没有跟大模型互动了。 周末参加了户外射箭的比赛,周五就提前去打赛前练习了。周六是个人的排位赛和淘汰赛,周日和小伙伴组团打团体赛。个人赛实现了突破,居然突破了600环,比去年第一次比赛提高了40环。目前整体的动作框架也比之前稳
S26E16
不是多复杂的App,但是感觉模型有点hold不住了,像是回到去年9月份的状态。也可能是没掌握好度和方向,放任模型游走了。 还得想想可观测性这块这么做,好让 agent 能干活利索点,否则都在猜。
不是多复杂的App,但是感觉模型有点hold不住了,像是回到去年9月份的状态。也可能是没掌握好度和方向,放任模型游走了。 还得想想可观测性这块这么做,好让 agent 能干活利索点,否则都在猜。
S26E15
增加可观测性,为模型增加触觉。增加一块屏幕,设计一点表情,给模型增加一点情绪表达的能力。
增加可观测性,为模型增加触觉。增加一块屏幕,设计一点表情,给模型增加一点情绪表达的能力。
S26E13
洪流挡不住,但是应该知道自己在什么位置,在做什么,要去向哪里 https://mariozechner.at/posts/2026-03-25-thoughts-on-slowing-the-fuck-down/
洪流挡不住,但是应该知道自己在什么位置,在做什么,要去向哪里 https://mariozechner.at/posts/2026-03-25-thoughts-on-slowing-the-fuck-down/
S26E12
其实还在犹豫要不要参加 CQ WPX,但大概率应该不去了。 生活感觉发生了很多变化,业余的时间都交给射箭了,去箭馆就行,也方便。要架台,找地方比去箭馆麻烦得多了。按道理,一年其实也就 4 场 CQ 比赛,时间能腾得出来,但不知道就怎么的,想
其实还在犹豫要不要参加 CQ WPX,但大概率应该不去了。 生活感觉发生了很多变化,业余的时间都交给射箭了,去箭馆就行,也方便。要架台,找地方比去箭馆麻烦得多了。按道理,一年其实也就 4 场 CQ 比赛,时间能腾得出来,但不知道就怎么的,想
S26E11
似乎被 AI 燃尽的感觉,agent 飞快的往前跑,有时候,突然感觉好多事情都 meaningless 了,呆滞...
似乎被 AI 燃尽的感觉,agent 飞快的往前跑,有时候,突然感觉好多事情都 meaningless 了,呆滞...
S26E10
其实...SOUL.md就是.bashrc model就是看看用 bash/zsh/fish 还是...随便了 虾的品种那么多,就是挑一个terminal multiplexer 对接飞书还是微信...都是SSH
其实...SOUL.md就是.bashrc model就是看看用 bash/zsh/fish 还是...随便了 虾的品种那么多,就是挑一个terminal multiplexer 对接飞书还是微信...都是SSH
S26E09
记录一下最近跟 AI 的博弈: 使用 Gemini 调研,了解专业领域用语,好和模型沟通。 使用 Gemini/v0 做基础的 layout 设计。 另外感慨一下,昨天在刷小红书,发现自己idea库里的一个想法被人实现上架了,也做了功能付费
记录一下最近跟 AI 的博弈: 使用 Gemini 调研,了解专业领域用语,好和模型沟通。 使用 Gemini/v0 做基础的 layout 设计。 另外感慨一下,昨天在刷小红书,发现自己idea库里的一个想法被人实现上架了,也做了功能付费
S26E08
养那么多虾并不会让你生产力有多高。 跟人合作,好歹人会怠惰,会摸鱼,即使996,他干活也要时间呀。搞那么多agent,看似很忙,其实瓶颈全在你自己,AI 上下文还没爆自己先炸掉了。
养那么多虾并不会让你生产力有多高。 跟人合作,好歹人会怠惰,会摸鱼,即使996,他干活也要时间呀。搞那么多agent,看似很忙,其实瓶颈全在你自己,AI 上下文还没爆自己先炸掉了。
S26E07
codex感觉稳准狠,也许也是逐渐掌握了和 AI 博弈的技巧了吧。 要在 App 里面做一个3D地球(地图)的渲染,以及坐标定位的功能。本身没有任何空间地理(坐标转换,3D贴图等等)的任何知识,在做之前也不知道是什么结果,一直以来感觉跟 A
codex感觉稳准狠,也许也是逐渐掌握了和 AI 博弈的技巧了吧。 要在 App 里面做一个3D地球(地图)的渲染,以及坐标定位的功能。本身没有任何空间地理(坐标转换,3D贴图等等)的任何知识,在做之前也不知道是什么结果,一直以来感觉跟 A
S26E06
最近几天的养虾感悟: 本质还是赌博,只是现在大家"赢"得概率比以前大,赌桌上就比较热闹,大家都有得赚。 简单的任务确实不用做了,键盘敲得再好,速度也比不过人家。甭管人家撸了多大一坨, 就说事情是不是给你办了吧。所以有的人
最近几天的养虾感悟: 本质还是赌博,只是现在大家"赢"得概率比以前大,赌桌上就比较热闹,大家都有得赚。 简单的任务确实不用做了,键盘敲得再好,速度也比不过人家。甭管人家撸了多大一坨, 就说事情是不是给你办了吧。所以有的人
S26E05
假期回来的状态一般,脑子有点迟钝。昨天工作的项目上测试出了点异常,折腾半天确认问题是外部环境影响,稍微放松了点。 假期 vibe 了一些玩具,一行代码都没看也没动,全让 AI 实现了。一方面感叹 AI 能力的进步,另一方面,感觉自己放弃了思
假期回来的状态一般,脑子有点迟钝。昨天工作的项目上测试出了点异常,折腾半天确认问题是外部环境影响,稍微放松了点。 假期 vibe 了一些玩具,一行代码都没看也没动,全让 AI 实现了。一方面感叹 AI 能力的进步,另一方面,感觉自己放弃了思
S26E04
最近 vibecoding 有点上瘾,成功率太高了,虽然说需求并不复杂…可以玩起来了。
最近 vibecoding 有点上瘾,成功率太高了,虽然说需求并不复杂…可以玩起来了。
S26E03
现在居然有点怕冷了。这几天南方的气温冷的时候可能有10-15度,温度高点能到20度,年轻点还是能短袖到处跑的。过节回家要收拾衣服,确实不知道带什么合适,按经验还是带着短袖吧。但隐隐觉得还是带再套秋衣秋裤备着,虽说南方即使是冷,也就一两天的事
现在居然有点怕冷了。这几天南方的气温冷的时候可能有10-15度,温度高点能到20度,年轻点还是能短袖到处跑的。过节回家要收拾衣服,确实不知道带什么合适,按经验还是带着短袖吧。但隐隐觉得还是带再套秋衣秋裤备着,虽说南方即使是冷,也就一两天的事
S26E02
有些实在没办法了,充了钱又尝试和 AI vibe coding。需要写一个 BPF 模块,但我一点都不了解。 大概完整的给 AI 描述了一遍需求和工作流程,AI 就把雏形弄出来了,再配合完整的测试日志,反复"沟通",AI
有些实在没办法了,充了钱又尝试和 AI vibe coding。需要写一个 BPF 模块,但我一点都不了解。 大概完整的给 AI 描述了一遍需求和工作流程,AI 就把雏形弄出来了,再配合完整的测试日志,反复"沟通",AI
S26E01
这 26 第一篇应该是 2025 的 recap,拖延症,假期都懒得写,拖到了工作日。 过去的一年挺 tough 的,24 年底开始的一个项目一直持续到 8, 9月份才结束。还有另一个项目目前都没结束,算是个新产品的尝试,每次更新总得遇到点
这 26 第一篇应该是 2025 的 recap,拖延症,假期都懒得写,拖到了工作日。 过去的一年挺 tough 的,24 年底开始的一个项目一直持续到 8, 9月份才结束。还有另一个项目目前都没结束,算是个新产品的尝试,每次更新总得遇到点