最近一直在学习SML，其中CMU15150 占了比较多时间，遗憾的是看到一半，大概是continuation的时候，课程更新到下一个学期，然后上学期的Leture notes消失了，我也只好中断了。

不过新学期的第一篇就很有意思，之前应该是没有的，其中上课最开始说的是How to Succeed in College，不知道是因为之前学生们学的不好给讲师印象不好还是怎么的，挺有意思，我在这里也分享一下。

1. SHOW UP
   Go to lecture, go to lab.
   Do not expect to understand everything in real-time.
   Repeated exposure is important
2. Take Notes
   By writing.
   The eye-hand-brain loop is magical.
3. Study Your Notes
   The same day. And again. And again. And again.
   Figure out what you don’t understand.
   Repeated exposure is important.
4. Keep up
   Do not let work pile up.
   Small steps, big achievements.

不知道讲师们把SHOW UP放第一位并且强调是出于什么心情，签到点名扣分嘛，多方便。
要是一件事情做习惯了之后要再改变还是蛮难的，形成肌肉记忆，或者脑回路短路，没经过思考就做完了。
比如说开车的时候，已经开了半年了，但是有时候还是不会礼让，踩一脚油门后又会后悔。
还有有时候说话的时候，虽然以前有过说错的时候，但是还是会说错。
也还有干活的时候，总喜欢拖延，不到最后一天就舍不得动一下手。

所谓知行合一，脑子不能犯懒，身体也不行，希望自己能做到，从这一次开始。

因为要去海南长居，所以准备买个车，出行会比较方便，去村里县里公共交通非常麻烦，要转大巴，下车后还有几公里要走。
八月份的时候下定决心要买，然后八月整个月的周末去试驾了好几回，这里总结一下。

目标

目前选择的目标就是插混或者增程的5座SUV，轿车和太大的车在村里很难开。
备选项有以下：

• 五菱星光S
• 零跑C10
• 长安启源Q05
• 哪吒L
• 比亚迪宋dmi
• 奇瑞风云T9
• 吉利银河E5

试驾

目标车型中，比亚迪因为当时第五代dmi宋刚上市，所以试驾要排队很久，试驾了一下秦，感觉不管是底盘还是动力响应，都很不错，不过因为既没有展车也没有试驾宋（只有试驾车，没有展车），所以就划掉。

银河E5

第一次去试驾的就是银河E5，印象最深刻的还是HUD，十来万的车，HUD里面还能显示车道和附近的车，个人感觉还是很爽的。操控什么的感觉还是不错的，刹车略有点头，不过舒适向调教的电车也只能做到这样了，不少人说有船感，我试驾的时候没什么感觉，但是后排坐着确实有点晕。

哪吒L

去试驾的时候店里都没什么人，上车的时候销售给我展示了一波零重力，结果卡住了打开却没法收起来。零重力座椅我感觉是最鸡肋的功能，开车的时候用不安全，停车的时候又显多余，都停车了，为什么不躺平呢。像MPV这种类型的车，顶多也就用个航空座椅，零重力属实是增智的东西。
试驾的时候油门控制感觉很难受，有点窜，稍稍一点油门就chua一下窜出去，感觉不是很好。

零跑C10

零跑C10一直是我很想要的车，空间大，还可以选激光雷达智驾，各种配置都有，用料又环保，去店里看了好几次（还被隐藏式门把手夹到手了），实车感觉很厚重，坐着应该会比较舒服。
试驾感觉油门脚感不错，但是刹车踩的时候有种笃笃的声音，感觉分了两段，不线性。

启源Q05

试驾车是4S店的工具车，显得破破的，但是开起来感受还不错，像是传统企业造的车，销售还展示了原地启动发动机，声音确实很小，在车里面几乎听不到，缺点两个，一个是空间比较小，二是油改电

风云T9

