- 21:00~03:59 learn: [ocalm and F*](#20241226210000)

release/time/d.20241226.md

@@ -1,16 +1,60 @@
 # 2024.12.26.
-日计划
+日小结
 
+<a id="top"></a>
 根据[ego模型时间接口](https://gitee.com/hyg/blog/blob/master/timeflow.md)，十二月中上旬补足前两月缺勤。今天绑定模版1(1f)。
 
-| 时间片 | 时长 | 用途 | 手稿 |
-| --- | --- | :---: | --- |
-| 15:47~16:01 | 15 | 休整 |  |
-| 16:02~17:01 | 60 | 备餐、运动 |  |
-| 17:02~17:46 | 45 | 晚餐 |  |
-| 17:47~18:31 | 45 | 会议、自习 |  |
-| 18:32~19:31 | 60 | 休整 |  |
-| 19:32~20:31 | 60 | 讨论、整理提交 |  |
+<a id="index"></a>
+- 21:00~03:59	learn: [ocalm and F*](#20241226210000)
 
 ---
+season stat:
 
+| task | alloc | sold | hold | todo |
+| :---: | ---: | ---: | ---: | ---: |
+| total | 13530 | 5913 | 7617 | 5340 |
+| PSMD | 4000 | 1745 | 2255 | 1020 |
+| ego | 2530 | 1721 | 809 | 945 |
+| infra | 2000 | 250 | 1750 | 315 |
+| xuemen | 1000 | 485 | 515 | 450 |
+| raw | 1000 | 767 | 233 | 420 |
+| learn | 2000 | 935 | 1065 | 1320 |
+| js | 1000 | 10 | 990 | 870 |
+
+---
+waiting list:
+
+
+- 30分钟时间片：
+  - learn的第1号事项：axios爬虫
+  - js的第1号事项：考虑sql.js是否使用。
+  - raw的第1号事项：2025版管理excel
+
+- 60分钟时间片：
+  - PSMD的第1号事项：整理近期讨论，按照新版manifest text提炼几个有代表性的场景。
+  - ego的第1号事项：整理季度任务
+  - infra的第2号事项：范例--利用js模块组合实现合同条款的组合。
+  - learn的第2号事项：wordpress install and config
+
+- 90分钟时间片：
+  - PSMD的第2号事项：整理default模型
+  - learn的第3号事项：飞书 nodejs sdk
+  - raw的第4号事项：整理代码，理顺food.js几个成员函数之间的调用关系
+  - PSMD的第5号事项：整理新版本term的manifest code
+
+- 195分钟时间片：
+  - infra的第1号事项：schema立项。
+  - xuemen的第1号事项：kernel模型升级
+  - xuemen的第2号事项：重新设计S2状态下的学门基本管理制度
+  - PSMD的第4号事项：machines model
+
+---
+<a href="mailto:huangyg@mars22.com?subject=关于2024.12.26.[ocalm and F*]任务&body=日期: 2024.12.26.%0D%0A序号: 6%0D%0A手稿:../../draft/2024/12/20241226.a.md%0D%0A---请勿修改邮件主题及以上内容 从下一行开始写您的想法---%0D%0A">[email]</a> | [top](#top) | [index](#index)
+<a id="20241226210000"></a>
+## 21:00 ~ 03:59
+# 01:00~01:45
+ocaml and F*
+
+- https://ocaml.org.cn/docs/tour-of-ocaml
+- https://fstar-lang.org/
+- https://fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf