曳尾于涂 @Acer@qoto.org

埃德蒙顿科技馆的太空园区有一个有趣的多媒体小展区，主题是人类登月。展示方式是双屏幕播片+根据对应剧情进度用射灯高亮某个物件。提到人类登月用的火箭型号时，就一束光打给现场的土星五号模型；提到地月距离时，就把光打给分别在房间两端的保龄球和高尔夫球；提到人类第一颗卫星时，就把光打给空中挂着的斯普特尼克卫星模型。

最精彩的一瞬是提到登月的宇航员采集了一块月岩带回来分析，任务代号15555。然后详细的解释这块样品如何把人类对月球的认识推进了一大截。然后屏幕里的播片是当年宇航员在月面上拿着大铲子费力的铲月岩的模糊的直播信号。

接着影片拉到月球远景，一束光突然打给现场的一个层层透明隔离材料的方箱子。

旁白：这块月岩就在这里。

（现场有小孩子们倒吸一口气的震惊的声音）

（我小时候要有这玩意我他妈每周都要来看一遍）

最近搜手机刷机信息，感慨国内互联网真的已经烂透了。
靠搜索引擎找不到一篇形式完整看起来靠谱的刷机教程，听闻近些年流行视频，b站随便搜了个，点开视频不小心点到进度条只听到结尾做广告刷机可联系xxxx，顿时觉得这视频一定有坑赶紧关了。

封闭+审查+商业化，真是快乐的互联网。

十年前可不是这个样子。

套版没套准的效果😆

早飯吃自創砂鍋雞湯餛飩。

和同学吃饭聊到 开始工作后发现事情做不做得成 很大部分是看过往关系 NKS在体制内投行干了那么多年真的有能力对动国库的申请想say no就say no么,很难说.
然后就到达了一个坡岛悖论--有够资历的肯定是体制内的 没在体制内也没有别的地方让你够资历 导致很难有看起来靠谱的独立候选人出现 the country is too small and the system is fucking huge

@voce 我之前做游戏行业的反映过一些游戏行业的欧洲市场报告。说二次元这个genre在欧洲，只有法国和北欧卖得动。法国都是otaku 😂

我逐渐理解了我的总是无法进行计划的原因。
因为我不信任我自己的计划。实际上我自己的计划总是在满足外界的期待、在以他人的价值观在制定。这就是我总是不愿意接受我自己定出来的计划的原因。
那反过来，记录一下自己干了什么。实际上白天的时候也不需要太多的计划，我自己当然知道什么是有价值的。
我今天干了的事情有：
* 整理了一下自己系统的配置。另外写了 phpfpm 的配置，但还不知道能不能用，至少是编译过了。
* 原神中，基本上集齐了所有的水神瞳（差两个，不知道哪两个，暂时不管）。做了一点之前没有发现的支线任务。
* 碧蓝航线，把差不多一万点石油消耗掉了。
* 墨墨背单词，复习了略少于200个单词。现在每天需要复习的单词已经降到200以内了，等降到100以内就想办法学听力，等降到50以内再背新的单词。
* 临睡前misskey坏了，翻日志确认应该是很久之前的一个遗留的问题，又花了几个小时修好了。

RE: https://xn--s8w913fdga.chn.moe/notes/9iypmoxxd1

这个是真正的迷你非洲紫罗兰了，叶子也小，花全开两厘米不到。品种的名字叫Jolly fairy，像一朵微型荷花。育种大师都有自己的特点。Jolly系列是红色调，从浅粉到玫红，而Bob系列则是深深浅浅的紫，两者都是我的心头好。花实在太小，感觉是要催我重新用起照相机。

#家庭绿植蓝图

