重构本来就正确运行的程序，先改 type，然后把所有 type error 都消除（不是很需要用脑），果然一点 bug 都没有。感叹函数式的好，函数式编程的代数性质真的很爱
❤7
🥰4
Streams 1024
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
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
你缺失的那门计算机课
一些约定与预备知识 | 你缺失的那门计算机课
一份适合电脑小白入门的电脑使用课程，一份面向今日与未来的信息时代指南。
🤣3👍1
Streams 1024
非常好读物，让我恐惧“网络工程师” https://apenwarr.ca/log/20170810
Jack's Blog
只有IPv6的完美世界
又称，“只有 IPv6 知道的世界”，或者，“历史包袱太多啦”
译者序：
本文译自 Avery Pennarun（后称原作者） 于2017年8月10日所写的一篇雄文。
译者在学习计算机网络的时候一直遇到这样那样的疑惑，特别是对于 IP 地址、MAC 地址，路由器、交换机这样的双轨制，以及 ARP、NDP 和交换机监听 ARP 等等看起来非常奇技淫巧的 hack，但是因为身边的人对此总是表现得天经地义本该如此，就总安慰自己“这背后自有它的道理，搞成这样是为了通用型和可扩展性，之后能通过排列组合产生灵活的…
译者序：
本文译自 Avery Pennarun（后称原作者） 于2017年8月10日所写的一篇雄文。
译者在学习计算机网络的时候一直遇到这样那样的疑惑，特别是对于 IP 地址、MAC 地址，路由器、交换机这样的双轨制，以及 ARP、NDP 和交换机监听 ARP 等等看起来非常奇技淫巧的 hack，但是因为身边的人对此总是表现得天经地义本该如此，就总安慰自己“这背后自有它的道理，搞成这样是为了通用型和可扩展性，之后能通过排列组合产生灵活的…
Streams 1024
https://blog.jackywang.page/posts/apenwarr-ipv6-translate/
在我看来，辨别连接所用的四元组设计被 UUID 取代，证明了结构主义的重大不足，虽然我本人已经不需要看更多例子了。
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 的问题，是他们居然公开了这个算法，然后还指望用常规网络安全法挡箭。
https://www.theregister.com/2025/02/04/math_prodigy_crypto_scheme/
真是奇闻啊…
1. 支持 code is law 的人支持 CPU 优化魔法吗？那么多洞，责任都是硬件厂的，完全没法说成是程序员的。要是这能说是部署者的责任，你开的车也不必是安全的咯？所以这些人的意思是，想要芯片厂给出形式验证并担保吗？那下一步必定是，芯片正确性保险成为人类最贵险种。我看这就一步走到反乌托邦了，这种法律我不支持。
2. 链上公开的代码的某些性质被利用我认为就是活该，就跟放在纽交所机房的算法的某些性质被别人合法得知、然后利用一样活该。谁叫你公开交易算法了？？？？？根本就不是 code is law 的问题，是他们居然公开了这个算法，然后还指望用常规网络安全法挡箭。
The Register
US accuses Canadian math prodigy of $65M crypto scheme
Suspect, still at large, said to back concept that 'code is law'
👍1
Meta’s alleged torrenting and seeding of 81.7 TB of pirated books to train AI
https://arstechnica.com/tech-policy/2025/02/meta-torrented-over-81-7tb-of-pirated-books-to-train-ai-authors-say/
https://arstechnica.com/tech-policy/2025/02/meta-torrented-over-81-7tb-of-pirated-books-to-train-ai-authors-say/
Ars Technica
“Torrenting from a corporate laptop doesn’t feel right”: Meta emails unsealed
Meta's alleged torrenting and seeding of pirated books complicates copyright case.
https://mitpress.mit.edu/9780262546799/simulation-and-its-discontents/
In Simulation and Its Discontents, Sherry Turkle examines the now dominant medium of our working lives and finds that simulation has become its own sensibility. We hear it in Turkle's description of architecture students who no longer design with a pencil, of science and engineering students who admit that computer models seem more “real” than experiments in physical laboratories.
只看了摘要，似乎挑战了我的 UI 设计/信息设计老本行，我非常高兴。
In Simulation and Its Discontents, Sherry Turkle examines the now dominant medium of our working lives and finds that simulation has become its own sensibility. We hear it in Turkle's description of architecture students who no longer design with a pencil, of science and engineering students who admit that computer models seem more “real” than experiments in physical laboratories.
只看了摘要，似乎挑战了我的 UI 设计/信息设计老本行，我非常高兴。