Hash Elbeszélése & Kívánsága

我曾听说他律法可以解决谷堆悖论：拉几千人来，综合其意见，把是否成堆的离散值用概率衡量。

又想到我真的当过他律测试的受试：题目二分蓝绿，直到求出受试认为的蓝绿界限。但明明做到中间时我只觉得这是青色，既不是蓝也不是绿！乱点下来，怎么能起到他律的作用呢？
https://ismy.blue/

因为想找点适合 Emacs 的工作（指 C++/Rust 开发），我给自己没事找事：洛谷，顺便研究了求大数质数的方法（好吧，那道题暴力就能拿满分），Rust 用 static 和 const fn 的打表法，还有最好玩的：给 Emacs 写动态模块（也就是 ffi）。

早前知道有大佬写了分词插件，但用了 swift 和 MacOS 的库；我知道 WinRT 有分词 API（虽然我也不知道我怎么知道的），觉得可以照猫画虎，就开工了。

发现如下：
* 高级的 rs binding 新版本无法加载，又遇到依赖不遵守 semver，花了一晚上 rebase + bisect，定位、提交问题之后放弃
* 从 C 头文件自动生成的 Rust binding 还蛮好用，可变可变指针的类型也不难猜构造方法
* VSC 的 inlay 极丑，Emacs 能改字体大小的“富文本渲染器”优势就体现了
* Emacs 的性能奇差，某些常见功能不知道如何形容但就是比 vsc 麻烦，还有 code action 不知道是 eglot 不支持还是 emacs 就没有
* lto 对二进制体积影响极大，1M+ -> 270k
* 条件编译的宏不太好用，只适合重写函数定义，内联变量定义直接写方括号注解即可
* 不处理字符簇没有任何问题，elisp 那边会只针对汉字调用 helper 函数的
* 第一次领略了 Rusult 的用法：try_fold，可以打断的 fold，ts 这种情况只能老老实实写循环（
此处写了人生第一个 Ok 应当 panic 而 Error 应当返回的回调，方知 Either = Left a | Right b 的合理（
* ICU 坏事做尽，二进制体积大，字典不合格，分词结果荒唐，API 还是最麻烦的——竟然只能返回字节分界，我还得先切片再数数？不过跨平台的最优解就是它，用了它我们可以保证结果不差于浏览器（逃）
* Iterator 是惰性的，应该在作用块结束前消耗掉，否则就出悬垂指针啦。
* cppwinrt 的头文件有类型推导错误，不知为何编译不了

写完之后给原作者发了 issue（草，第一次用这个动词搭配），凌晨四点过没有消息，但看到点了赞同回应，又一刷新看见拿到一颗 star。一连串一个邮件都没有，大佬这么不喜欢骚扰别人。

动态模块 API 总体还算清晰，高级数据结构一律在 elisp 端构造并取得指针。不过我没写过 VSC 插件，就无从比较了。有人写了 MacOS 下分享多个文件、还有在 Finder 中打开选中的多个文件的 API，想象力丰富。
https://xenodium.com/native-emacsmacos-ux-integrations-via-swift-modules/
Lisp 的链表的最后一项原来可以不是 nil 而是真的值。这是学 Haskell 时没有见过的。
我真希望未来有什么点子。毕竟我是老 ffi 仙人了，贡献从 CPython（ada）WASM（划掉，这个是计划）到 Emacs 不等。引入另一个世界的能力老有趣了。

因为 Emacs 30 预装了两个我最喜欢的包的改进版，也因为无聊，改了改 PKGBUILD 就自己编译去了，痛苦的“补丁 Hunk 应用失败”被我肮脏解决后，成功拿到 arch=native 并且 ELN AOT 正常的二进制。（话说为什么 ELN 不能 march=native 啊！这是带缓存的 JIT！）顺便看了看 control flow protection 和 control flow guard 编译参数。Rust gnullvm 总是编译不出 cfg 二进制，翻了许久找到一个合并的 pr，稳定版本是明年第一版，笑。GCC 那边没有大型浏览器之类需求，不知何时能支持。

故意一周不写日记，攒起来一并写。
21号，周六，下午和 Lilien 一起扫货。买的芹菜并非 Zeller，没有硕大的块茎，茎更粗，没有小小的像香菜的叶子。这不是我熟悉的芹菜，那叫什么呢？

（维基认为 Lilien 想要的是 celery，我认为的是 celeriac）

国内买肉末一般是让肉铺现剁。这边大家都社恐，不敢找肉铺老板问话，只从冰柜拿现成的。今天一起来我才知道 Lilien 想要的是“肉条”。

我帮 Lilien 带的饼干、薯片、纸卷之类的费用至写作时仍未结算，已有两周，仍懒得结算。真是够懒。

晚上在上次卖我显示器的老哥z处聚餐。原本计划在我们认识第二周，之所以推迟到这天，是因为天然气管道被楼下挖断，两周才修好，此期间老哥日日吃外卖和泡面过活。一同聚餐的，还有他的室友，第二天回国；还有一位“喜欢二次元的女孩子”w，恰如其分，吃完就在z的座位前坐下，自顾自地喊着新出的动漫，打横板格斗游戏，不问世事。

