Hard Things in Computer Science, And AI Aren’t Fixing Them
Computer Science jokes are old, but they’re still true “There are only two hard things in computer science: cache invalidation and naming things.” — Phil Karlton (and eventually, off-by-one errors). We’ve laughed at this trope for decades, but we’ve spent far too little time dissecting the second one: Naming. On the surface, naming is about semantics—ch..
更多计算机科学里哪些极难的事
计科里有两件极难的事儿，cache invalidation，给东西起名字，和 off-by-1 errors. 今天想说说这个，给东西起名儿。HN今日讨论，软能力会成为程序员最实用的技能，这里的 软技能 就是指交流——特别是和 coding agent 交流。 我觉得吧，coding agent 这波福利迟早会被吃干抹净。低垂的果实，虽然很多，很大，也会被摘完。 AI能把它能解决的一切，全部拉到同一个水平，然后进入贤者模式。哪些从来没有文档说明，也就是没有语料拿来训练的东西，哪些尚没被定义，没被分析，没被起名字的问题，那些就算讨论都要先叠甲 lemma 的问题，AI就无能为力了。 近几天几乎每天都能vibe出来一些成果，我很喜欢，但是突然又很空洞。欣喜的是多年以来的hobby得到了完成，解脱了；空洞一方..
更多The Seal Manifesto: Against the Ephemeral
The Seal Manifesto: Against the Ephemeral I. The End of the Scroll For a decade, we have lived in the Age of the Vapor. We post into the void, chasing a heartbeat of attention that vanishes by morning. Our thoughts are rented to servers we don't own, managed by algorithms that don't care, and deleted as easily as they were typed. We have traded Legacy for..
更多python版的mtr(traceroute for macOS)
首先，我讨厌编译，我喜欢二进制，直到昨天我惊讶的发现macOS上一个 yes 命令都是接近100KB的大小。homebrew 一大坨东西还不一定每次都成功。 说起编译，这几天读到一些关于软件法律方面的风险。zhihu说如果你的工具的不针对“特定用途”，那么就可以用一定免责的说辞，但是如果你提供下载只能拿来恰好做某一件特别具体的事，那么工具的提供者就有连带责任。我想这也是为啥大部分开源软件都是提供源码吧。我这代码又不能直接用，开源是为了研究技术。你自己编译之后拿来敲不对劲的命令那是用户自己的选择了。 那么回到主题， mtr 作为居家旅行必备网络工具，它只提供源码分发。9年前研究过，用python写了demo，但是终究不是太成熟，现在有 AI ，几句话就完成了 https://github.com/est/t..
更多尝试让AI手搓个TTF格式生成器
一个奇怪的需求：如何在浏览器判断一个字体是否支持某个字符？ （原始需求是：遇到一些字符渲染错位问题，看起来是字体不支持，fallback 到别的去了。） 想到的方法是：用canvas渲染看宽度。但因为这个 fallback机制，所以更好的办法是拿一个已知的特殊字体去比对，如果fallback了说明不支持。 那么问题来了，这个 fallback font 你不可能下载一个包含所有字符的，那样体积会很大，所以最好是按需生成一个，只包含一个字符，用来比对。那么这个问题就转换成了：如何在浏览器js里动态生成一个 .ttf 格式的字体文件，只包含一个字符？ 这里不考虑 woff woff2，因为前者已经过时了后者比 ttf 更复杂。 一开始以为很easy，让 ChatGPT搓，打开浏览器就懵逼 OTS parsi..
更多精打细算VPS扫除
2022年买的VPS一直没怎么管，今天想跑点东西发现大户 warp-cli 真是吃资源啊。果断删掉 公司的服务器都是SA管理，自己的一般很少去折腾，这次也是闲的，好奇系统里杂七杂八都是啥玩意儿，挨个找AI审问一遍 systemctl list-units --type=service --state=running blk-availability udisks2 插拔优盘的 fwupd 固件更新 ModemManager multipathd open-iscsi iscsid 存储用的 packagekit GUI包管理器 polkit GUI 策略kit snapd snapd.apparmor snapd.autoimport GUI里的 App store lvm2-monito..
更多I made a paste service
I've been busy vibe coding a paste service. Sharing content has been painful these days and I always have some snippets or images to share with my friends. The service is up and running in publick hosted $URL = https://p.est.im It's running on a free tier Cloudflare Worker with everything stored in D1. To upload a paste is easy, just curl -T /path/myfile..
更多「负面」
Hacker News 超过65%的回复是负面 老问题了，感觉NLP似乎很喜欢做 sentiment analysis。也写过一篇为什么网上喷子那么多，戾气那么大？ 正面负面，这玩意不是很主观的吗？ 刚要睡觉，结合之前 LSTM 的发明人通过数学公式定义什么是「美」，突然有个想法。 更好的分类是—— ugly or not。这里的 ugly 就是「出丑」表示不对劲 的意思。 有个底层逻辑是，如果遇到符合预期，正常的东西，人们是不会费时间写字儿赞美，认同，表扬的。但是遇到 ugly 的需要额外费劲解释的，多半会投入精力去辨析。 大脑皮层被熨平那种丝滑感，即便陈述是错的，也可以欣然接受。毕竟「押韵的就是有道理的」 如果需要大费周章去辨析的东西，那么它就是有问题的，something wrong，那就是「负面」..
更多
ChatGPT Free账号没有GPT-5的选项
8月初已经收到GPT5推出的消息。打开ChatGPT一看左上角的选项里没有GPT5的选项。但是询问GPT，它会回答现在就是GPT51我这边已经是 GPT-5 Thinking，可以直接继续帮你。目前用的是free账号，推测OpenAI给限额的GPT-5使用。看了YouTube的视频，Plus或者Pro账号就能直接切换到GPT-5再等等，等GPT-5普及到free账号
更多My nvim config in 2025
翻看 git log，2025 年的提交历史定格在 80 余次。借此机会，我打算对这一年的配置迭代与思考逻辑做一次总结复盘。 迁移至 blink.cmp 原有的补全系统虽然能用，但在处理数千行的大型代码文件时，毫秒之间的输入延迟仍会带来明显的顿挫感。基于社区对 blink.cmp 的推荐，以及我对该插件能力的乐观判断，我决定跟进。 迁移过程大致顺利，本打算拥抱 blink 生态全套方案并切换至 blink.pairs，但在实际使用一月后，发现针对部分边缘情况的处理, nvim-autopairs 依然更为稳定，因此最终选择回滚。目前的补全体验，确实更加的流畅。 LSP 简化 Neovim 0.11 引入了全新的 LSP 配置范式，nvim-lspconfig 的定位随之转型，逐渐回归为纯粹的配置中心，减少..
更多