https://sxyz.blog/functors-applicatives-and-monads-in-pictures/
把 Aditya Bhargava 的这篇经典文章重新翻译了一版。
它是了解函数式编程非常棒的一篇文章，但现存的中文译文却都不可用了。
#blog
把 Aditya Bhargava 的这篇经典文章重新翻译了一版。
它是了解函数式编程非常棒的一篇文章，但现存的中文译文却都不可用了。
#blog
sxyz.blog
图解 Functor、Applicative、Monad
序言 这篇文章是对原文 Functors, Applicatives, And Monads In Pictures 的翻译，由 Aditya Bhargava 撰写，翻译时已取得作者授权。 它是了解函数式编程非常棒的一篇文章，但它的两篇中文译文已不再可用（404、全部图片丢失），另外仅剩的一篇却是以 Kotlin 为导向的，因此
现在国行 iPhone 限制了 AirDrop，如果哪天限制只能国区 App Store 下载 App，那岂不是不越狱，连个梯子都用不了了😅
或许以后只有 Android，或除中港澳 iPhone是安全的。想想还挺恐怖的，希望也只是想想。
或许以后只有 Android，或除中港澳 iPhone是安全的。想想还挺恐怖的，希望也只是想想。
Atomic CSS 类名编码方式，对文件体积的影响
现代 Web 将 gzip、brotli 这些压缩算法，应用到了各种类型的，浏览器所需的文件上。其原理就是寻找数据中的公共子串，并将其替换为较短的表示形式。
因此，很早有个想法，想以 Atomic CSS 为例，测试看看类名的不同命名方式，究竟对 gzip、brotli 的压缩率有多大影响。现在终于想动了。
这里我随便找了一个使用 Atomic CSS 构建的博客，它的类名是
结果是，
另外，这种连续编码方式，还可以进一步优化，我统计了一下整个 page 只有 315 个不重复类名，因此理论上
#experience
现代 Web 将 gzip、brotli 这些压缩算法，应用到了各种类型的，浏览器所需的文件上。其原理就是寻找数据中的公共子串，并将其替换为较短的表示形式。
因此，很早有个想法，想以 Atomic CSS 为例，测试看看类名的不同命名方式，究竟对 gzip、brotli 的压缩率有多大影响。现在终于想动了。
这里我随便找了一个使用 Atomic CSS 构建的博客，它的类名是
gSBWlu kJzccJ hsxujn 这种随机字符，我写了个简单脚本，将其重编码为 aaaaaa aaaaab aaaaac 这种连续字符，然后通过 brotli cli 分别压缩它们，观察文件大小变化。结果是，
b-brotlied.html 比 a-brotlied.html 体积小了 12%，具体图片见评论。这个数字其实是超出我预期的，因为这还只是一个博客首页。理论上，页面规模越大，这个数字就会越明显。另外，这种连续编码方式，还可以进一步优化，我统计了一下整个 page 只有 315 个不重复类名，因此理论上
aaaaaa aaaaab aaaaac 可以进一步简化为 aa ab ac，但我却给它们补全了 aaaa 的前缀。#experience
👍2
https://doc.lagout.org
刚刚搜 PDF 发现的网站，主要是 PDF，大概 4.2w 本，其它还有 chm，zip，ios 等格式文件，分门别类整理好的，质量还挺高的。
#tools #pdf
刚刚搜 PDF 发现的网站，主要是 PDF，大概 4.2w 本，其它还有 chm，zip，ios 等格式文件，分门别类整理好的，质量还挺高的。
#tools #pdf
🤩2
🌸
我阳了。从前天晚上开始轻微头疼，以为只是吹到了没太在意，昨天晚上开始低烧，37.96，不严重就睡觉了，今早起来测了下果然阳了。目前症状还比较轻微，头疼（一直），低烧（一直38左右），头晕（昨晚），恶心（昨晚），冷（睡一觉好了点），咳嗽（一直，不说话好一些），喉咙痛（喝点水好一些） 这些症状交替着来。现在再接着睡一觉，醒来如果体温升上去就吃布洛芬，希望不会恶化，快点好起来，晚安。 #covid
睡了一天，但没怎么睡着，刚睡着一会就醒。温度从38升到39.4，全身疼痛，头晕，不知道是不是高烧原因，开始流鼻血，赶紧吃布洛芬，吃了又接着睡了一觉，睡醒能感觉到热了，之前摸身体很烫却很冷，现在没那么烫了却很热，这感觉挺奇妙的，体温也恢复到了正常。
由于恶心，进食不多，主要靠喝水撑着，发现刚睡醒头晕恶心会差一点，于是把食物分成几份，睡一会吃一点。中途遇到个小事故，体温计测着测着没电了，估计是太久不用电池放坏了，家里也没备用电池，找邻居借了一只，果然这东西还是不带电的靠谱，或者不用时电池扣下来。
现在还是难受，咳嗽，出气也疼，耳朵像是堵住什么东西。我也才意识到，原来清零远没有结束，只是之前清的是阳性，现在清的是阴性。
#covid
由于恶心，进食不多，主要靠喝水撑着，发现刚睡醒头晕恶心会差一点，于是把食物分成几份，睡一会吃一点。中途遇到个小事故，体温计测着测着没电了，估计是太久不用电池放坏了，家里也没备用电池，找邻居借了一只，果然这东西还是不带电的靠谱，或者不用时电池扣下来。
现在还是难受，咳嗽，出气也疼，耳朵像是堵住什么东西。我也才意识到，原来清零远没有结束，只是之前清的是阳性，现在清的是阴性。
#covid