用 Prolog 求解这个神奇的数独：https://benjamincongdon.me/blog/2020/05/23/Solving-the-Miracle-Sudoku-in-Prolog/

虽然本质是给 Lufthansa 打广告，但是这个片子的确让我看得很过瘾，A350 起飞降落全程多角度实拍。
https://www.youtube.com/watch?v=jk-WClye4bw

「这样的现实也反映在科幻小说中，克拉克对太空的瑰丽想象已经渐渐远去，人们的目光从星空收回，现在的科幻小说，更多地想象人类在网络乌托邦或反乌托邦中的生活，更多地关注现实中所遇到的各种问题，科幻的想象力由克拉克的广阔和深远，变成赛博朋克的狭窄和内向。」 — 刘慈欣获克拉克奖致辞
https://mp.weixin.qq.com/s/2y3Ah6cZJAOMPaDlfpHAxQ

跟阿西莫夫《永恒的终结》不谋而同的价值取向：「任何一种有永恒时空存在的系统，都会让人类可以主动选择自己的未来。人类总会选择最安全、最中庸的道路前进，群星就会变成遥不可及的幻梦。」

#sci_fi

没有什么比头顶的繁星更令人向往了。希望今天不会是被载入人类太空探索史的最后一天。

近期读过最好的一篇长文：https://www.theatlantic.com/magazine/archive/2020/07/trumps-collaborators/612250

借用豆瓣网友 Joyceulysses 的推荐语：
Anne Appelbaum在大西洋月刊上的最新长文实在是太精彩了。通篇围绕着「人们是如何一步步成为罪恶力量的共谋者的」问题，从为什么共和党的上下政客最后都变得对特朗普百依百顺说起，将波兰、东德、维希法国等地的共谋者与反抗者的历史与当下的美国政治中的种种情景剧结合起来，交相映照。这篇文章最出彩的地方是它把人面对一个自己的价值观无法肯定的巨大政治势力时的种种心理描绘得淋漓尽致。顺从与共谋往往是一个渐进的、由无数自我合理化和细微的恐惧塑造的，而反抗也往往不是一瞬间的巨大勇气，而是积累于做一个decent person的日常要求。Warto być przyzwoitym—“Just try to be decent.” 可以说是本年度读到的最好的杂志文章了。

另一位网友对此文做了粗略中文翻译。

在计算机科学和软件工程等领域，将 blacklist、master-slave 之类的术语替换成 blocklist、primary-secondary 等「XX 中立」的词，不是什么新潮流了。而最近 Chromium 的一个改动和相关的 style guide 又引发了一些讨论。

这时候很适合把 Redis 开发者 antirez 在两年前由于 Ruby on Rails 创始人 DHH 在 Twitter 上反复攻击并试图强迫他修改 Redis 中的 master-slave 术语而写的这篇文章拿出来再读一遍：http://antirez.com/news/122

> ... every terminology is offensive in principle, and I don’t want to accept this idea that certain words that are problematic, especially for Americans to make peace with their past, should be banned. For example if I’m terminally ill, the “short living request” terminology may be offensive, it reminds me that I’m going to die, or that my father is going to die. Instead of banning every word out there, we should make the mental effort to do better than the political correctness movement that stops at the surface.

时代已经黑了。
https://twitter.com/castropodcasts/status/1273027469801553923?s=21

Elon Musk 昨天提到的 The Great Filter 还蛮有意思的，之前我只知道费米悖论这个概念。
https://en.wikipedia.org/wiki/Great_Filter

2019 年的时候，我无意中发现自己在三年前无聊写过一次对普鲁斯特问卷的回答，于是重新做了一遍，很直观地观察到了自己的想法发生了怎样的变化，于是决定之后每三年都重做一次。

最近回忆起这件事，想到如果要在一个公司待上好多年，或许也可以用类似的做法来把握自己的想法转变。回想了一下工作以来的感受，我决定每隔一年都试图回答一下这个问题：是不是 / 为什么 Google 现在很难再把产品做「好」了？

哪一天要是离职了，或许可以把答案拿出来回顾和公开 :)

四年前，VA-11 HALL-A 发行，彻底改变了来自委内瑞拉的两位制作人和全球各地无数玩家的人生轨迹。
四年后，新作 N1RV ANN-A 尚未完成，委内瑞拉的社会动荡迫使尚留在当地的制作成员们背井离乡。

一切仿佛都没有改变；一切却又似乎在往好的方向发展。如果没有 VA-11 商业上的成功，制作成员也不会有机会离开家乡去寻求能够更稳定地开发游戏的环境。
我所惊讶和着迷的，可能就是游戏创作者的经历和游戏内人物的经历是如此地同构：只要能在一天的工作结束后喝到一杯 Karmotrine 满载的鸡尾酒，又或者是能在月底前赚够下个月的房租，生活就还有希望。

http://sukeban.moe/index.php/2020/06/22/va-11-hall-a-is-4-years-old-today/

涂鸦 弹窗广告 带节奏 枪击 智能推荐 刻奇 抖音外放 看似妙语连珠的抬杠
本质上都是“暴力”
人人都宣称非暴力 但人人都暴力成瘾
天热了 喝点绿豆汤吧

https://twitter.com/chrisluv/status/1280473086983274500?s=21

近期看到最漂亮清新的游戏 Townscaper，已经有人开始做 generative art 了。

> 作为这个项目支持者之一的英国大学组织Universities UK表示：“我们不会为审查背书。这一计划是意在保证全球疫情期间远程学习的中国学生能够接触课程材料，并且继续学习。”

这就是这个时代的绥靖主义啊。

https://www.bbc.com/zhongwen/simp/uk-53344833

前段时间惊觉自己的推特时间线上信息过于杂乱。整理之后发现我主要关注了这么几类用户：

1. 互相认识的现实朋友和网友
2. 单方面关注的业界大牛等，本质等于订阅了此人的博客
3. 喜欢的乐队出了新专辑、关注的 IP 上了新周边商品等资讯
4. 符合个人口味的摄影图片和二次元萌图

其中以视觉冲击为主的 4 对时间线的干扰最为明显。于是我开了个小号，把对这类用户的关注全部转移了过去。

结果就是，两三个月下来，我一次都没点开过那个小号，并且对此几乎毫无自知……

就好比在家隔离的生活会让人更真切地认识到生活中的什么才是对自己而言所必需的，有时候人为地去制造一些分割，也是践行 Digital Minimalism 的好思路。