最近看了本小說，we begin at the end（日譯「われら闇より天を見る」）。與其說是推理小說，讀下來感覺更像羣像劇，主要角色都是一些活在“end”之中的人，整部小說就是在說他們如何“begin at the end”，接納過去，開啓新生。貫穿全書的人性的愛與善良，它們有的偉大深沉，有的像微微的暖意，但都令人動容。
出版社的宣傳語說這是“翻譯推理小說史上最棒的最後一行”，讀完看來倒也不算吹牛。最終duchess完成家譜站上講臺的那一刻，正象徵著她了結了過去準備開始完全屬於自己的人生，給這個悲傷的故事帶來了希望的線索，也完美地呼應了標題，確實是十分精彩有力。

朋友问我为啥要给娃拿加拿大身份。我说因为我打算护照卡甩给她说 Here is your college fund.

天才啊……………………

皮亚诺的这五条公理用非形式化的方法叙述如下：
Ⅰ、0是自然数；
Ⅱ、每一个确定的自然数a，都具有确定的后继数a' ，a'也是自然数（数a的后继数a'就是紧接在这个数后面的整数（a+1）。例如：1'=2，2'=3等等。）；
可是仅有这两个公理还不够完整地描述自然数，因为满足这两条的有可能不是自然数系统。比如考虑由0, 1构成的数字系统，其中1的后继为0。这不符合我们对于自然数系统的期望，因为它只包含有限个数。因此，我们要对自然数结构再做一下限制：
Ⅲ、0不是任何自然数的后继数；
但这里面的漏洞防不胜防，此时仍不能排除如下的反例：数字系统 0, 1, 2, 3，3，其中3的后继是3。看来，我们设置的公理还不够严密，我们还得再加一条。
Ⅳ、不同的自然数有不同的后继数，如果自然数b、c的后继数都是自然数a，那么b=c；
最后，为了排除一些自然数中不应存在的数（如 0.3，0.22），同时也为了满足一会儿制定运算规则的需要，我们加上最后一条公理。
Ⅴ、设S⊆N（自然数），且满足2个条件（i）0∈S；（ii）如果∀n∈S，那么n'∈S。则S是包含全体自然数的集合，即S=N。 简易表述：若集合S中全是自然数，且满足两个条件：（1）0在集合S中。（2）若任给实数n在集合S中，那么n的后继数n'也在S中，那么S是包含全体自然数的集合(这条公理也叫归纳公理，保证了数学归纳法的正确性)
注：归纳公理可以用来证明0是唯一不是后继数的自然数，因为令命题为“n=0或n为其它数的后继数”，那么满足归纳公设的条件。
若将只考虑正整数，则公理中的0要换成1，自然数要换成正整数。

1 + 1
= 0’ + 1 （根据自然数的公理）
= （0 + 1)’（根据加法定义Ⅱ）
= 1’ （根据加法定义Ⅰ）
= 2 （根据自然数的公理）

#岭南的日常

还好，今天经历的台风不算可怕，至少能辨认出 “风” 和 “雨” 的声音……

我遇到过几次恐怖的台风，听不见陆地气象的风雨声，听到的是楼房震动和轰鸣的声音，玻璃窗哐哐哐随时爆破，木头房门像纸皮一样鼓起来。天空中奇怪的巨响，似乎有很多火车在高速行驶，有时甚至像音乐声。
持续几个小时，耳朵都要聋了。

台风登陆时没有雷电，台风接近之前，所有类型的云几乎都会登场一遍，非常美丽。

梦到自己要保护的同伴被坏人发现了，她趁着夜色逃进了我的住处。为了掩人耳目她中途把衣服都脱了，但是坏人根据目击者的描述，架枪瞄准了附近同样装束的我的无辜发小。
如果我不把身旁这个家伙推出去，一起长大的发小就会在没有任何意识、也不知道任何事情的情况下被杀；
如果我把身旁的同伴推了出去，死的就会是她，我们的任务会失败，她此生最后的恐惧和记忆是我（她唯一信任的人）对她的背叛。
我基本上是在吓傻和不知所措中惊醒了。
想知道如果是柯南，两个人分别是兰和哀，他会怎么做。