重构本来就正确运行的程序，先改 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 取代，证明了结构主义的重大不足，虽然我本人已经不需要看更多例子了。