deploy: c5a7c0e217a91c05e60b492bc0e944ce73531c17

4 files changed, 168 insertions, 60 deletions

diff --git a/archives/2023/08/index.html b/archives/2023/08/index.html
index 385fd541..27ca5aa7 100644
--- a/archives/2023/08/index.html
+++ b/archives/2023/08/index.html
@@ -130,6 +130,60 @@
 
         <div class="post-list-item">
             <div class="post-title">
+            <a href="/2023/08/15/tick-thread%E5%9C%A8Multicore-OCaml%E4%B8%AD%E7%9A%84%E4%BD%9C%E7%94%A8/">
+                
+                    tick thread在Multicore OCaml中的作用
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Aug 15, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
+            <a href="/2023/08/15/poll-error-attribute-in-OCaml/">
+                
+                    使用 [@poll error] 实现线程安全的数据结构
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Aug 15, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
+            <a href="/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/">
+                
+                    Typed Design Patterns for the Functional Era
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Aug 15, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
             <a href="/2023/08/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%B8%80%E6%97%A5/">
                 
                     二〇二三年八月一日
diff --git a/archives/2023/index.html b/archives/2023/index.html
index 4477e224..9ad3eff8 100644
--- a/archives/2023/index.html
+++ b/archives/2023/index.html
@@ -130,14 +130,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/08/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%B8%80%E6%97%A5/">
+            <a href="/2023/08/15/tick-thread%E5%9C%A8Multicore-OCaml%E4%B8%AD%E7%9A%84%E4%BD%9C%E7%94%A8/">
                 
-                    二〇二三年八月一日
+                    tick thread在Multicore OCaml中的作用
                 
                 </a> 
             </div>
             
-            <span class="post-date">Aug 1, 2023</span>
+            <span class="post-date">Aug 15, 2023</span>
         </div>
 
     
@@ -148,14 +148,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/07/30/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%83%E6%9C%88%E4%B8%89%E5%8D%81%E6%97%A5/">
+            <a href="/2023/08/15/poll-error-attribute-in-OCaml/">
                 
-                    二零二三年七月三十日
+                    使用 [@poll error] 实现线程安全的数据结构
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jul 30, 2023</span>
+            <span class="post-date">Aug 15, 2023</span>
         </div>
 
     
@@ -166,14 +166,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/07/26/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%83%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
+            <a href="/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/">
                 
-                    二〇二三年七月二十六日
+                    Typed Design Patterns for the Functional Era
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jul 26, 2023</span>
+            <span class="post-date">Aug 15, 2023</span>
         </div>
 
     
@@ -184,14 +184,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/">
+            <a href="/2023/08/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%B8%80%E6%97%A5/">
                 
-                    二〇二三年六月二十九日
+                    二〇二三年八月一日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 29, 2023</span>
+            <span class="post-date">Aug 1, 2023</span>
         </div>
 
     
@@ -202,14 +202,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/28/OOP-Visitors%E5%9C%A8Polymorphic%E6%83%85%E5%86%B5%E4%B8%8B%E7%9A%84%E7%B1%BB%E5%9E%8B%E9%94%99%E8%AF%AF/">
+            <a href="/2023/07/30/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%83%E6%9C%88%E4%B8%89%E5%8D%81%E6%97%A5/">
                 
-                    OOP Visitors在Polymorphic情况下的类型错误
+                    二零二三年七月三十日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 28, 2023</span>
+            <span class="post-date">Jul 30, 2023</span>
         </div>
 
     
@@ -220,14 +220,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/28/%E9%9A%90%E8%97%8F%E4%B8%80%E4%BA%9BOCaml-Effect%E7%9A%84%E6%9C%BA%E5%88%B6%EF%BC%8C%E8%AE%A9%E5%85%B6%E8%AF%AD%E6%B3%95%E5%9C%A8%E7%B2%BE%E7%A5%9E%E4%B8%8A%E6%9B%B4%E6%8E%A5%E8%BF%91delimcc/">
+            <a href="/2023/07/26/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%83%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
                 