这个车子因为店里没什么人，而且试驾车又在充电，等待的过程中我一直坐在展车的主驾充电听歌。有一说一，坐着确实舒服，音响也很不错。但是座椅调节在门板上，感觉躺下去之后再按就比较难受，其他的倒是没什么毛病，同价位里外观最大气的车了，而且还有7座可选。
试驾车只有电，开了两圈基本上还不错，也是传统车企的感觉，不过销售真的很热情，过了好几个月还一直发消息给我。

五菱星光S

这个车是第一个去看的，但是因为没有试驾车，其实是订了之后再试驾的，空间是比较满意的，相对来说车不是很大，但是空间不小，单档电磁变速箱基本上也是用了好几年了。
试驾的时候是试驾的最高配，因为有方向盘偏离抑制，所以一直有抢手的感觉，其他底盘油门刹车也是传统车企的感觉。

下定

最后还是定了五菱星光S，虽然可能会停产，可能会降价，但是因为这个车和宝骏还有星辰星光有很多通用件，至少售后维修保养都没啥问题，店也多。
当然一定要评分的话，按照重要级别从上往下：

• 非隐藏车把手（对，就是这么重要）
• 成熟的动力系统
• 快慢充
• 较大的空间
• 没有天窗（海南雨水多，天窗比较容易漏水）
• 售后维修

买的中配，10.98，减了交强险的钱，合同上好像是10.7950，保险大概5500，上牌500，其他优惠一概没有，8月3号定的车，8月26号才拿到。

后记

9月9号从深圳出发去海口，因为autohold时误触油门，追尾了前面的威兰达，前保险杠和支架更换。开到湛江后沈海高速封闭，在国道上堵了一晚上，也是第一次在车上过夜睡觉，9月10号10点才上船（原本买的时9号晚上10点的船票）
9月中，压到村里土路上树枝，车门被碰出个凹坑和一条很长的划痕
9月底在定安小区因为避让行人，右侧叶子板和保险杠撞到小区大铁门（那时保险杠还没换，所以只是自费修了叶子板，钣金喷漆一共300）

到现在开了三千多公里了，大概在70~80的时速如果是HEV模式的话发动机介入直驱会有一点顿挫感，低速状态下发动机介入发电时声音比较大，方向盘都在震动。
还有一些车门不太好关，漆面有水痕，座椅感觉有点硬之类的，没什么其他问题，希望能用久一点（花2000块钱买了终身每月100G流量包）

上周从南山的星海名城搬到石岩塘头的嘉利大厦，已经住了一周左右，说说感受怎么样。

价格和面积

在星海名城租的是大概50平米的小两房，价格5600，不含家具和家电
石岩这里大概3500，大概100平的三房，基本生活配套的家具家电都有

出行

星海名城旁边就是地铁站，将来中山公园也会开通地铁站，不过我一般出行都是骑电瓶车。
星海名城充电的位置比较少，一般只有白天才有空位充电，石岩这边好像一直都有空位，价格都是一样0.5元每小时
嘉利大厦因为在工业园里面，没有公交车，坐地铁只能到5公里外的上屋，13号线开通后大概1.5公里会有应人石站。

如果开车的话，星海名城根本找不到停车位，但是出门就是107国道和北环，出行还是很方便的。嘉利大厦停车场空位比较多，一个月停车费200块钱，而且停车场还有充电桩，也非常方便，出工业园就是松白路，上高速很快。

环境

星海名城因为户数以及楼层高，三部电梯特别繁忙，就算不是上下班的时候可能也要等很久，但是嘉利大厦虽然也是大概30层，每层10户，可它有4部电梯，而且因为大部分是住家的家庭，所以电梯没有那么繁忙。

星海名城因为靠近月亮湾大道，而且附近有学校，并且有航线在附近，所以晚上还是有一点噪音，不过这些都能接受，比较难以接受的是：1、楼上的小朋友比较吵，经常半夜咚咚咚，2、楼下的停车场经常一大早有车拼命按喇叭把人吵醒。
石岩这边主要噪音来源是楼下的工业园，旁边住户的空调的声音，以及楼下偶尔会有货车发动机的轰鸣，汽车喇叭声几乎没有听到过，可能因为比较偏僻，旁边什么都没有，关上窗户还算比较容易入睡，虽然没有罗租半夜那么安静（整体比罗租安静，没有广场舞，没有人在楼下吵闹）

