就刚才，发现现在这个blog无法访问，浏览器一直转圈圈，没有加载出任何东西。
caddy里面没有访问的日志，抓了下包发现443有包，来回的都有，那应该还是php-fpm的问题。

上次也是同样的问题，只要把php-fpm重启就好了，然后把max child调大了，但是现在child加起来应该只有几十个，距离设定的128还差很远。

在网上搜了一下，没有发现有人说相似的问题，FreeBSD+caddy+php-fpm，不知道是连接数量限制还是什么原因，但是都没有日志出来，不过有其他IP访问的日志，说明caddy还在干活。

不想折腾，于是装上nginx算了，caddy就是证书比较方便，不过加个acme.sh也不是什么麻烦事。

照例感慨一下，如果自己不懂的东西，可能真的懒得追究是什么原因了，直接换最方便。

买了车，然后买了一堆有的没的，脚垫啊，后备箱的箱子啊，充电延长线，放电枪，打气筒啥的。
不过花的最多的还是洗车的东西，打气筒我都只愿意买10块钱的，结果高压水枪买了个三百的，充满电只能用二三十分钟。
但是！看着枪口喷射出绵密的泡沫的时候，感觉很好玩，而且洗完之后很有成就感。
先看看买了啥：

1. 抹布若干，双色的抹布，小辫子收水抹布，麂皮抹布擦玻璃，华夫格抹布擦玻璃，还有个洗车手套是送的
2. 洗车拖把
3. 洗车刷子，一个仿羊毛刷轮毂，一个尼龙的刷轮毂内衬
4. PA壶，一个送的，一个台州壶，台洲壶感觉还是蛮好用的，泡沫打出来量很大
5. 高压洗车机，送了pa壶，折叠水桶，自带一电一充
6. 洗车液两瓶，一瓶正洗一瓶预洗，不过感觉没多大区别，后来就正洗预洗都用一个，懒得换
7. 液体车蜡

现在洗车的流程基本是这样

1. 用水枪，40度扇形水喷一遍，软化泥沙和给车降温
2. 打一遍预洗泡沫挂流
3. 用羊毛刷刷轮毂和轮胎
4. 15度扇形水冲掉泡沫
5. 再打一次泡沫
6. 用洗车拖把从上到下洗
7. 再冲干净
8. 毛巾收水

不过现在感觉用洗车拖把容易刮花车漆，下次还是要用洗车手套

今天跟着老婆一家人去军坡，在龙门镇，离东山镇大概40公里左右。
早上大概10点半多出发，开了差不多一个小时，眼看快到了，结果预计到达时间越来长，快到终点一看，完全堵死了，感觉来的人还不少，据本地人说往年没这么多人，看来是赶了个大热闹。
军坡是海南特有的习俗，军坡的意思是每个村的生日（据老婆大人所描述的），在这个日子村里的每家都要出来招待其他村里来做客的人。（后来我翻阅网上资料，公期，婆期，军坡都是祭祀先祖或者神灵的，境主洞主则是本地的神灵）
（吃完饭还领了个红包，居然有200块钱）
去的时候也不用特意带什么东西，泰山大人说只要拿一箱饮料，所以过去的时候，路边有很多临时摆的摊，卖饮料和鞭炮等等。
听说晚上还有跳大神，据抖音上说请神上身都是演的，我觉得也是，和董卿给刘谦老师当托一样，得自己承认才算数，自己不承认都只是别人瞎猜，说不得准，娱乐娱乐也很开心，老这么较真还怎么玩。
中午等了一会，就在东家家里开席，主菜是一大锅羊肉汤，羊肉吃没了东家就会一直加，配菜是木薯块和南瓜叶，还有一些羊杂，羊蹄之类的，应该是本地的东山羊，没什么膻味，肉很嫩，羊蹄刚开始吃的时候嚼起来还蛮费劲，等炖煮了十几二十分钟之后也嫩嫩滑滑的很好吃。
另外白切鸡和鸡杂炒四季豆也是必不可少的，还有烧鸭和烧猪蹄，个人觉得四季豆炒的蛮好吃，脆脆的，不知道是不是没完全熟，吃完后有点窜稀，但是真的好吃，老婆家里也经常做这个菜，鸡杂炒四季豆，不过四季豆会炒的更软更入味一些。
所以这么看，其实东山镇和定安的吃食更接近，基本上节日有招待客人也是差不多的菜，就比如鸡煲，韭菜炒红豆，四季豆鸡杂，还有鱼火锅（清水下鱼煮，熟了捞出来蘸酱油吃）。

BIT
http://www2.ift.ulaval.ca/~dadub100/files/Scheme00.pdf
https://www.iro.umontreal.ca/~feeley/papers/DubeFeeleyHOSC05.pdf

PICBIT
http://www2.ift.ulaval.ca/~dadub100/files/Scheme03.pdf

PICOBIT
https://www.ccs.neu.edu/home/stamourv/slides/picobit-ifl09.pdf
https://www.ccs.neu.edu/home/stamourv/papers/picobit.pdf

RIBBIT
https://www.iro.umontreal.ca/~feeley/papers/YvonFeeleyVMIL21.pdf
https://www.iro.umontreal.ca/~feeley/papers/OLearyFeeleyMOREVMS23.pdf
https://arxiv.org/pdf/2310.13589

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

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

更新一下，Spring 2025的课程在4月已经结束了，我抓取了此时的快照，放在github上，方便不时之需：
CMU5150/Snapshot@20250429