-                    隐藏一些OCaml Effect的机制，让其语法在精神上更接近delimcc
+                    二〇二三年七月二十六日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 28, 2023</span>
+            <span class="post-date">Jul 26, 2023</span>
         </div>
 
     
@@ -238,14 +238,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/28/caml-release-runtime-system%E5%AF%BC%E8%87%B4%E7%9A%84%E6%AD%BB%E9%94%81%E9%97%AE%E9%A2%98/">
+            <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/">
                 
-                    caml_release_runtime_system导致的死锁问题
+                    二〇二三年六月二十九日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 28, 2023</span>
+            <span class="post-date">Jun 29, 2023</span>
         </div>
 
     
@@ -256,14 +256,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/22/%E7%81%AF%E7%AC%BC%E8%8D%89/">
+            <a href="/2023/06/28/OOP-Visitors%E5%9C%A8Polymorphic%E6%83%85%E5%86%B5%E4%B8%8B%E7%9A%84%E7%B1%BB%E5%9E%8B%E9%94%99%E8%AF%AF/">
                 
-                    灯笼草
+                    OOP Visitors在Polymorphic情况下的类型错误
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 22, 2023</span>
+            <span class="post-date">Jun 28, 2023</span>
         </div>
 
     
@@ -274,14 +274,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/17/%E5%8F%91%E7%83%AD%E5%8F%8A%E8%B6%85%E9%AB%98%E7%83%AD%E5%8D%B1%E8%B1%A1/">
+            <a href="/2023/06/28/%E9%9A%90%E8%97%8F%E4%B8%80%E4%BA%9BOCaml-Effect%E7%9A%84%E6%9C%BA%E5%88%B6%EF%BC%8C%E8%AE%A9%E5%85%B6%E8%AF%AD%E6%B3%95%E5%9C%A8%E7%B2%BE%E7%A5%9E%E4%B8%8A%E6%9B%B4%E6%8E%A5%E8%BF%91delimcc/">
                 
-                    发热及超高热危象
+                    隐藏一些OCaml Effect的机制，让其语法在精神上更接近delimcc
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 17, 2023</span>
+            <span class="post-date">Jun 28, 2023</span>
         </div>
 
     
@@ -292,14 +292,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/06/10/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E5%8D%81%E6%97%A5/">
+            <a href="/2023/06/28/caml-release-runtime-system%E5%AF%BC%E8%87%B4%E7%9A%84%E6%AD%BB%E9%94%81%E9%97%AE%E9%A2%98/">
                 
-                    二零二三年六月十日
+                    caml_release_runtime_system导致的死锁问题
                 
                 </a> 
             </div>
             
-            <span class="post-date">Jun 10, 2023</span>
+            <span class="post-date">Jun 28, 2023</span>
         </div>
 
     
diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html
index 509a509a..2ca3e586 100644
--- a/archives/2023/page/2/index.html
+++ b/archives/2023/page/2/index.html
@@ -130,14 +130,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/04/25/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%94%E6%97%A5/">
+            <a href="/2023/06/22/%E7%81%AF%E7%AC%BC%E8%8D%89/">
                 
-                    二零二三年四月二十五日
+                    灯笼草
                 
                 </a> 
             </div>
             
-            <span class="post-date">Apr 25, 2023</span>
+            <span class="post-date">Jun 22, 2023</span>
         </div>
 
     
@@ -148,14 +148,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/04/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">
+            <a href="/2023/06/17/%E5%8F%91%E7%83%AD%E5%8F%8A%E8%B6%85%E9%AB%98%E7%83%AD%E5%8D%B1%E8%B1%A1/">
                 
-                    二零二三年四月二十二日
+                    发热及超高热危象
                 
                 </a> 
             </div>
             
