为什么有那么几个网站一旦你第一次访问是禁用 JavaScript 的就屏蔽你 IP 地址😅

https://doge.gov/
傻逼

OpenID Connect 大概是 self hosted 社区现在最有意义的事。

现代密码学最适合解释为一种构造“秩序工具”的学问，而不是通常理解的保证通信秘密的学问。

急需让历史成为操作系统中的一等公民。

Mac 才是牛马专用电脑。Mac 感觉就像家长和你说「我已经给你 xyz 了，所以你要好好学习/工作」

重构本来就正确运行的程序，先改 type，然后把所有 type error 都消除（不是很需要用脑），果然一点 bug 都没有。感叹函数式的好，函数式编程的代数性质真的很爱

https://www.criwits.top/missing/
不如叫《消费级计算机的使用》。我写的 it50.org 才是真《你缺失的那门计算机课》，但是咕了。

如果有人想写我非常愿意配合。

我妈呀！这本书也是 JEDEC 遗毒！
https://www.criwits.top/missing/first-things-first.html#%e5%ad%98%e5%82%a8%e5%ae%b9%e9%87%8f%e7%9a%84%e5%8d%95%e4%bd%8d cf. https://it50.org/en/theory/binary-data/#units

在我看来，辨别连接所用的四元组设计被 UUID 取代，证明了结构主义的重大不足，虽然我本人已经不需要看更多例子了。

做计算机的总算意识到，一件事做两次是两件不同的事🤣

SB

展开的车头

什么时候编程环境能让我写 AST 呢

为什么中国人用 emoji 的方式如此刻薄，是世界唯一吗？

US accuses Canadian math prodigy of $65M crypto scheme
https://www.theregister.com/2025/02/04/math_prodigy_crypto_scheme/

真是奇闻啊…

1. 支持 code is law 的人支持 CPU 优化魔法吗？那么多洞，责任都是硬件厂的，完全没法说成是程序员的。要是这能说是部署者的责任，你开的车也不必是安全的咯？所以这些人的意思是，想要芯片厂给出形式验证并担保吗？那下一步必定是，芯片正确性保险成为人类最贵险种。我看这就一步走到反乌托邦了，这种法律我不支持。

2. 链上公开的代码的某些性质被利用我认为就是活该，就跟放在纽交所机房的算法的某些性质被别人合法得知、然后利用一样活该。谁叫你公开交易算法了？？？？？根本就不是 code is law 的问题，是他们居然公开了这个算法，然后还指望用常规网络安全法挡箭。