老哥 Twitter 上一半人生简介寥寥数语，一半不满全面管辖的政府。读的书是实用心理和金融，追捧 Web3，加上一屋收藏，一副中年男人的刻板形象。尤其惊讶的是老哥竟然见过无数🍥昵称，稔熟圈内事态。难道这个群体已经如此显眼？

晚餐是辣子鸡丁、红烧肉、油闷大虾和云南特色的土豆丝，锅巴一样粘在锅底。老哥和室友都是专业摄影师，三脚架和灯光一应俱全。

餐桌上讨论最多的无疑是期末考试。w学医，怨天尤人；z考前端“初试”，几分钟内要根据文字判断渲染，错一个即挂科，全班据说仅三人全对。

之后偶然聊到音乐，老哥竟然真的有电子琴。另一位朋友买了两架，把不好用的留在他这里。手感勉强能弹，但强弱不分，容易误触，没有踏板，我估计只能用来肌肉记忆伴奏和和弦。高恋忘得更加彻底，希望暑假能练会划船曲来钓阿鱼——那时已经毕业了吧？她会在哪里呢？w沉迷游戏，让我得以多留下来几时。

之后几天我在干嘛呢……我在抓 React-Router 的一个 bug，花了一晚上读蒙田随笔（HN 导致的），下载原神专辑（那晚聚餐，w的来电铃声是水神的歌，想起来了），和無極打了电话，听他讲了带来一群不速之客而吓跑主人的沉甸甸的经历。

去超市那天，我提议和 Lilien 骑车，但没能在食堂之后找到；我不急着找，晚上问老师得知警察圣诞照常工作，决定第二天醒来后写邮件。很高兴我第二天没有急着起床——下午起床之后脑子清醒（不对，我早上起床早上也清醒），思考是几点回的寝室，想到在车位回寝室的路上给哲涵发消息，想到那条路，车位就豁然开朗。

后来倒是真出了变故，在中餐馆门外听的车被加了私锁，后轮泄了气，只得花两小时推回去。我还在生闷气时，陈同学展现一副“还能怎么样”的冷静模样。感谢他大冷天陪我走回来。

晚餐时聊到自己的网站时，我意识到可以测量兼容性问题——我写的会议网站也许更需要它。不过 Cloudflare 自带的客户端分析不甚好用。更哭笑不得的是我的网站一个不开广告拦截器的活人都没有，考虑目前几十几百的访问量，规则也许还得加码。

ll 因为忘记续费而又一次炸站，预计上次复活以来的数据全部不存。好在某篇长文里所有链接均已备份。

一篇有趣的文章。
https://www.oschina.net/news/326348
Max 把小三传奇写了下来。
看了不少期马督工。
某天写程序时 ChatGPT 挂了，人生第一次受波及，并采用了 Claude 和 grok 备份——后者是哲涵倾情推荐的。

某天和哲涵从 Hayami 润去柏林谈到再见列宁的电影。其中儿子为不刺激母亲伪装东德存在的迹象，《柏林之围》里也有蒙蔽老军官伪造法军得胜消息，而《黑暗森林》提到了这两部——是在太空舰队势头正劲时给西恩斯伪造失败的消息。

接着折腾 Emacs 是这几天的主旋律。把痛点解决了：比如视觉行首行尾，行首缩进硬空格（直接把渲染空格关了，Emacs 软硬空格是一个选项），测量启动时间后把 Tree-sitter 和 eglot 惰性加载，Linux 上启动时间顿时

10 时隔多日，终于捡起了龙书第四章。
然后在习题 4.4.5 栽了跟头。没想明白，打算写一个单步调试，但写都没写出来。

最后抄了答案，豁然开朗。一次 S -> aSa | aa 可以先尝试前者，再尝试后者，但是一旦尝试前者正常返回，就会永远错过调用后者的可能了。
听起来很类似 Tuna 讲座上 Haskell Parsec 的一个特性：S -> ab | ac，如果 ab 解析失败，被吞掉的 a 永远不会归还。这里的解法是提取左公因子。这个不是回溯，但相当类似。

原题也绝对可以通过改写等价表达式让解析结果正常起来。比如显然原式与 S -> aa | aaS 等价，这玩意能出问题就怪了（懒得写）。

https://diataxis.fr/

有人倡议把所有技术文档分为四个部分：
教程：阅读者需要自己动手做，明白最终结果，了解工具使用方法的细节，但不需要了解所有背景知识；
操作指南：针对常见现实需求的精心准备的示例，它指出了此产品的功能范围。
参考：对产品内部结构的精确描述。
解释：高层次的原理解释。是唯一一种在洗澡时开卷有益的文档。

熟悉我的读者应该早就读过我的想法了。稍后这一段会合并入《分层制》。

#post_merged