-            <span class="post-date">Apr 22, 2023</span>
+            <span class="post-date">Jun 17, 2023</span>
         </div>
 
     
@@ -166,14 +166,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/14/%E8%9E%BA%E5%86%85%E9%85%AF%E7%89%87/">
+            <a href="/2023/06/10/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E5%8D%81%E6%97%A5/">
                 
-                    螺内酯片
+                    二零二三年六月十日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 14, 2023</span>
+            <span class="post-date">Jun 10, 2023</span>
         </div>
 
     
@@ -184,14 +184,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/14/%E5%91%8B%E5%A1%9E%E7%B1%B3/">
+            <a href="/2023/04/25/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%94%E6%97%A5/">
                 
-                    呋塞米
+                    二零二三年四月二十五日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 14, 2023</span>
+            <span class="post-date">Apr 25, 2023</span>
         </div>
 
     
@@ -202,14 +202,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/">
+            <a href="/2023/04/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">
                 
-                    替米沙坦
+                    二零二三年四月二十二日
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 13, 2023</span>
+            <span class="post-date">Apr 22, 2023</span>
         </div>
 
     
@@ -220,14 +220,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/">
+            <a href="/2023/03/14/%E8%9E%BA%E5%86%85%E9%85%AF%E7%89%87/">
                 
-                    奥司他韦
+                    螺内酯片
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 5, 2023</span>
+            <span class="post-date">Mar 14, 2023</span>
         </div>
 
     
@@ -238,14 +238,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/04/%E9%87%91%E5%8C%AE%E8%A6%81%E7%95%A5/">
+            <a href="/2023/03/14/%E5%91%8B%E5%A1%9E%E7%B1%B3/">
                 
-                    金匮要略
+                    呋塞米
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 4, 2023</span>
+            <span class="post-date">Mar 14, 2023</span>
         </div>
 
     
@@ -256,14 +256,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/01/%E6%B0%94%E8%83%B8/">
+            <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/">
                 
-                    气胸
+                    替米沙坦
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 1, 2023</span>
+            <span class="post-date">Mar 13, 2023</span>
         </div>
 
     
@@ -274,14 +274,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/03/01/%E7%BA%AF%E7%89%9B%E5%A5%B6%E5%8F%AF%E4%BB%A5%E5%8A%A0%E7%82%B9%E5%95%A5/">
+            <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/">
                 
-                    纯牛奶可以加点啥
+                    奥司他韦
                 
                 </a> 
             </div>
             
-            <span class="post-date">Mar 1, 2023</span>
+            <span class="post-date">Mar 5, 2023</span>
         </div>
 
     
@@ -292,14 +292,14 @@
 
         <div class="post-list-item">
             <div class="post-title">
-            <a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
+            <a href="/2023/03/04/%E9%87%91%E5%8C%AE%E8%A6%81%E7%95%A5/">
                 
-                    二零二三年二月二十六日
+                    金匮要略
                 
                 </a> 
             </div>
             
-            <span class="post-date">Feb 26, 2023</span>
+            <span class="post-date">Mar 4, 2023</span>
         </div>
 
     
diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html
index 73807c59..4fdca286 100644
--- a/archives/2023/page/3/index.html
+++ b/archives/2023/page/3/index.html
@@ -130,6 +130,60 @@
 
         <div class="post-list-item">
             <div class="post-title">
+            <a href="/2023/03/01/%E6%B0%94%E8%83%B8/">
+                
+                    气胸
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Mar 1, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
+            <a href="/2023/03/01/%E7%BA%AF%E7%89%9B%E5%A5%B6%E5%8F%AF%E4%BB%A5%E5%8A%A0%E7%82%B9%E5%95%A5/">
+                
+                    纯牛奶可以加点啥
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Mar 1, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
+            <a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
+                
+                    二零二三年二月二十六日
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Feb 26, 2023</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
             <a href="/2023/02/25/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%94%E6%97%A5/">
                 
                     二零二三年二月二十五日