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

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

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

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

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

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