#今日午餐。#烤羊排、羊肉串儿、羊肉烧麦。总算在入夏时节吃到了羊肉。
今天奉贤又报出一例，庆幸昨天没有跑去庄行吃羊肉。
当然，西北与江浙的羊肉还是存在差别，虽不分高下，但口感确实不一样。
这一刻还只能做外卖的西贝，水准依然在线。So is 上海自己的盐汽水。
逃过今早上自己小区的核酸大筛。
后三张图是朱先生送的T恤和Line熊。
昨天去思南公馆吃晚饭没有找到停车位，只好把车停在了一公里之外的日月光。吃完饭出来，他叫我等在思南路上先不要动，他骑脚踏车去日月光把车开过来，这样我就省得走路了。结果，则泼斯吭哧吭哧沿着大半条思南路找了半天，愣是没有找到一部共享单车。
看着他的背影，就觉得伊还难笨拙的。
当时附近的上海二医大正在举行毕业典礼。

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

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

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

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

inquisitive(me，anybody)

【2020红双喜杯竞达全民体育足球邀请赛举行】8月29日，2020红双喜杯竞达全民体育足球邀请赛在竞达足球俱乐部开幕。来自二医大校友足球队、快乐足球队、上海民盟足球队、宝山交警足球队、火焰蓝足球队、上海地产联队、上海体育记者联队、上海竞达足球队等8支球队参加，上海常青足球队则参加表演赛。由上海竞达体育咨询管理有限公司主办。#综合体育[超话]#