Pensieve: 2502

2025-02-23 17:01

所读所观所玩

这个月继续沉迷写码, 游戏书籍电影涉猎得都少. PS5只主动打开了一次, 把Gran Turismo Sport又下载回来, 找了几个赛段之后又开始重跑北环(Nürburgring Nordschleife). 没自虐到要求金牌, 花了大概一个小时熟悉赛道后练习了五六次, 过了银牌就好. 手机上继续偶尔玩小丑牌, 最好的记录是过了橙注, 要过金注需要运气非常好才行. 挑战也过了三个(富者愈富/刀锋之上/疯狂世界), 但是这个游戏再玩下去也没什么意思了. 至少我自己玩的时候套路已经比较确定了. 后面可能无聊过过挑战吧, 顺便解锁最后剩下的两个小丑牌和两个优惠券.

书籍的话翻出大唐双龙传, 从隐潭山反败为胜开始读, 直到最后的大结局. 整个没花多少时间, 感想是虽说市面上的普遍印象是黄易的文笔很烂, 但是实际上基本水准还是在的, 比现在普通人都能写的网络小说还是要好一些.

RSS

最近重新翻出RSS开始读. 之前一直是macOS上一个旧版的Reeder(比这儿的Reeder Classic还要旧), 配合inoreader来读RSS. 但是Reeder的UI的确不太有吸引力, 而且也缺乏稍后读的功能. 看了一圈, 看来市面上能够支持RSS的产品已经少了很多了. 我尝试了一下Readwise家的Reader, 没感觉有特别杀手的特性, 而且完全没有免费的版本. 我又试用了Matter, 这个产品感觉已经很不错, 很是我所希望的功能了, 但是我7天后才发现iOS和iPadOS上没有订阅不能用App里面的阅读功能, 而只能用网页版. 而且iOS下的网页版体验只能说一般, iPad上要好一些, 接近原生app了, 于是现在打算继续使用inoreader当入口, Matter当主阅读器. 毕竟深入阅读的场合我都还是可以掏出iPad的.

AI相关

读RSS文章的时候看到了这篇讲vim现状的文章, 里面有提到使用coverity来保证基本的代码质量. 因为我手上的dashed项目, 于是就试用了一下. 基于github action, 很快地就将静态分析结果发了过去. 结果还真的找到了不少问题. 这个产品的功能很强大, 但是marketing和用户体验做得很一般. 当然, 另外一个感叹是AI生成的代码不太能直接用, 虽然我已经人肉修过好多次了, 但是还是可能有各种潜在的问题.

这个月dashed项目(详情见上个月的介绍)没什么太大的进步, 主要完成的是将命令行历史保存到sqlite里面去, 再就是修一些coverity发现的C的问题. 另外一些未完成的工作围绕着将carapace-bin里面定义的很多补全规则提取出来. 一个典型的例子比如对sudo命令的补全, 因为现在的代码组织的缘故, 我不太好直接import这份代码, 所以只能依赖读代码并丢给ast来分析的方式, 解析成一个内部格式, 然后再加入到我的项目里面来.

dashed还没写完, 我倒是又开了一个新坑. 这个项目被我叫做左右互搏, 大概的主旨是让一个AI来写代码, 另外一个AI来读代码, 做代码评审, 当代码评审通过时直接在本地一个容器中进行修改, 并运行测试. 目前基本功能可以跑通, 比如可以让LLM把一个打印hello world的go程序改成打印hello llm.

另外, 这个月我还折腾了不少neovim相关的东西, 之前试用的是我自己修改过的codeium, 不过现在codeium的那个公司主要精力应该是在windsurf上了. 所以我尝试了一下本地跑一个用于补全的模型. 搜索了下, 目前最好的似乎是qwen2.5-coder. 只是我本地跑的时候, 直接curl的延时都会比较大, 不太确认是什么原因, 不过后来公司提供了copilot, 于是就拿起了copilot.lua, 用起来比codeium要好一圈. 不过我倒是觉得, 编辑器自动补全的需求还是有的, 而且这个补全理应不需要一个超大的模型, 应该是可以蒸馏出一个比较小的, 可以本地用的模型出来. 看到同事演示的cursor写前端有点眼馋, 后面估计会试试Copilot chat的插件.

我们公司内部开会时, 公司的founder们很鼓励大家使用AI, 而且给我们申请了各种各样的AI model, 方便我们使用和创新. 据内部一个调查, 使用AI的程序员比不使用AI的程序员相比产出的PR会高一些. 这个因果关系里孰因孰果有待商榷, 不过公司能够这样鼓励新技术的使用, 还是很值得赞赏的. 另外我们的COO的说法是, AI会是我们人生中最大的一次paradigm shift, 比互联网普及和手机普及还要大. 我能够看到的未来比较有限, 不过目前来说, AI的确给我赋能, 大大提升了我的效率, 给我的生活带来了正面的影响. 我觉得接下来需要仔细看的是AI会不会达到奇点, 以及到达奇点后会发生什么样的事情.