和朋友看到商场里开了一家最近很流行的“开蚌珍珠盲盒”,觉得很奇妙,想起来小时候我也是开过蚌的。
零几年的时候家里条件不好,外婆和妈妈找了很多家庭副业,其中一项就是给人开蚌取珠。我家在长江下游,镇子紧挨长江,闲时爸爸偶尔会带我去长江滩涂上捉蟛蜞。
在仅有一颗低矮老葡萄树的后院里,外婆穿着胶鞋,手里攥着一把菜刀,表情和手一起用力撬开蚌的嘴,她面前一个红色塑料盆堆放着成垛的蚌的尸体。蚌被撬开之后是活不了的,可惜小时候的我并不在意这一点,我只是站在后院看这铁盆里那堆并不均匀且有淡淡腥味的珍珠。
仔细想想我小时候家里人一起做了蛮多副业的,当时流行串珠服饰于是妈妈外婆就拎回几麻袋的小珠子和鱼线,喊我一起串珠。零几年江南纺织业正兴盛,串好了就可以拿去服装厂卖钱。
记忆早就淡化,零几年的记忆如今却忽然被激活。也不知道当时家里人从哪里牵线搭桥找来那么多副业,那是江浙乡下小孩童年的一部分,可能也是长三角在21世纪初的小小缩影。
埃德蒙顿科技馆的太空园区有一个有趣的多媒体小展区,主题是人类登月。展示方式是双屏幕播片+根据对应剧情进度用射灯高亮某个物件。提到人类登月用的火箭型号时,就一束光打给现场的土星五号模型;提到地月距离时,就把光打给分别在房间两端的保龄球和高尔夫球;提到人类第一颗卫星时,就把光打给空中挂着的斯普特尼克卫星模型。
最精彩的一瞬是提到登月的宇航员采集了一块月岩带回来分析,任务代号15555。然后详细的解释这块样品如何把人类对月球的认识推进了一大截。然后屏幕里的播片是当年宇航员在月面上拿着大铲子费力的铲月岩的模糊的直播信号。
接着影片拉到月球远景,一束光突然打给现场的一个层层透明隔离材料的方箱子。
旁白:这块月岩就在这里。
(现场有小孩子们倒吸一口气的震惊的声音)
(我小时候要有这玩意我他妈每周都要来看一遍)
和同学吃饭聊到 开始工作后发现事情做不做得成 很大部分是看过往关系 NKS在体制内投行干了那么多年真的有能力对动国库的申请想say no就say no么,很难说.
然后就到达了一个坡岛悖论--有够资历的肯定是体制内的 没在体制内也没有别的地方让你够资历 导致很难有看起来靠谱的独立候选人出现 the country is too small and the system is fucking huge
我逐渐理解了我的总是无法进行计划的原因。
因为我不信任我自己的计划。实际上我自己的计划总是在满足外界的期待、在以他人的价值观在制定。这就是我总是不愿意接受我自己定出来的计划的原因。
那反过来,记录一下自己干了什么。实际上白天的时候也不需要太多的计划,我自己当然知道什么是有价值的。
我今天干了的事情有:
* 整理了一下自己系统的配置。另外写了 phpfpm 的配置,但还不知道能不能用,至少是编译过了。
* 原神中,基本上集齐了所有的水神瞳(差两个,不知道哪两个,暂时不管)。做了一点之前没有发现的支线任务。
* 碧蓝航线,把差不多一万点石油消耗掉了。
* 墨墨背单词,复习了略少于200个单词。现在每天需要复习的单词已经降到200以内了,等降到100以内就想办法学听力,等降到50以内再背新的单词。
* 临睡前misskey坏了,翻日志确认应该是很久之前的一个遗留的问题,又花了几个小时修好了。
RE: https://xn--s8w913fdga.chn.moe/notes/9iypmoxxd1
这个是真正的迷你非洲紫罗兰了,叶子也小,花全开两厘米不到。品种的名字叫Jolly fairy,像一朵微型荷花。育种大师都有自己的特点。Jolly系列是红色调,从浅粉到玫红,而Bob系列则是深深浅浅的紫,两者都是我的心头好。花实在太小,感觉是要催我重新用起照相机。
天才啊……………………
皮亚诺的这五条公理用非形式化的方法叙述如下:
Ⅰ、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 (根据自然数的公理)