5 前一天睡前构想续本达 OpenVPN 的用途。此前我和哲涵已经发现局域网可以互相访问，因此开发版的前端预览界面可以直接直播展示；此外还想到了这些：
1. 在本地部署 http 代理，然后大家就多了一个节点。但续本达的 pac 已经是这个原理了，而且我的还不保证24h可用。
2. 基于局域网的音视频通话。续本达的 OpenVPN 是 UDP 连接，刚刚合适。
第二天绕了一点路。我忘记了 WebRTC 本来就可以用 ICE 协议探测本地网络结构，哲涵也不知道，因此我们花了点时间找别的方案。后来我说服哲涵试一试 vdo.ninja，我们都准备好 Wiregurad 抓包，看到通过 TUN 的 udp 包时，感觉就像早期搞互联网的先驱一样高兴‍。虚拟的互联网络和实际的网络一样能把人连起来‍。

虽然只是连通到了已有的网络‍。续本达的网络看起来相当靠谱，我们自己办从规模还是可靠性都几乎不可能攀比，还不如跟他们 peer。

真希望毕业了之后还能连接到这个网络。续本达是会团结人的。大家想互相联系，都必须团结在这个网络之下。

一年之前写过一段（找不到了，写写大意）
即使可以模仿人类联想记忆，搞压缩率远高于现在的有损 AI 压缩算法，我也不会提倡，因为许多资料必须原样保存。人们通过规律理解数据，但规律本身恰恰只从原始数据得出。

（很久之后）
DjVu 压缩的原理是把相似图片块用相同块代替，这让数字化古籍错误百出，得不偿失。这算一个例子。
https://www.fxzhihu.com/question/24034394/answer/5434410093

（今天）
不过并非所有数据都是原始资料，比如如果有个 AI 原理的 Everything 帮我找文件，一定的模糊、联想搜索甚至根据使用文件的上下文搜索是很有帮助的，毕竟我不总是把文件名准确记住。坏处是 AI 也许像我一样忘事，但比我强就行。

如果有这样的用例，我很乐意试试。

2 半夜三点，有个巴基斯坦人在门外打电话，把我和室友双双吵醒。
我被吵醒之后，去跟仓鼠吵了一架。我把仓鼠说的“不关我事”理解成了买我要的二手货不关他事，反复要求他确认是否关他事，他却只是重复。而他实际指的是链接——我前一天晚上说写的他的，但实际上写的是自己，陈述有误。换个我清醒的时候，也许我就能意识到他说话省略了啥出他并不在乎表态，push 他干活就行了。

哲涵在一旁看着，几乎不说话。我后来才意识到这就是吵架。家长吵架时，一旁的小孩要承受多少压力呀。长大了也会历历在目的。

中午起床之后又说错了话。大老板要 logo，我找出来 Github 链接，老板说打开不方便，我直言“这是你的问题”。是，也许真的是，但这么说对解决问题有什么帮助吗？还不如把续本达叫过来下载完。
此后还要续本达帮我想怎么道歉。（

后来找到大老板写的关于暗物质和暗能量的科普文章。
https://www.sohu.com/a/458814722_472886

之后的会议倒是很不错，演示清楚，交流明白，还一起把设计失误——大得可怕的字号、处处大写的字母订正了。第二天晚上拿到了改正的桌面和新的移动稿，非常不错。总算可以既规范又美观地工作一次了！

晚上幸而没接着和室友吵架：室友买了新游戏本，我对此无感，不过聊了别的——他最近考试很忙，考完之后的寒假可以找我学 Python；还有打双人游戏；他确实打枪战，战地，另外还玩钢铁雄心4。我也许会奉陪，但更有可能把 Parsing Techniques 学了。

3 室友做了在国外做的最好的一顿：大约是咖喱酱煮红豆。我回寝室时见到，惊叹不已。恁久没有吃豆子了，且尝一点。
出门之前，正好打算买一点小零食。哲涵问起国外有没有豆腐和豆干。甚是想念。

在無極的电脑上完成了期待已久的网络试验。

结论：
* udp2raw 确实很灵。即使是 TCP，相对纯 UDP 的混淆并不加速。
* 基于混淆 udp 的 Wireguard 隧道法延迟从 naive h2 的 ~270ms 降低到了 ~170ms。上传速度非常低，很奇怪，原因未知。下载速度 20-40Mbps，远不如 naive h2。
* naive h3 相比 naive h2 限速严重。（早应该知道的！）
* 所有方法均不丢包。
* speedtest 认为 udp 隧道法的下载速度是 200Mbps，这太怪了。
因为懒得用高端工具，没有测试 udp 流量的实际效果。延迟和带宽全部来自 speed.cloudflare.com。这是试验最奇怪的不足，但无所谓，我只想知道通不通。

回国之后应该会用这种方式打视频电话。
另外，此法从任何角度都不如 Hysteria 2，望周知。

另外，进他桌面的一瞬间，我看到的是 reaper 教程和一个七八个轨道的工程文件。这位怎么也用起 reaper 来了？我教他用虚拟键盘——当时我也琢磨了好久，诀窍在于需要监听输入，否则不会有任何输出。另外把我军训回来时买的正版账号送给了他——我已经快一年用不上这软件了。