因为嘉利大厦后面就是铁岗水库，而且东面阳台山，北面完全无遮挡，从早到晚都有从南面吹来的风，非常舒服，而且平时温度比其他地方大概低两度，很凉快。（今天天气预报30度，屋里最高只有28度）

购物

星海名城附近有天虹，欢乐颂，山姆，盒马，美团买菜送菜也很快，几乎不需要出门买菜。
嘉利大厦在工业园里面，美团买菜不送，朴朴和叮咚也不送，饿了么商超有人人乐可以送，但是东西不是很齐全，而且这家在创维的人人乐快倒闭了。一般去买菜去旁边的东海百货，大概一公里多点，骑电瓶车还是很快的。工业园里面也有几家超市，但是都不是很新鲜，也没什么人买，毕竟厂里打工要么吃快餐要么吃食堂。

整体评价

嘉利大厦的环境，房型非常之不错，平时开着阳台的门，几乎看不到地板上有飘进来的絮丝，在罗租只要开阳台门，一天就会飘进来很多。虽然购物不是很方便，但是不影响这里是个生活的好地方。石岩很少有像这里停车方便而且一点都不热闹的地方了。二手房大概100w多点，以后可能会考虑买一套吧，感觉比罗租那里舒服很多。

一个人在家的时候，比较懒炒菜，一般吃的要么是煮的要么是蒸的。
准备好食材丢锅里，然后定个倒计时，时间到了就能开吃了。

最近只集中做了两个菜：

1. 白灼虾，试了好几种做法（400g九节虾）
   a). 水将要烧开时（锅底出现很多小泡泡）放虾，水开后捞出
   b). 水开后放虾，60秒后捞出
   c). 水开后放虾，30秒后捞出
   a，肉大一点的地方感觉中间没有完全熟，但是口感还可以，b，有点老，c，还是有点老。
   下次试试多加料酒来调整沸点
2. 蒸肉饼汤（追求爽弹的口感）
   因为蒸锅放不下太大的碗，所以一开始都是放在炒锅里隔水炖，不过特别容易老，目前是大火5分钟，开盖小火10分钟，锅中水不宜过多，贴底就可以，不然特别容易蒸老。
   如果是用蒸锅的话，大概大火蒸个15分钟开盖就行了，或者蒸10分钟再焖一会。15分钟是极限，15分钟以下开盖基本上还不太熟。

这两个都还有很多实验的空间，虽然很想试试低点的温度，但是感觉太耗时间了，希望能找到15分钟内闭着眼睛都能搞定的办法。

最近看完的书大部分和lisp有关系：

1. 《Build Your Own Lisp》
2. 《The Common Lisp Cookbook》
3. 《Let Over Lambda 中文版》
4. 《Extending a Language — Writing Powerful Macros in Scheme》

Lisp和scheme的语法差不多，但是除了宏以外还有一个最明显的区别，(cdr '())会计算出不同的东西。

SBCL
* (cdr '())
NIL
* (cdr nil)
NIL
*

ChezScheme
> (cdr '())
Exception in cdr: () is not a pair

Lisp的做法可以让代码更简洁，但是scheme的看起来更直观，比如

(cond ((cdr (lookup lat a)) ...)
...
)

Lisp对返回的空的list就能直接返回，而scheme会返回错误，因为空的lisp不能应用cdr，但是scheme有带参数的cond跳转。我个人觉得scheme更自洽一点，毕竟'()不是一个特殊的值。

想看完的还是两本，才看了一半
《SICP》
《EOPL》
闲暇的时候翻翻下面的书
《scheme 9 from empty space》
《Software Design for Flexibility》
《Lisp in Small Pieces》

其实最感兴趣的还是VM的编译和实现，似乎现在很少有这方面的书籍
ribbit我已经移植到esp32上面了，但是怎么实现像fasl一样的东西还是没什么头绪，虽然vm部分实现很简单，但是scheme的编译器部分几乎都没有什么注释。