飞机延误到11点。在机场麦当当把明天due的统计作业写完了。
今天早上6点起来在酒店写今晚due的fintech。刚刚同学又发给我一张他做的非常漂亮的basic code以外的图。fintech就是一门卷无上限的课，少则5h，多则10-20+h，越多code越多拓展分越多（大概是7-9的range，10是20+页同学的作业)并且助教给分一周比一周卷。鸡蛋里挑骨头。
本来想现在补一下同学那张漂亮的stock图，想了想还是不卷了，早上交了basic code和analysis的版本就已经18页(虽然页数没有任何意义，logic和analysis才是重点)。
我去过安检了[爱你] https://t.cn/z8LfMCY

这本 A programming logic 是上古时代的关于编程的书(不是编码)，那时微软还没正式成立，IBM PC/XT还在设想中，程序猿还属于计算机科学家，在我家里手电筒还属于家电的时代，虽然比 Hofstadter 的 G.E.B 成书时间略晚，当然，比1960年代打卡机上写LISP的年代还是晚了很多，但也比我开始学撸代码早了十几年。

这本书经过 project HOPE 捐赠给了上海二医大以后，又转赠到了别的什么地方，最后经孔网流落到我手里，好像以前也没有什么人翻过，书口都粘黏在一起了。

严谨地来说，书的内容是讲(实现)形式化证明编码正确性的书。

现在我居然有兴趣翻这样的书，而且好像还能看的懂了。我都有点佩服我自己了。#recursive#

inquisitive(me，anybody)

今天推荐一款甲类解码放大器 比韵MA -300 Signature 甲类参考级解码放大器
这台大功率甲类合并放大器还带高素质DAC解码和 MM / MC 黑胶唱放功能、输出功率达到每声道320瓦/8欧、480瓦/4欧，数字解码模块搭载了美国 CIRRUS LOGIC 的新一代 DAC 解码芯片，模拟放大模块采用数只美国 BB 专用运放以配合全平衡缓冲放大 https://t.cn/RJv9cGq