你好 — 我是 Odin Loch

我喜欢所有工程和所有科学，而且从来不擅长只待在其中一样里面。所以这个书架上，一个加固过的伯克利软件套件（BSD）挨着一套带关联数据的认证加密（AEAD）方案，再挨着硬质合金刀具，再挨着一篇讲怎么用兆焦耳衡量国家财富的论文。这不是什么战略。这就是我真正感兴趣的东西。

一个人干活意味着没人检查我的工作，所以我把检查做进了工作里。在差分验证或中间表示（IR）验证通过之前，ParanoidBSD 不会把一个文件标记为已移植，因为我很清楚，一个仅仅能编译的文件什么都没告诉我。MathScript 到处都返回 Result<T> ，而不是抛异常，因为我想让失败的情况在类型里就看得见，而不是在凌晨三点才被发现。AEGIS 只有一条规矩 — 在攻击模拟确认之前什么都不算做完 — 因为我关于流量分析的直觉一次又一次地错了，而模拟没有错。

同样的道理，也解释了这个站上那些看起来像在跟我作对的部分。Cell AI 的困惑度比生成式预训练变换器 2（GPT-2）差四个数量级，这话就写在它的首页上。反编译器在剥掉符号的二进制上还原算法的 F1 是 0.056，旁边就印着它借助符号时拿到的 1.000。高级加密标准（AES）那项工作失败了，它就作为一次失败发布出来，并附上说明原因的统计。如果我把这些藏起来，你就没办法判断我其他那些数字里哪些可信。

ParanoidBSD 这样描述自己：“一个由精神分裂症患者做出来的安全操作系统”。这是我关于我自己说的话，我要留着它。这不意味着工程不可靠 — 这项工作上的关卡比很多商业软件见过的都严，而且都白纸黑字写着，你可以自己去读。它的意思是：比起让你以后才发现，我宁愿现在就告诉你这东西是谁在做。

如果你在决定要不要依赖这里面的任何东西：去读测试、来源记录和公布出来的局限。那些才是为了被核查而做的部分，它们能告诉你的比我多得多。