From bc8b22bef87e3674217f3524e137c42eae145f13 Mon Sep 17 00:00:00 2001
From: muqiuhan <muqiuhan@users.noreply.github.com>
Date: Wed, 19 Mar 2025 13:32:03 +0000
Subject: deploy: cc170f9aeb83babd57b54a51bf7960944e4f9eb1

---
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 "2023/03/01/\346\260\224\350\203\270/index.html"   |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../08/15/poll-error-attribute-in-OCaml/index.html |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../28/A-Brief-History-of-Just-In-Time/index.html  |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 2023/11/16/Fever-of-Unknown-Origin/index.html      |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 2024/01/08/OCaml-News-2024-1/index.html            |   1 +
 2024/01/18/OCaml-News-2024-2/index.html            |   1 +
 2024/01/22/Rescript-React-Native/index.html        |   1 +
 2024/01/23/G-Machine/index.html                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 2024/02/26/OCaml-News-2024-3/index.html            |   1 +
 .../index.html"                                    |   1 +
 2024/04/03/shadow-cljs-proxy/index.html            |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 2024/06/27/OCaml-News-2024-5/index.html            |   1 +
 .../index.html"                                    |   1 +
 2024/07/01/OCaml-News-2024-4/index.html            |   1 +
 .../index.html"                                    |   1 +
 2024/07/23/OCaml-News-2024-6/index.html            |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../Turborepo-\347\256\200\350\277\260/index.html" |   1 +
 .../index.html"                                    |   1 +
 .../index.html                                     |   1 +
 .../index.html                                     |   1 +
 .../index.html                                     |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 2024/12/15/OCaml-News-2024-7/index.html            |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../19/Repository-pattern-in-Typescript/index.html |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 .../index.html"                                    |   1 +
 about.html                                         |   1 +
 archives/2020/12/index.html                        |   1 +
 archives/2020/index.html                           |   1 +
 archives/2021/02/index.html                        |   1 +
 archives/2021/03/index.html                        |   1 +
 archives/2021/index.html                           |   1 +
 archives/2022/01/index.html                        |   1 +
 archives/2022/03/index.html                        |   1 +
 archives/2022/08/index.html                        |   1 +
 archives/2022/09/index.html                        |   1 +
 archives/2022/10/index.html                        |   1 +
 archives/2022/11/index.html                        |   1 +
 archives/2022/12/index.html                        |   1 +
 archives/2022/index.html                           |   1 +
 archives/2023/01/index.html                        |   1 +
 archives/2023/02/index.html                        |   1 +
 archives/2023/03/index.html                        |   1 +
 archives/2023/04/index.html                        |   1 +
 archives/2023/05/index.html                        |   1 +
 archives/2023/06/index.html                        |   1 +
 archives/2023/07/index.html                        |   1 +
 archives/2023/08/index.html                        |   1 +
 archives/2023/09/index.html                        |   1 +
 archives/2023/10/index.html                        |   1 +
 archives/2023/11/index.html                        |   1 +
 archives/2023/12/index.html                        |   1 +
 archives/2023/index.html                           |   1 +
 archives/2023/page/2/index.html                    |   1 +
 archives/2023/page/3/index.html                    |   1 +
 archives/2023/page/4/index.html                    |   1 +
 archives/2023/page/5/index.html                    |   1 +
 archives/2023/page/6/index.html                    |   1 +
 archives/2024/01/index.html                        |   1 +
 archives/2024/02/index.html                        |   1 +
 archives/2024/03/index.html                        |   1 +
 archives/2024/04/index.html                        |   1 +
 archives/2024/05/index.html                        |   1 +
 archives/2024/06/index.html                        |   1 +
 archives/2024/07/index.html                        |   1 +
 archives/2024/08/index.html                        |   1 +
 archives/2024/09/index.html                        |   1 +
 archives/2024/10/index.html                        |   1 +
 archives/2024/11/index.html                        |   1 +
 archives/2024/12/index.html                        |   1 +
 archives/2024/index.html                           |   1 +
 archives/2024/page/2/index.html                    |   1 +
 archives/2024/page/3/index.html                    |   1 +
 archives/2024/page/4/index.html                    |   1 +
 archives/2024/page/5/index.html                    |   1 +
 archives/2025/01/index.html                        |   1 +
 archives/2025/02/index.html                        |   1 +
 archives/2025/03/index.html                        |   1 +
 archives/2025/index.html                           |   1 +
 archives/index.html                                |   1 +
 archives/page/10/index.html                        |   1 +
 archives/page/11/index.html                        |   1 +
 archives/page/12/index.html                        |   1 +
 archives/page/2/index.html                         |   1 +
 archives/page/3/index.html                         |   1 +
 archives/page/4/index.html                         |   1 +
 archives/page/5/index.html                         |   1 +
 archives/page/6/index.html                         |   1 +
 archives/page/7/index.html                         |   1 +
 archives/page/8/index.html                         |   1 +
 archives/page/9/index.html                         |   1 +
 categories/gallery/index.html                      |   1 +
 categories/gallery/page/2/index.html               |   1 +
 categories/gallery/page/3/index.html               |   1 +
 categories/gallery/page/4/index.html               |   1 +
 categories/gallery/page/5/index.html               |   1 +
 index.html                                         |   1 +
 page/10/index.html                                 |   1 +
 page/11/index.html                                 |   1 +
 page/12/index.html                                 |   1 +
 page/2/index.html                                  |   1 +
 page/3/index.html                                  |   1 +
 page/4/index.html                                  |   1 +
 page/5/index.html                                  |   1 +
 page/6/index.html                                  |   1 +
 page/7/index.html                                  |   1 +
 page/8/index.html                                  |   1 +
 page/9/index.html                                  |   1 +
 search.xml                                         | 138 ++++++++++-----------
 tag/index.html                                     |   1 +
 tags/Archive/index.html                            |   1 +
 tags/Clojure/index.html                            |   1 +
 tags/ClojureScript/index.html                      |   1 +
 tags/Compilation/index.html                        |   1 +
 tags/Database/index.html                           |   1 +
 tags/Design/index.html                             |   1 +
 tags/F/index.html                                  |   1 +
 tags/Life/index.html                               |   1 +
 tags/Life/page/2/index.html                        |   1 +
 tags/Medicine/index.html                           |   1 +
 tags/Medicine/page/2/index.html                    |   1 +
 tags/Medicine/page/3/index.html                    |   1 +
 tags/Music/index.html                              |   1 +
 tags/OCaml/index.html                              |   1 +
 tags/OCaml/page/2/index.html                       |   1 +
 tags/Obsidian/index.html                           |   1 +
 tags/Rescript/index.html                           |   1 +
 tags/Rust/index.html                               |   1 +
 tags/Software-Engineering/index.html               |   1 +
 tags/Techinique/index.html                         |   1 +
 tags/Technique/index.html                          |   1 +
 tags/Technique/page/2/index.html                   |   1 +
 tags/Technique/page/3/index.html                   |   1 +
 tags/Technique/page/4/index.html                   |   1 +
 tags/TypeScript/index.html                         |   1 +
 tags/Typescript/index.html                         |   1 +
 tags/UI-UX/index.html                              |   1 +
 tags/Web/index.html                                |   1 +
 228 files changed, 296 insertions(+), 69 deletions(-)

diff --git "a/2020/12/08/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\345\205\253\346\227\245/index.html" "b/2020/12/08/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\345\205\253\346\227\245/index.html"
index 642ac107..c365c25f 100644
--- "a/2020/12/08/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\345\205\253\346\227\245/index.html"
+++ "b/2020/12/08/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\345\205\253\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2020/12/09/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\271\235\346\227\245/index.html" "b/2020/12/09/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\271\235\346\227\245/index.html"
index 7114226e..78e8add8 100644
--- "a/2020/12/09/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\271\235\346\227\245/index.html"
+++ "b/2020/12/09/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\271\235\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2020/12/26/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" "b/2020/12/26/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
index b694bb9f..a6187454 100644
--- "a/2020/12/26/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
+++ "b/2020/12/26/\344\272\214\351\233\266\344\272\214\351\233\266\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2021/02/14/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\233\233\346\227\245/index.html" "b/2021/02/14/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
index 457e5749..f17ecdef 100644
--- "a/2021/02/14/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
+++ "b/2021/02/14/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2021/02/16/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\205\255\346\227\245/index.html" "b/2021/02/16/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
index 31428e1a..ca2f61f4 100644
--- "a/2021/02/16/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
+++ "b/2021/02/16/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\272\214\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2021/03/15/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\345\215\201\344\272\224\346\227\245/index.html" "b/2021/03/15/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\345\215\201\344\272\224\346\227\245/index.html"
index 8886e6c9..9282c8a1 100644
--- "a/2021/03/15/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\345\215\201\344\272\224\346\227\245/index.html"
+++ "b/2021/03/15/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\345\215\201\344\272\224\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2021/03/27/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html" "b/2021/03/27/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
index 3b3f3e1f..32da3e9b 100644
--- "a/2021/03/27/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2021/03/27/\344\272\214\351\233\266\344\272\214\344\270\200\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/01/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\200\346\234\210\344\270\200\346\227\245/index.html" "b/2022/01/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\200\346\234\210\344\270\200\346\227\245/index.html"
index eb08ac87..d95112f3 100644
--- "a/2022/01/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\200\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2022/01/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\200\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/03/14/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\211\346\234\210\345\215\201\345\233\233\346\227\245/index.html" "b/2022/03/14/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\211\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
index 3c5279f4..850294ed 100644
--- "a/2022/03/14/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\211\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
+++ "b/2022/03/14/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\270\211\346\234\210\345\215\201\345\233\233\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/08/21/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html" "b/2022/08/21/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
index 9b7f2c00..72b080c1 100644
--- "a/2022/08/21/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
+++ "b/2022/08/21/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/09/22/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\271\235\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" "b/2022/09/22/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\271\235\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
index 940f973c..e9d383e6 100644
--- "a/2022/09/22/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\271\235\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
+++ "b/2022/09/22/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\344\271\235\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/10/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\346\234\210\344\270\200\346\227\245/index.html" "b/2022/10/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\346\234\210\344\270\200\346\227\245/index.html"
index 2275037a..f979069f 100644
--- "a/2022/10/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2022/10/01/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/11/03/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\270\200\346\234\210\346\234\210\344\270\211\346\227\245/index.html" "b/2022/11/03/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\270\200\346\234\210\346\234\210\344\270\211\346\227\245/index.html"
index 930c01ad..4353087f 100644
--- "a/2022/11/03/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\270\200\346\234\210\346\234\210\344\270\211\346\227\245/index.html"
+++ "b/2022/11/03/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\270\200\346\234\210\346\234\210\344\270\211\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2022/12/31/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\272\214\346\234\210\344\270\211\345\215\201\344\270\200\346\227\245/index.html" "b/2022/12/31/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\272\214\346\234\210\344\270\211\345\215\201\344\270\200\346\227\245/index.html"
index fb6ba9f4..a117b8fb 100644
--- "a/2022/12/31/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\272\214\346\234\210\344\270\211\345\215\201\344\270\200\346\227\245/index.html"
+++ "b/2022/12/31/\344\272\214\351\233\266\344\272\214\344\272\214\345\271\264\345\215\201\344\272\214\346\234\210\344\270\211\345\215\201\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/01/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html" "b/2023/01/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
index e7194b16..f6788bf7 100644
--- "a/2023/01/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
+++ "b/2023/01/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/01/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\270\200\346\227\245/index.html" "b/2023/02/01/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
index b176cde3..d0899959 100644
--- "a/2023/02/01/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2023/02/01/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/02/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\346\227\245/index.html" "b/2023/02/02/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
index 66872b5c..fe4e7e45 100644
--- "a/2023/02/02/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
+++ "b/2023/02/02/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" "b/2023/02/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
index f052ce90..496e578c 100644
--- "a/2023/02/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
+++ "b/2023/02/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/24/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html" "b/2023/02/24/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
index 12353d12..75b1e834 100644
--- "a/2023/02/24/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
+++ "b/2023/02/24/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html" "b/2023/02/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
index 7dfd89b7..8a1f2deb 100644
--- "a/2023/02/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
+++ "b/2023/02/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html" "b/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
index 398299df..98a3b6a9 100644
--- "a/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
+++ "b/2023/02/26/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\205\255\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/01/\346\260\224\350\203\270/index.html" "b/2023/03/01/\346\260\224\350\203\270/index.html"
index 1da25d3b..33fa8f03 100644
--- "a/2023/03/01/\346\260\224\350\203\270/index.html"
+++ "b/2023/03/01/\346\260\224\350\203\270/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html" "b/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html"
index c31f1cd6..3d23d23b 100644
--- "a/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html"
+++ "b/2023/03/01/\347\272\257\347\211\233\345\245\266\345\217\257\344\273\245\345\212\240\347\202\271\345\225\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/04/\351\207\221\345\214\256\350\246\201\347\225\245/index.html" "b/2023/03/04/\351\207\221\345\214\256\350\246\201\347\225\245/index.html"
index 8864c239..98b20698 100644
--- "a/2023/03/04/\351\207\221\345\214\256\350\246\201\347\225\245/index.html"
+++ "b/2023/03/04/\351\207\221\345\214\256\350\246\201\347\225\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/05/\345\245\245\345\217\270\344\273\226\351\237\246/index.html" "b/2023/03/05/\345\245\245\345\217\270\344\273\226\351\237\246/index.html"
index 530947b9..c15cf9be 100644
--- "a/2023/03/05/\345\245\245\345\217\270\344\273\226\351\237\246/index.html"
+++ "b/2023/03/05/\345\245\245\345\217\270\344\273\226\351\237\246/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/13/\346\233\277\347\261\263\346\262\231\345\235\246/index.html" "b/2023/03/13/\346\233\277\347\261\263\346\262\231\345\235\246/index.html"
index ac6c200c..3f08fbc7 100644
--- "a/2023/03/13/\346\233\277\347\261\263\346\262\231\345\235\246/index.html"
+++ "b/2023/03/13/\346\233\277\347\261\263\346\262\231\345\235\246/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/14/\345\221\213\345\241\236\347\261\263/index.html" "b/2023/03/14/\345\221\213\345\241\236\347\261\263/index.html"
index 6e16d0fc..4c80fc3f 100644
--- "a/2023/03/14/\345\221\213\345\241\236\347\261\263/index.html"
+++ "b/2023/03/14/\345\221\213\345\241\236\347\261\263/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/03/14/\350\236\272\345\206\205\351\205\257\347\211\207/index.html" "b/2023/03/14/\350\236\272\345\206\205\351\205\257\347\211\207/index.html"
index 9fdb9fa7..d29711fb 100644
--- "a/2023/03/14/\350\236\272\345\206\205\351\205\257\347\211\207/index.html"
+++ "b/2023/03/14/\350\236\272\345\206\205\351\205\257\347\211\207/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" "b/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
index 25938b66..0d6a7933 100644
--- "a/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
+++ "b/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/04/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html" "b/2023/04/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
index 4b30ca77..705c8250 100644
--- "a/2023/04/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
+++ "b/2023/04/25/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\224\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/04/30/TypeScript-With-Rust-Errors-No-Try-Catch-Heresy/index.html b/2023/04/30/TypeScript-With-Rust-Errors-No-Try-Catch-Heresy/index.html
index af1d2b7c..f9153b89 100644
--- a/2023/04/30/TypeScript-With-Rust-Errors-No-Try-Catch-Heresy/index.html
+++ b/2023/04/30/TypeScript-With-Rust-Errors-No-Try-Catch-Heresy/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/05/01/Rust-\350\231\232\350\241\250\345\270\203\345\261\200\350\247\204\345\210\231\344\273\213\347\273\215/index.html" "b/2023/05/01/Rust-\350\231\232\350\241\250\345\270\203\345\261\200\350\247\204\345\210\231\344\273\213\347\273\215/index.html"
index 1d05ab91..df8e1567 100644
--- "a/2023/05/01/Rust-\350\231\232\350\241\250\345\270\203\345\261\200\350\247\204\345\210\231\344\273\213\347\273\215/index.html"
+++ "b/2023/05/01/Rust-\350\231\232\350\241\250\345\270\203\345\261\200\350\247\204\345\210\231\344\273\213\347\273\215/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/05/02/Rust-Partial-\350\257\255\344\271\211/index.html" "b/2023/05/02/Rust-Partial-\350\257\255\344\271\211/index.html"
index 5c150a7e..a8ffd9a3 100644
--- "a/2023/05/02/Rust-Partial-\350\257\255\344\271\211/index.html"
+++ "b/2023/05/02/Rust-Partial-\350\257\255\344\271\211/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/05/03/Rust-NewType-\346\250\241\345\274\217/index.html" "b/2023/05/03/Rust-NewType-\346\250\241\345\274\217/index.html"
index 8f910837..3c515743 100644
--- "a/2023/05/03/Rust-NewType-\346\250\241\345\274\217/index.html"
+++ "b/2023/05/03/Rust-NewType-\346\250\241\345\274\217/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/05/24/Rust-\351\227\255\345\214\205-lifetime-may-not-live-long-enough-\351\227\256\351\242\230/index.html" "b/2023/05/24/Rust-\351\227\255\345\214\205-lifetime-may-not-live-long-enough-\351\227\256\351\242\230/index.html"
index 83b0ac34..21a0f1f5 100644
--- "a/2023/05/24/Rust-\351\227\255\345\214\205-lifetime-may-not-live-long-enough-\351\227\256\351\242\230/index.html"
+++ "b/2023/05/24/Rust-\351\227\255\345\214\205-lifetime-may-not-live-long-enough-\351\227\256\351\242\230/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/10/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\345\215\201\346\227\245/index.html" "b/2023/06/10/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\345\215\201\346\227\245/index.html"
index 33b674f9..2994521b 100644
--- "a/2023/06/10/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\345\215\201\346\227\245/index.html"
+++ "b/2023/06/10/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\345\215\201\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html" "b/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html"
index ac10a03a..8ef82812 100644
--- "a/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html"
+++ "b/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html" "b/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html"
index dfd328e8..24f14229 100644
--- "a/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html"
+++ "b/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/28/caml-release-runtime-system\345\257\274\350\207\264\347\232\204\346\255\273\351\224\201\351\227\256\351\242\230/index.html" "b/2023/06/28/caml-release-runtime-system\345\257\274\350\207\264\347\232\204\346\255\273\351\224\201\351\227\256\351\242\230/index.html"
index e36d0086..d3942a5e 100644
--- "a/2023/06/28/caml-release-runtime-system\345\257\274\350\207\264\347\232\204\346\255\273\351\224\201\351\227\256\351\242\230/index.html"
+++ "b/2023/06/28/caml-release-runtime-system\345\257\274\350\207\264\347\232\204\346\255\273\351\224\201\351\227\256\351\242\230/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/28/\351\232\220\350\227\217\344\270\200\344\272\233OCaml-Effect\347\232\204\346\234\272\345\210\266\357\274\214\350\256\251\345\205\266\350\257\255\346\263\225\345\234\250\347\262\276\347\245\236\344\270\212\346\233\264\346\216\245\350\277\221delimcc/index.html" "b/2023/06/28/\351\232\220\350\227\217\344\270\200\344\272\233OCaml-Effect\347\232\204\346\234\272\345\210\266\357\274\214\350\256\251\345\205\266\350\257\255\346\263\225\345\234\250\347\262\276\347\245\236\344\270\212\346\233\264\346\216\245\350\277\221delimcc/index.html"
index b77ce85f..43fbf390 100644
--- "a/2023/06/28/\351\232\220\350\227\217\344\270\200\344\272\233OCaml-Effect\347\232\204\346\234\272\345\210\266\357\274\214\350\256\251\345\205\266\350\257\255\346\263\225\345\234\250\347\262\276\347\245\236\344\270\212\346\233\264\346\216\245\350\277\221delimcc/index.html"
+++ "b/2023/06/28/\351\232\220\350\227\217\344\270\200\344\272\233OCaml-Effect\347\232\204\346\234\272\345\210\266\357\274\214\350\256\251\345\205\266\350\257\255\346\263\225\345\234\250\347\262\276\347\245\236\344\270\212\346\233\264\346\216\245\350\277\221delimcc/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/06/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html" "b/2023/06/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
index 424c5382..c8af87e3 100644
--- "a/2023/06/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
+++ "b/2023/06/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/07/21/WiscKey-Separating-Keys-from-Values-in-SSD-conscious-Storage/index.html b/2023/07/21/WiscKey-Separating-Keys-from-Values-in-SSD-conscious-Storage/index.html
index 24aa99ca..d5f21f60 100644
--- a/2023/07/21/WiscKey-Separating-Keys-from-Values-in-SSD-conscious-Storage/index.html
+++ b/2023/07/21/WiscKey-Separating-Keys-from-Values-in-SSD-conscious-Storage/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/07/30/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\203\346\234\210\344\270\211\345\215\201\346\227\245/index.html" "b/2023/07/30/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\203\346\234\210\344\270\211\345\215\201\346\227\245/index.html"
index 9f80e966..f65c17ac 100644
--- "a/2023/07/30/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\203\346\234\210\344\270\211\345\215\201\346\227\245/index.html"
+++ "b/2023/07/30/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\270\203\346\234\210\344\270\211\345\215\201\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html" "b/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
index 90685f30..157299ed 100644
--- "a/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/08/15/poll-error-attribute-in-OCaml/index.html b/2023/08/15/poll-error-attribute-in-OCaml/index.html
index 331dc9d9..f7f80f25 100644
--- a/2023/08/15/poll-error-attribute-in-OCaml/index.html
+++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html" "b/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html"
index 1828b4ca..02daf4d0 100644
--- "a/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html"
+++ "b/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html" "b/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
index 0a48debf..3d4eef5b 100644
--- "a/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
+++ "b/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html" "b/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
index 6f6b2c4b..32f1090d 100644
--- "a/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/09/13/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\271\235\346\234\210\345\215\201\344\270\211\346\227\245/index.html" "b/2023/09/13/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\271\235\346\234\210\345\215\201\344\270\211\346\227\245/index.html"
index 9b53928f..f2ca0166 100644
--- "a/2023/09/13/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\271\235\346\234\210\345\215\201\344\270\211\346\227\245/index.html"
+++ "b/2023/09/13/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\344\271\235\346\234\210\345\215\201\344\270\211\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/09/28/A-Brief-History-of-Just-In-Time/index.html b/2023/09/28/A-Brief-History-of-Just-In-Time/index.html
index 60e03ad9..5f7622a2 100644
--- a/2023/09/28/A-Brief-History-of-Just-In-Time/index.html
+++ b/2023/09/28/A-Brief-History-of-Just-In-Time/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/05/v8\344\270\255\347\232\204Number-toString/index.html" "b/2023/10/05/v8\344\270\255\347\232\204Number-toString/index.html"
index a98b577c..97e3df1a 100644
--- "a/2023/10/05/v8\344\270\255\347\232\204Number-toString/index.html"
+++ "b/2023/10/05/v8\344\270\255\347\232\204Number-toString/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/12/\350\241\200\345\270\270\350\247\204\345\214\226\351\252\214\347\273\223\346\236\234\351\230\205\350\257\273\346\214\207\345\215\227/index.html" "b/2023/10/12/\350\241\200\345\270\270\350\247\204\345\214\226\351\252\214\347\273\223\346\236\234\351\230\205\350\257\273\346\214\207\345\215\227/index.html"
index 5a772ffc..c8c33b67 100644
--- "a/2023/10/12/\350\241\200\345\270\270\350\247\204\345\214\226\351\252\214\347\273\223\346\236\234\351\230\205\350\257\273\346\214\207\345\215\227/index.html"
+++ "b/2023/10/12/\350\241\200\345\270\270\350\247\204\345\214\226\351\252\214\347\273\223\346\236\234\351\230\205\350\257\273\346\214\207\345\215\227/index.html"
@@ -240,6 +240,7 @@ mjx-container[display="true"] + br {
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/12/\350\277\207\345\272\246\347\226\262\345\212\263\347\232\204\345\205\255\347\247\215\350\241\250\347\216\260/index.html" "b/2023/10/12/\350\277\207\345\272\246\347\226\262\345\212\263\347\232\204\345\205\255\347\247\215\350\241\250\347\216\260/index.html"
index d7b548ad..7515c520 100644
--- "a/2023/10/12/\350\277\207\345\272\246\347\226\262\345\212\263\347\232\204\345\205\255\347\247\215\350\241\250\347\216\260/index.html"
+++ "b/2023/10/12/\350\277\207\345\272\246\347\226\262\345\212\263\347\232\204\345\205\255\347\247\215\350\241\250\347\216\260/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/13/\350\202\235\345\212\237\350\203\275\346\243\200\346\237\245\345\214\226\351\252\214\345\215\225/index.html" "b/2023/10/13/\350\202\235\345\212\237\350\203\275\346\243\200\346\237\245\345\214\226\351\252\214\345\215\225/index.html"
index ec662f81..471401e8 100644
--- "a/2023/10/13/\350\202\235\345\212\237\350\203\275\346\243\200\346\237\245\345\214\226\351\252\214\345\215\225/index.html"
+++ "b/2023/10/13/\350\202\235\345\212\237\350\203\275\346\243\200\346\237\245\345\214\226\351\252\214\345\215\225/index.html"
@@ -240,6 +240,7 @@ mjx-container[display="true"] + br {
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/21/OCaml-Core-Int-pow-\347\232\204\345\256\236\347\216\260/index.html" "b/2023/10/21/OCaml-Core-Int-pow-\347\232\204\345\256\236\347\216\260/index.html"
index feb3eabe..1ac5caba 100644
--- "a/2023/10/21/OCaml-Core-Int-pow-\347\232\204\345\256\236\347\216\260/index.html"
+++ "b/2023/10/21/OCaml-Core-Int-pow-\347\232\204\345\256\236\347\216\260/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/22/\345\206\254\345\255\243\345\222\263\345\227\275\350\276\250\345\210\253\346\214\207\345\215\227/index.html" "b/2023/10/22/\345\206\254\345\255\243\345\222\263\345\227\275\350\276\250\345\210\253\346\214\207\345\215\227/index.html"
index 13829a4d..629a7936 100644
--- "a/2023/10/22/\345\206\254\345\255\243\345\222\263\345\227\275\350\276\250\345\210\253\346\214\207\345\215\227/index.html"
+++ "b/2023/10/22/\345\206\254\345\255\243\345\222\263\345\227\275\350\276\250\345\210\253\346\214\207\345\215\227/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/10/25/Radiographic-Absence-of-the-Left-Humeral-Head/index.html b/2023/10/25/Radiographic-Absence-of-the-Left-Humeral-Head/index.html
index c6f761d7..d5d29f12 100644
--- a/2023/10/25/Radiographic-Absence-of-the-Left-Humeral-Head/index.html
+++ b/2023/10/25/Radiographic-Absence-of-the-Left-Humeral-Head/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/25/\345\204\277\347\253\245\346\226\260\345\236\213\345\206\240\347\212\266\347\227\205\346\257\222Omicron\346\240\252\345\222\214\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\267\267\345\220\210\346\204\237\346\237\223\351\207\215\347\227\207\350\202\272\347\202\2161\344\276\213/index.html" "b/2023/10/25/\345\204\277\347\253\245\346\226\260\345\236\213\345\206\240\347\212\266\347\227\205\346\257\222Omicron\346\240\252\345\222\214\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\267\267\345\220\210\346\204\237\346\237\223\351\207\215\347\227\207\350\202\272\347\202\2161\344\276\213/index.html"
index ec2b1d37..c5ad79d5 100644
--- "a/2023/10/25/\345\204\277\347\253\245\346\226\260\345\236\213\345\206\240\347\212\266\347\227\205\346\257\222Omicron\346\240\252\345\222\214\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\267\267\345\220\210\346\204\237\346\237\223\351\207\215\347\227\207\350\202\272\347\202\2161\344\276\213/index.html"
+++ "b/2023/10/25/\345\204\277\347\253\245\346\226\260\345\236\213\345\206\240\347\212\266\347\227\205\346\257\222Omicron\346\240\252\345\222\214\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\267\267\345\220\210\346\204\237\346\237\223\351\207\215\347\227\207\350\202\272\347\202\2161\344\276\213/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/10/25/\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\263\250\346\204\217\344\272\213\351\241\271/index.html" "b/2023/10/25/\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\263\250\346\204\217\344\272\213\351\241\271/index.html"
index 8a1cd2d1..a5774c91 100644
--- "a/2023/10/25/\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\263\250\346\204\217\344\272\213\351\241\271/index.html"
+++ "b/2023/10/25/\350\202\272\347\202\216\346\224\257\345\216\237\344\275\223\346\263\250\346\204\217\344\272\213\351\241\271/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/11/06/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\345\205\255\346\227\245/index.html" "b/2023/11/06/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\345\205\255\346\227\245/index.html"
index 2000af35..872b63b0 100644
--- "a/2023/11/06/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\345\205\255\346\227\245/index.html"
+++ "b/2023/11/06/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\345\205\255\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/11/16/Fever-of-Unknown-Origin/index.html b/2023/11/16/Fever-of-Unknown-Origin/index.html
index c60da724..0eb8c75c 100644
--- a/2023/11/16/Fever-of-Unknown-Origin/index.html
+++ b/2023/11/16/Fever-of-Unknown-Origin/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2023/11/21/Adolescent-Onset-of-Acute-Heart-Failure/index.html b/2023/11/21/Adolescent-Onset-of-Acute-Heart-Failure/index.html
index 777cfae0..6d94291a 100644
--- a/2023/11/21/Adolescent-Onset-of-Acute-Heart-Failure/index.html
+++ b/2023/11/21/Adolescent-Onset-of-Acute-Heart-Failure/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/11/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html" "b/2023/11/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
index 2fc583aa..0064c2f6 100644
--- "a/2023/11/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
+++ "b/2023/11/29/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\270\200\346\234\210\344\272\214\345\215\201\344\271\235\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/12/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\270\200\346\227\245/index.html" "b/2023/12/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
index 95f0a91f..703a4208 100644
--- "a/2023/12/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2023/12/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2023/12/02/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\346\227\245/index.html" "b/2023/12/02/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
index 6ff7cb1d..7cca06d8 100644
--- "a/2023/12/02/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
+++ "b/2023/12/02/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\215\201\344\272\214\346\234\210\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/01/08/OCaml-News-2024-1/index.html b/2024/01/08/OCaml-News-2024-1/index.html
index 400c8764..8e8518ac 100644
--- a/2024/01/08/OCaml-News-2024-1/index.html
+++ b/2024/01/08/OCaml-News-2024-1/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/01/18/OCaml-News-2024-2/index.html b/2024/01/18/OCaml-News-2024-2/index.html
index 19acf4d1..e63b5885 100644
--- a/2024/01/18/OCaml-News-2024-2/index.html
+++ b/2024/01/18/OCaml-News-2024-2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/01/22/Rescript-React-Native/index.html b/2024/01/22/Rescript-React-Native/index.html
index 60da6e2e..615cbdb5 100644
--- a/2024/01/22/Rescript-React-Native/index.html
+++ b/2024/01/22/Rescript-React-Native/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/01/23/G-Machine/index.html b/2024/01/23/G-Machine/index.html
index f12ea15f..e70c421f 100644
--- a/2024/01/23/G-Machine/index.html
+++ b/2024/01/23/G-Machine/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/01/23/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\211\346\227\245/index.html" "b/2024/01/23/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\211\346\227\245/index.html"
index 28cf826c..04bd16a7 100644
--- "a/2024/01/23/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\211\346\227\245/index.html"
+++ "b/2024/01/23/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\200\346\234\210\344\272\214\345\215\201\344\270\211\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/01/23/\346\205\242\346\200\247\350\202\272\346\272\220\346\200\247\345\277\203\350\204\217\347\227\205/index.html" "b/2024/01/23/\346\205\242\346\200\247\350\202\272\346\272\220\346\200\247\345\277\203\350\204\217\347\227\205/index.html"
index 521b66b3..bbfe9d20 100644
--- "a/2024/01/23/\346\205\242\346\200\247\350\202\272\346\272\220\346\200\247\345\277\203\350\204\217\347\227\205/index.html"
+++ "b/2024/01/23/\346\205\242\346\200\247\350\202\272\346\272\220\346\200\247\345\277\203\350\204\217\347\227\205/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/01/25/\346\200\245\350\257\212\344\270\216\347\201\276\351\232\276\345\214\273\345\255\246-\347\203\247\344\274\244/index.html" "b/2024/01/25/\346\200\245\350\257\212\344\270\216\347\201\276\351\232\276\345\214\273\345\255\246-\347\203\247\344\274\244/index.html"
index 89927099..1503359c 100644
--- "a/2024/01/25/\346\200\245\350\257\212\344\270\216\347\201\276\351\232\276\345\214\273\345\255\246-\347\203\247\344\274\244/index.html"
+++ "b/2024/01/25/\346\200\245\350\257\212\344\270\216\347\201\276\351\232\276\345\214\273\345\255\246-\347\203\247\344\274\244/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/02/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\214\346\234\210\344\270\203\346\227\245/index.html" "b/2024/02/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\214\346\234\210\344\270\203\346\227\245/index.html"
index 82d3eed8..23c66eba 100644
--- "a/2024/02/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\214\346\234\210\344\270\203\346\227\245/index.html"
+++ "b/2024/02/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\214\346\234\210\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/02/26/OCaml-News-2024-3/index.html b/2024/02/26/OCaml-News-2024-3/index.html
index 4a887d47..2ff366b0 100644
--- a/2024/02/26/OCaml-News-2024-3/index.html
+++ b/2024/02/26/OCaml-News-2024-3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/03/22/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" "b/2024/03/22/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
index 6ad21027..ba9d163f 100644
--- "a/2024/03/22/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
+++ "b/2024/03/22/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\270\211\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/04/03/shadow-cljs-proxy/index.html b/2024/04/03/shadow-cljs-proxy/index.html
index 15cffb8d..474fb839 100644
--- a/2024/04/03/shadow-cljs-proxy/index.html
+++ b/2024/04/03/shadow-cljs-proxy/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/04/08/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\233\233\346\234\210\345\205\253\346\227\245/index.html" "b/2024/04/08/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\233\233\346\234\210\345\205\253\346\227\245/index.html"
index fd4bd7b7..a832c0f7 100644
--- "a/2024/04/08/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\233\233\346\234\210\345\205\253\346\227\245/index.html"
+++ "b/2024/04/08/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\233\233\346\234\210\345\205\253\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/05/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\344\270\203\346\227\245/index.html" "b/2024/05/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\344\270\203\346\227\245/index.html"
index 52afd38f..a3001e89 100644
--- "a/2024/05/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\344\270\203\346\227\245/index.html"
+++ "b/2024/05/07/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/05/13/\347\273\231\345\260\270\344\275\223\344\270\212-ECMO-\345\271\266\347\273\264\346\214\201\345\277\203\350\267\263/index.html" "b/2024/05/13/\347\273\231\345\260\270\344\275\223\344\270\212-ECMO-\345\271\266\347\273\264\346\214\201\345\277\203\350\267\263/index.html"
index 3ccdf4fa..6c9f7fc8 100644
--- "a/2024/05/13/\347\273\231\345\260\270\344\275\223\344\270\212-ECMO-\345\271\266\347\273\264\346\214\201\345\277\203\350\267\263/index.html"
+++ "b/2024/05/13/\347\273\231\345\260\270\344\275\223\344\270\212-ECMO-\345\271\266\347\273\264\346\214\201\345\277\203\350\267\263/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/05/16/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\345\215\201\345\205\255\346\227\245/index.html" "b/2024/05/16/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
index 9b7f9dbf..9e71a1d5 100644
--- "a/2024/05/16/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
+++ "b/2024/05/16/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\272\224\346\234\210\345\215\201\345\205\255\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/05/20/Rescript-genType-import-\351\227\256\351\242\230/index.html" "b/2024/05/20/Rescript-genType-import-\351\227\256\351\242\230/index.html"
index 81296a32..83f5563f 100644
--- "a/2024/05/20/Rescript-genType-import-\351\227\256\351\242\230/index.html"
+++ "b/2024/05/20/Rescript-genType-import-\351\227\256\351\242\230/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/06/06/NET-AOT-\344\270\213\347\232\204-F-\345\221\275\344\273\244\350\241\214\345\217\202\346\225\260\350\247\243\346\236\220\345\272\223\351\200\211\346\213\251/index.html" "b/2024/06/06/NET-AOT-\344\270\213\347\232\204-F-\345\221\275\344\273\244\350\241\214\345\217\202\346\225\260\350\247\243\346\236\220\345\272\223\351\200\211\346\213\251/index.html"
index adee3830..611c82da 100644
--- "a/2024/06/06/NET-AOT-\344\270\213\347\232\204-F-\345\221\275\344\273\244\350\241\214\345\217\202\346\225\260\350\247\243\346\236\220\345\272\223\351\200\211\346\213\251/index.html"
+++ "b/2024/06/06/NET-AOT-\344\270\213\347\232\204-F-\345\221\275\344\273\244\350\241\214\345\217\202\346\225\260\350\247\243\346\236\220\345\272\223\351\200\211\346\213\251/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/06/27/OCaml-News-2024-5/index.html b/2024/06/27/OCaml-News-2024-5/index.html
index 3f017851..f747403d 100644
--- a/2024/06/27/OCaml-News-2024-5/index.html
+++ b/2024/06/27/OCaml-News-2024-5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/06/27/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html" "b/2024/06/27/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
index e724cba7..7416eb6f 100644
--- "a/2024/06/27/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2024/06/27/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\255\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/07/01/OCaml-News-2024-4/index.html b/2024/07/01/OCaml-News-2024-4/index.html
index dc6a9ad0..10413198 100644
--- a/2024/07/01/OCaml-News-2024-4/index.html
+++ b/2024/07/01/OCaml-News-2024-4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html" "b/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
index 4bc9a7b6..144f6667 100644
--- "a/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
+++ "b/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/07/23/OCaml-News-2024-6/index.html b/2024/07/23/OCaml-News-2024-6/index.html
index 1c5dfb01..219cd283 100644
--- a/2024/07/23/OCaml-News-2024-6/index.html
+++ b/2024/07/23/OCaml-News-2024-6/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/08/02/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html" "b/2024/08/02/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
index 851a6daf..ab58ab92 100644
--- "a/2024/08/02/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2024/08/02/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/08/12/\347\233\264\347\263\273\350\241\200\344\272\262\344\271\213\351\227\264\344\270\215\350\203\275\347\233\264\346\216\245\350\276\223\350\241\200/index.html" "b/2024/08/12/\347\233\264\347\263\273\350\241\200\344\272\262\344\271\213\351\227\264\344\270\215\350\203\275\347\233\264\346\216\245\350\276\223\350\241\200/index.html"
index 7098d9a5..594a2e2b 100644
--- "a/2024/08/12/\347\233\264\347\263\273\350\241\200\344\272\262\344\271\213\351\227\264\344\270\215\350\203\275\347\233\264\346\216\245\350\276\223\350\241\200/index.html"
+++ "b/2024/08/12/\347\233\264\347\263\273\350\241\200\344\272\262\344\271\213\351\227\264\344\270\215\350\203\275\347\233\264\346\216\245\350\276\223\350\241\200/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/01/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\344\270\200\346\227\245/index.html" "b/2024/09/01/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\344\270\200\346\227\245/index.html"
index eede8c63..00298398 100644
--- "a/2024/09/01/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2024/09/01/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\344\270\200\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/01/\350\227\277\351\246\231\346\255\243\346\260\224\346\260\264\345\222\214\350\227\277\351\246\231\346\255\243\346\260\224\345\217\243\346\234\215\346\266\262\347\232\204\345\214\272\345\210\253/index.html" "b/2024/09/01/\350\227\277\351\246\231\346\255\243\346\260\224\346\260\264\345\222\214\350\227\277\351\246\231\346\255\243\346\260\224\345\217\243\346\234\215\346\266\262\347\232\204\345\214\272\345\210\253/index.html"
index fbc58fa3..e74822e6 100644
--- "a/2024/09/01/\350\227\277\351\246\231\346\255\243\346\260\224\346\260\264\345\222\214\350\227\277\351\246\231\346\255\243\346\260\224\345\217\243\346\234\215\346\266\262\347\232\204\345\214\272\345\210\253/index.html"
+++ "b/2024/09/01/\350\227\277\351\246\231\346\255\243\346\260\224\346\260\264\345\222\214\350\227\277\351\246\231\346\255\243\346\260\224\345\217\243\346\234\215\346\266\262\347\232\204\345\214\272\345\210\253/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/07/\347\273\231\345\255\251\345\255\220\344\273\254\347\232\204\350\257\235/index.html" "b/2024/09/07/\347\273\231\345\255\251\345\255\220\344\273\254\347\232\204\350\257\235/index.html"
index 876d9593..76cdf5fb 100644
--- "a/2024/09/07/\347\273\231\345\255\251\345\255\220\344\273\254\347\232\204\350\257\235/index.html"
+++ "b/2024/09/07/\347\273\231\345\255\251\345\255\220\344\273\254\347\232\204\350\257\235/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/08/\344\270\255\350\200\201\345\271\264\344\272\272\346\262\211\350\277\267\346\211\213\346\234\272\347\232\204\351\227\256\351\242\230/index.html" "b/2024/09/08/\344\270\255\350\200\201\345\271\264\344\272\272\346\262\211\350\277\267\346\211\213\346\234\272\347\232\204\351\227\256\351\242\230/index.html"
index 536f328e..1cffe0ec 100644
--- "a/2024/09/08/\344\270\255\350\200\201\345\271\264\344\272\272\346\262\211\350\277\267\346\211\213\346\234\272\347\232\204\351\227\256\351\242\230/index.html"
+++ "b/2024/09/08/\344\270\255\350\200\201\345\271\264\344\272\272\346\262\211\350\277\267\346\211\213\346\234\272\347\232\204\351\227\256\351\242\230/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/09/12/Functional-Reactive-Programming-in-F/index.html b/2024/09/12/Functional-Reactive-Programming-in-F/index.html
index 1c5958bc..5a7c6d19 100644
--- a/2024/09/12/Functional-Reactive-Programming-in-F/index.html
+++ b/2024/09/12/Functional-Reactive-Programming-in-F/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/12/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\345\215\201\344\272\214\346\227\245/index.html" "b/2024/09/12/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\345\215\201\344\272\214\346\227\245/index.html"
index 04cb934e..09c8c510 100644
--- "a/2024/09/12/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\345\215\201\344\272\214\346\227\245/index.html"
+++ "b/2024/09/12/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\344\271\235\346\234\210\345\215\201\344\272\214\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html b/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html
index bcb408df..aeb25b06 100644
--- a/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html
+++ b/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/15/\350\202\251\345\221\250\347\202\216\345\222\214\350\202\251\350\242\226\346\215\237\344\274\244\347\232\204\345\214\272\345\210\253/index.html" "b/2024/09/15/\350\202\251\345\221\250\347\202\216\345\222\214\350\202\251\350\242\226\346\215\237\344\274\244\347\232\204\345\214\272\345\210\253/index.html"
index 15919cd2..b119d382 100644
--- "a/2024/09/15/\350\202\251\345\221\250\347\202\216\345\222\214\350\202\251\350\242\226\346\215\237\344\274\244\347\232\204\345\214\272\345\210\253/index.html"
+++ "b/2024/09/15/\350\202\251\345\221\250\347\202\216\345\222\214\350\202\251\350\242\226\346\215\237\344\274\244\347\232\204\345\214\272\345\210\253/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/09/27/Turborepo-\347\256\200\350\277\260/index.html" "b/2024/09/27/Turborepo-\347\256\200\350\277\260/index.html"
index ad894dd5..cb3a5cba 100644
--- "a/2024/09/27/Turborepo-\347\256\200\350\277\260/index.html"
+++ "b/2024/09/27/Turborepo-\347\256\200\350\277\260/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/10/06/Obsidian-Vault-\347\232\204-obsidian-\347\233\256\345\275\225\344\270\255\347\232\204\345\220\204\346\226\207\344\273\266\344\275\234\347\224\250/index.html" "b/2024/10/06/Obsidian-Vault-\347\232\204-obsidian-\347\233\256\345\275\225\344\270\255\347\232\204\345\220\204\346\226\207\344\273\266\344\275\234\347\224\250/index.html"
index 19c0a652..b1379fba 100644
--- "a/2024/10/06/Obsidian-Vault-\347\232\204-obsidian-\347\233\256\345\275\225\344\270\255\347\232\204\345\220\204\346\226\207\344\273\266\344\275\234\347\224\250/index.html"
+++ "b/2024/10/06/Obsidian-Vault-\347\232\204-obsidian-\347\233\256\345\275\225\344\270\255\347\232\204\345\220\204\346\226\207\344\273\266\344\275\234\347\224\250/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html b/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html
index ff4739d9..12628764 100644
--- a/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html
+++ b/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html b/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html
index fa09e074..cbf3071a 100644
--- a/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html
+++ b/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html b/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html
index 25d07c9c..624fe3f3 100644
--- a/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html
+++ b/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/11/15/\350\245\277\346\237\232\345\257\271\350\215\257\347\211\251\347\232\204\345\275\261\345\223\215/index.html" "b/2024/11/15/\350\245\277\346\237\232\345\257\271\350\215\257\347\211\251\347\232\204\345\275\261\345\223\215/index.html"
index 9fe815a0..73942e7f 100644
--- "a/2024/11/15/\350\245\277\346\237\232\345\257\271\350\215\257\347\211\251\347\232\204\345\275\261\345\223\215/index.html"
+++ "b/2024/11/15/\350\245\277\346\237\232\345\257\271\350\215\257\347\211\251\347\232\204\345\275\261\345\223\215/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/11/17/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\270\200\346\234\210\345\215\201\344\270\203\346\227\245/index.html" "b/2024/11/17/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\270\200\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
index 3eb2c344..05fe990d 100644
--- "a/2024/11/17/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\270\200\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2024/11/17/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\270\200\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/11/26/\345\246\202\344\275\225\347\256\241\347\220\206\347\224\250\346\210\267\347\225\214\351\235\242\344\270\255\347\232\204\345\215\261\351\231\251\346\223\215\344\275\234/index.html" "b/2024/11/26/\345\246\202\344\275\225\347\256\241\347\220\206\347\224\250\346\210\267\347\225\214\351\235\242\344\270\255\347\232\204\345\215\261\351\231\251\346\223\215\344\275\234/index.html"
index 2ed85dca..aad465a3 100644
--- "a/2024/11/26/\345\246\202\344\275\225\347\256\241\347\220\206\347\224\250\346\210\267\347\225\214\351\235\242\344\270\255\347\232\204\345\215\261\351\231\251\346\223\215\344\275\234/index.html"
+++ "b/2024/11/26/\345\246\202\344\275\225\347\256\241\347\220\206\347\224\250\346\210\267\347\225\214\351\235\242\344\270\255\347\232\204\345\215\261\351\231\251\346\223\215\344\275\234/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2024/12/15/OCaml-News-2024-7/index.html b/2024/12/15/OCaml-News-2024-7/index.html
index f8562647..0bc4f54a 100644
--- a/2024/12/15/OCaml-News-2024-7/index.html
+++ b/2024/12/15/OCaml-News-2024-7/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2024/12/18/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\272\214\346\234\210\345\215\201\345\205\253\346\227\245/index.html" "b/2024/12/18/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\272\214\346\234\210\345\215\201\345\205\253\346\227\245/index.html"
index 7922c318..47696658 100644
--- "a/2024/12/18/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\272\214\346\234\210\345\215\201\345\205\253\346\227\245/index.html"
+++ "b/2024/12/18/\344\272\214\343\200\207\344\272\214\345\233\233\345\271\264\345\215\201\344\272\214\346\234\210\345\215\201\345\205\253\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/01/19/\350\272\253\344\275\223\345\276\200\345\211\215\345\200\276\357\274\214\347\201\265\351\255\202\345\220\221\345\220\216\346\221\207/index.html" "b/2025/01/19/\350\272\253\344\275\223\345\276\200\345\211\215\345\200\276\357\274\214\347\201\265\351\255\202\345\220\221\345\220\216\346\221\207/index.html"
index e1704913..0ceda5d0 100644
--- "a/2025/01/19/\350\272\253\344\275\223\345\276\200\345\211\215\345\200\276\357\274\214\347\201\265\351\255\202\345\220\221\345\220\216\346\221\207/index.html"
+++ "b/2025/01/19/\350\272\253\344\275\223\345\276\200\345\211\215\345\200\276\357\274\214\347\201\265\351\255\202\345\220\221\345\220\216\346\221\207/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/02/10/\345\256\236\346\227\266\346\220\234\347\264\242\344\270\255\347\232\204\351\230\262\346\212\226\345\207\275\346\225\260/index.html" "b/2025/02/10/\345\256\236\346\227\266\346\220\234\347\264\242\344\270\255\347\232\204\351\230\262\346\212\226\345\207\275\346\225\260/index.html"
index c75a761b..3dd4c273 100644
--- "a/2025/02/10/\345\256\236\346\227\266\346\220\234\347\264\242\344\270\255\347\232\204\351\230\262\346\212\226\345\207\275\346\225\260/index.html"
+++ "b/2025/02/10/\345\256\236\346\227\266\346\220\234\347\264\242\344\270\255\347\232\204\351\230\262\346\212\226\345\207\275\346\225\260/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/02/11/\344\273\216\344\272\213\344\273\266\351\243\216\346\232\264\347\234\213\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241/index.html" "b/2025/02/11/\344\273\216\344\272\213\344\273\266\351\243\216\346\232\264\347\234\213\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241/index.html"
index 584f17b7..24963d61 100644
--- "a/2025/02/11/\344\273\216\344\272\213\344\273\266\351\243\216\346\232\264\347\234\213\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241/index.html"
+++ "b/2025/02/11/\344\273\216\344\272\213\344\273\266\351\243\216\346\232\264\347\234\213\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/02/18/Prisma-\345\205\263\347\263\273\345\236\213\346\225\260\346\215\256\345\272\223\347\232\204-Self-relations/index.html" "b/2025/02/18/Prisma-\345\205\263\347\263\273\345\236\213\346\225\260\346\215\256\345\272\223\347\232\204-Self-relations/index.html"
index b0e9e177..fef22ae8 100644
--- "a/2025/02/18/Prisma-\345\205\263\347\263\273\345\236\213\346\225\260\346\215\256\345\272\223\347\232\204-Self-relations/index.html"
+++ "b/2025/02/18/Prisma-\345\205\263\347\263\273\345\236\213\346\225\260\346\215\256\345\272\223\347\232\204-Self-relations/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/2025/02/19/Repository-pattern-in-Typescript/index.html b/2025/02/19/Repository-pattern-in-Typescript/index.html
index e41a668a..e8a622a5 100644
--- a/2025/02/19/Repository-pattern-in-Typescript/index.html
+++ b/2025/02/19/Repository-pattern-in-Typescript/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/02/24/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html" "b/2025/02/24/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
index 22e869d7..0a2a8850 100644
--- "a/2025/02/24/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
+++ "b/2025/02/24/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\272\214\346\234\210\344\272\214\345\215\201\345\233\233\346\227\245/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/03/13/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\347\232\204\342\200\234\350\201\232\345\220\210\346\240\271\342\200\235/index.html" "b/2025/03/13/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\347\232\204\342\200\234\350\201\232\345\220\210\346\240\271\342\200\235/index.html"
index 26e2793d..f873f090 100644
--- "a/2025/03/13/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\347\232\204\342\200\234\350\201\232\345\220\210\346\240\271\342\200\235/index.html"
+++ "b/2025/03/13/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\347\232\204\342\200\234\350\201\232\345\220\210\346\240\271\342\200\235/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/03/17/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\270\211\346\234\210\345\215\201\344\270\203\346\227\245/index.html" "b/2025/03/17/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\270\211\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
index 71c035df..581b94b2 100644
--- "a/2025/03/17/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\270\211\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2025/03/17/\344\272\214\343\200\207\344\272\214\344\272\224\345\271\264\344\270\211\346\234\210\345\215\201\344\270\203\346\227\245/index.html"
@@ -240,6 +240,7 @@ mjx-container[display="true"] + br {
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git "a/2025/03/19/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\350\201\232\345\220\210\346\240\271\346\214\201\344\271\205\345\214\226\345\222\214\344\272\213\344\273\266\345\217\221\345\270\203\345\217\257\350\203\275\345\257\274\350\207\264\346\225\260\346\215\256\344\270\215\344\270\200\350\207\264\351\227\256\351\242\230/index.html" "b/2025/03/19/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\350\201\232\345\220\210\346\240\271\346\214\201\344\271\205\345\214\226\345\222\214\344\272\213\344\273\266\345\217\221\345\270\203\345\217\257\350\203\275\345\257\274\350\207\264\346\225\260\346\215\256\344\270\215\344\270\200\350\207\264\351\227\256\351\242\230/index.html"
index effda63a..1240b40c 100644
--- "a/2025/03/19/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\350\201\232\345\220\210\346\240\271\346\214\201\344\271\205\345\214\226\345\222\214\344\272\213\344\273\266\345\217\221\345\270\203\345\217\257\350\203\275\345\257\274\350\207\264\346\225\260\346\215\256\344\270\215\344\270\200\350\207\264\351\227\256\351\242\230/index.html"
+++ "b/2025/03/19/\351\242\206\345\237\237\351\251\261\345\212\250\350\256\276\350\256\241\344\270\255\350\201\232\345\220\210\346\240\271\346\214\201\344\271\205\345\214\226\345\222\214\344\272\213\344\273\266\345\217\221\345\270\203\345\217\257\350\203\275\345\257\274\350\207\264\346\225\260\346\215\256\344\270\215\344\270\200\350\207\264\351\227\256\351\242\230/index.html"
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/about.html b/about.html
index a2c99dd8..75d715b3 100644
--- a/about.html
+++ b/about.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2020/12/index.html b/archives/2020/12/index.html
index ae20a0d2..800b1296 100644
--- a/archives/2020/12/index.html
+++ b/archives/2020/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2020/index.html b/archives/2020/index.html
index 85b2d49c..e32cf05c 100644
--- a/archives/2020/index.html
+++ b/archives/2020/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2021/02/index.html b/archives/2021/02/index.html
index f13aa97c..7a4205a9 100644
--- a/archives/2021/02/index.html
+++ b/archives/2021/02/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2021/03/index.html b/archives/2021/03/index.html
index 20a39dad..5882eb8e 100644
--- a/archives/2021/03/index.html
+++ b/archives/2021/03/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2021/index.html b/archives/2021/index.html
index 8bd2f424..c2d49501 100644
--- a/archives/2021/index.html
+++ b/archives/2021/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/01/index.html b/archives/2022/01/index.html
index 2ff12bc5..ed5aa840 100644
--- a/archives/2022/01/index.html
+++ b/archives/2022/01/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/03/index.html b/archives/2022/03/index.html
index 67dbb309..e604c9a0 100644
--- a/archives/2022/03/index.html
+++ b/archives/2022/03/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/08/index.html b/archives/2022/08/index.html
index bb5406ed..9e4f5c25 100644
--- a/archives/2022/08/index.html
+++ b/archives/2022/08/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/09/index.html b/archives/2022/09/index.html
index 98404e61..d162699b 100644
--- a/archives/2022/09/index.html
+++ b/archives/2022/09/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/10/index.html b/archives/2022/10/index.html
index bc42ca93..0eb6567d 100644
--- a/archives/2022/10/index.html
+++ b/archives/2022/10/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/11/index.html b/archives/2022/11/index.html
index 2ffba655..65ea5576 100644
--- a/archives/2022/11/index.html
+++ b/archives/2022/11/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/12/index.html b/archives/2022/12/index.html
index 54204509..58023a89 100644
--- a/archives/2022/12/index.html
+++ b/archives/2022/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2022/index.html b/archives/2022/index.html
index 815c71a6..4fbf0279 100644
--- a/archives/2022/index.html
+++ b/archives/2022/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/01/index.html b/archives/2023/01/index.html
index 39e90081..e558814a 100644
--- a/archives/2023/01/index.html
+++ b/archives/2023/01/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/02/index.html b/archives/2023/02/index.html
index d39c640d..d0c54224 100644
--- a/archives/2023/02/index.html
+++ b/archives/2023/02/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/03/index.html b/archives/2023/03/index.html
index 5f61020b..f6ada1f3 100644
--- a/archives/2023/03/index.html
+++ b/archives/2023/03/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/04/index.html b/archives/2023/04/index.html
index 503ade49..f25c349a 100644
--- a/archives/2023/04/index.html
+++ b/archives/2023/04/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/05/index.html b/archives/2023/05/index.html
index feea4a5d..9ce0c09f 100644
--- a/archives/2023/05/index.html
+++ b/archives/2023/05/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/06/index.html b/archives/2023/06/index.html
index 7d9e7a6c..c5f59ee9 100644
--- a/archives/2023/06/index.html
+++ b/archives/2023/06/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/07/index.html b/archives/2023/07/index.html
index 81e3c8a7..4a254599 100644
--- a/archives/2023/07/index.html
+++ b/archives/2023/07/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/08/index.html b/archives/2023/08/index.html
index 1856afaf..093a220b 100644
--- a/archives/2023/08/index.html
+++ b/archives/2023/08/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/09/index.html b/archives/2023/09/index.html
index 0c522313..3efff2a6 100644
--- a/archives/2023/09/index.html
+++ b/archives/2023/09/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/10/index.html b/archives/2023/10/index.html
index ef863b8d..1d7ee1a5 100644
--- a/archives/2023/10/index.html
+++ b/archives/2023/10/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/11/index.html b/archives/2023/11/index.html
index 79db8d3c..c4338fe7 100644
--- a/archives/2023/11/index.html
+++ b/archives/2023/11/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/12/index.html b/archives/2023/12/index.html
index d2588cc7..dd44951d 100644
--- a/archives/2023/12/index.html
+++ b/archives/2023/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/index.html b/archives/2023/index.html
index d6340457..74f63aea 100644
--- a/archives/2023/index.html
+++ b/archives/2023/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html
index 94450fd4..17f2e635 100644
--- a/archives/2023/page/2/index.html
+++ b/archives/2023/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html
index cd7dc93c..fdda7414 100644
--- a/archives/2023/page/3/index.html
+++ b/archives/2023/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/page/4/index.html b/archives/2023/page/4/index.html
index 6545246a..00189a4c 100644
--- a/archives/2023/page/4/index.html
+++ b/archives/2023/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/page/5/index.html b/archives/2023/page/5/index.html
index 8ee454d7..dc7efcd1 100644
--- a/archives/2023/page/5/index.html
+++ b/archives/2023/page/5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2023/page/6/index.html b/archives/2023/page/6/index.html
index 0996e283..adc72b3c 100644
--- a/archives/2023/page/6/index.html
+++ b/archives/2023/page/6/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/01/index.html b/archives/2024/01/index.html
index 33cc86b5..15f4f266 100644
--- a/archives/2024/01/index.html
+++ b/archives/2024/01/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/02/index.html b/archives/2024/02/index.html
index 2dc3f82f..a2b57ca7 100644
--- a/archives/2024/02/index.html
+++ b/archives/2024/02/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/03/index.html b/archives/2024/03/index.html
index b775dff3..64b8a75d 100644
--- a/archives/2024/03/index.html
+++ b/archives/2024/03/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/04/index.html b/archives/2024/04/index.html
index 515a3720..c8354ab2 100644
--- a/archives/2024/04/index.html
+++ b/archives/2024/04/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/05/index.html b/archives/2024/05/index.html
index bd946643..0ead5070 100644
--- a/archives/2024/05/index.html
+++ b/archives/2024/05/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/06/index.html b/archives/2024/06/index.html
index e619d26d..79caedb2 100644
--- a/archives/2024/06/index.html
+++ b/archives/2024/06/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/07/index.html b/archives/2024/07/index.html
index 924ccdbd..3c196109 100644
--- a/archives/2024/07/index.html
+++ b/archives/2024/07/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/08/index.html b/archives/2024/08/index.html
index 15422962..cd1c0d98 100644
--- a/archives/2024/08/index.html
+++ b/archives/2024/08/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/09/index.html b/archives/2024/09/index.html
index c352bb76..8dba3bcc 100644
--- a/archives/2024/09/index.html
+++ b/archives/2024/09/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/10/index.html b/archives/2024/10/index.html
index 7f49f050..db084435 100644
--- a/archives/2024/10/index.html
+++ b/archives/2024/10/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/11/index.html b/archives/2024/11/index.html
index d990341f..cf3e9fba 100644
--- a/archives/2024/11/index.html
+++ b/archives/2024/11/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/12/index.html b/archives/2024/12/index.html
index 844abc06..7bac11a4 100644
--- a/archives/2024/12/index.html
+++ b/archives/2024/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/index.html b/archives/2024/index.html
index 5d9a31bc..1e265560 100644
--- a/archives/2024/index.html
+++ b/archives/2024/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/page/2/index.html b/archives/2024/page/2/index.html
index cf249df7..b87f337d 100644
--- a/archives/2024/page/2/index.html
+++ b/archives/2024/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/page/3/index.html b/archives/2024/page/3/index.html
index 3c272b9b..9df0a584 100644
--- a/archives/2024/page/3/index.html
+++ b/archives/2024/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/page/4/index.html b/archives/2024/page/4/index.html
index 3d1905fd..4b3214c4 100644
--- a/archives/2024/page/4/index.html
+++ b/archives/2024/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2024/page/5/index.html b/archives/2024/page/5/index.html
index 2f51388a..441c0e9a 100644
--- a/archives/2024/page/5/index.html
+++ b/archives/2024/page/5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2025/01/index.html b/archives/2025/01/index.html
index 13ae11f9..ad28868c 100644
--- a/archives/2025/01/index.html
+++ b/archives/2025/01/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2025/02/index.html b/archives/2025/02/index.html
index 41538b46..63ffef29 100644
--- a/archives/2025/02/index.html
+++ b/archives/2025/02/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2025/03/index.html b/archives/2025/03/index.html
index 02ecc766..697e35ad 100644
--- a/archives/2025/03/index.html
+++ b/archives/2025/03/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/2025/index.html b/archives/2025/index.html
index 49131ed7..15270180 100644
--- a/archives/2025/index.html
+++ b/archives/2025/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/index.html b/archives/index.html
index 46ce62c9..e22f2626 100644
--- a/archives/index.html
+++ b/archives/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/10/index.html b/archives/page/10/index.html
index 77c59110..920d140b 100644
--- a/archives/page/10/index.html
+++ b/archives/page/10/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/11/index.html b/archives/page/11/index.html
index 70a7f12f..69916a5c 100644
--- a/archives/page/11/index.html
+++ b/archives/page/11/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/12/index.html b/archives/page/12/index.html
index 84a41ac0..b2317df0 100644
--- a/archives/page/12/index.html
+++ b/archives/page/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/2/index.html b/archives/page/2/index.html
index 9c3fc9f4..d6cf810d 100644
--- a/archives/page/2/index.html
+++ b/archives/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/3/index.html b/archives/page/3/index.html
index ce69f00b..0bec06c9 100644
--- a/archives/page/3/index.html
+++ b/archives/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/4/index.html b/archives/page/4/index.html
index 769c03ae..2c6ccc65 100644
--- a/archives/page/4/index.html
+++ b/archives/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/5/index.html b/archives/page/5/index.html
index ed38496f..81419048 100644
--- a/archives/page/5/index.html
+++ b/archives/page/5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/6/index.html b/archives/page/6/index.html
index 860d8236..a3ccec10 100644
--- a/archives/page/6/index.html
+++ b/archives/page/6/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/7/index.html b/archives/page/7/index.html
index 82c34842..a084a749 100644
--- a/archives/page/7/index.html
+++ b/archives/page/7/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/8/index.html b/archives/page/8/index.html
index 463f0460..f656e837 100644
--- a/archives/page/8/index.html
+++ b/archives/page/8/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/archives/page/9/index.html b/archives/page/9/index.html
index bdb87c10..461a7a59 100644
--- a/archives/page/9/index.html
+++ b/archives/page/9/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/categories/gallery/index.html b/categories/gallery/index.html
index 44f78554..98d56bca 100644
--- a/categories/gallery/index.html
+++ b/categories/gallery/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/categories/gallery/page/2/index.html b/categories/gallery/page/2/index.html
index 52caa3e0..960e9d9e 100644
--- a/categories/gallery/page/2/index.html
+++ b/categories/gallery/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/categories/gallery/page/3/index.html b/categories/gallery/page/3/index.html
index 1a0bf0a3..f7cc8cb5 100644
--- a/categories/gallery/page/3/index.html
+++ b/categories/gallery/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/categories/gallery/page/4/index.html b/categories/gallery/page/4/index.html
index c4a6a819..56204a30 100644
--- a/categories/gallery/page/4/index.html
+++ b/categories/gallery/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/categories/gallery/page/5/index.html b/categories/gallery/page/5/index.html
index dea3482b..aea000ee 100644
--- a/categories/gallery/page/5/index.html
+++ b/categories/gallery/page/5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/index.html b/index.html
index 3e60110e..933a1873 100644
--- a/index.html
+++ b/index.html
@@ -240,6 +240,7 @@ mjx-container[display="true"] + br {
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/10/index.html b/page/10/index.html
index f945a59c..96926193 100644
--- a/page/10/index.html
+++ b/page/10/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/11/index.html b/page/11/index.html
index f945a59c..96926193 100644
--- a/page/11/index.html
+++ b/page/11/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/12/index.html b/page/12/index.html
index f945a59c..96926193 100644
--- a/page/12/index.html
+++ b/page/12/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/2/index.html b/page/2/index.html
index f945a59c..96926193 100644
--- a/page/2/index.html
+++ b/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/3/index.html b/page/3/index.html
index f945a59c..96926193 100644
--- a/page/3/index.html
+++ b/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/4/index.html b/page/4/index.html
index f945a59c..96926193 100644
--- a/page/4/index.html
+++ b/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/5/index.html b/page/5/index.html
index f945a59c..96926193 100644
--- a/page/5/index.html
+++ b/page/5/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/6/index.html b/page/6/index.html
index f945a59c..96926193 100644
--- a/page/6/index.html
+++ b/page/6/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/7/index.html b/page/7/index.html
index 8a599561..40df0132 100644
--- a/page/7/index.html
+++ b/page/7/index.html
@@ -240,6 +240,7 @@ mjx-container[display="true"] + br {
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/8/index.html b/page/8/index.html
index f945a59c..96926193 100644
--- a/page/8/index.html
+++ b/page/8/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/page/9/index.html b/page/9/index.html
index f945a59c..96926193 100644
--- a/page/9/index.html
+++ b/page/9/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/search.xml b/search.xml
index 0eab91ba..22708457 100644
--- a/search.xml
+++ b/search.xml
@@ -878,6 +878,75 @@
 <li><a href="https://github.com/jserot/rfsm">RFSM 2.0: A toolset for describing and simulating StateChart-like state diagrams.</a></li>
 <li><a href="https://github.com/chshersh/zbg/tree/main">Zbg 2.0: <code>zbg</code> (short for <strong>Z</strong>ero <strong>B</strong>ullshit <strong>G</strong>it) is a CLI tool for using <code>git</code> efficiently.</a></li>
 </ul>
+]]></content>
+      <tags>
+        <tag>Technique</tag>
+        <tag>OCaml</tag>
+      </tags>
+  </entry>
+  <entry>
+    <title>OCaml News 2024-2</title>
+    <url>/2024/01/18/OCaml-News-2024-2/</url>
+    <content><![CDATA[<h2 id="News"><a href="#News" class="headerlink" title="News"></a>News</h2><ul>
+<li><a href="https://discuss.ocaml.org/t/ann-preview-play-with-project-wide-occurrences-for-ocaml/13814">[ANN][PREVIEW] Play with project-wide occurrences for OCaml!</a></li>
+<li><a href="https://github.com/ocaml/dune/pull/8784">[Dune]: Add link flags ocamlmklib when using ctypes stubs. #8784</a></li>
+<li><a href="https://discuss.ocaml.org/t/ocaml-software-foundation-january-2024-update/13828">OCaml Software Foundation: January 2024 update</a></li>
+<li>[Apprendre à programmer avec OCaml](Apprendre à programmer avec OCaml)</li>
+<li><a href="https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827"><a href="https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827">Call for Speakers for the 2024 Carolina Code Conference is open until April 15th</a></a></li>
+<li><a href="https://github.com/ocaml/ocaml/discussions/11924">[OCaml]: feature request: better errors #11924</a></li>
+<li><a href="https://discuss.ocaml.org/t/ocsigen-summary-of-recent-releases/13817">Ocsigen: summary of recent releases</a></li>
+</ul>
+<h2 id="Discussion"><a href="#Discussion" class="headerlink" title="Discussion"></a>Discussion</h2><ul>
+<li><a href="https://discuss.ocaml.org/t/benchmark-between-open-addressing-and-closed-addressing-hashtbl/13882">Benchmark between open-addressing and closed-addressing hashtbl</a></li>
+<li><a href="https://discuss.ocaml.org/t/examples-of-caqti-infix/13878">Examples of Caqti infix?</a></li>
+<li><a href="https://discuss.ocaml.org/t/why-can-t-i-create-a-project-with-non-ascii-characters/13865">Why can’t I create a project with non-ASCII characters? </a></li>
+<li><a href="https://discuss.ocaml.org/t/old-self-taught-vs-uni-debate-landscape-for-former-jane-street/13851">Old self-taught vs. uni debate; Landscape for former; Jane Street</a></li>
+<li><a href="https://discuss.ocaml.org/t/toml-file-parser/13854">Is there an easy way to read the values from a toml file?</a></li>
+<li><a href="https://discuss.ocaml.org/t/generate-typed-ast-fragments/13824">Generate typed AST fragments</a></li>
+<li><a href="https://discuss.ocaml.org/t/partially-apply-function-accepting-multiple-modules-and-keep-polymorphic-types/13823">Partially apply function accepting multiple modules and keep polymorphic types</a></li>
+<li><a href="https://discuss.ocaml.org/t/printing-unicode-characters-on-different-platforms/13813">Printing Unicode Characters on Different Platforms</a></li>
+</ul>
+<h2 id="Videos"><a href="#Videos" class="headerlink" title="Videos"></a>Videos</h2><ul>
+<li><a href="https://watch.ocaml.org/w/iQNqZzA8gVmd4RQaycAwx4">Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich</a></li>
+</ul>
+<h2 id="Blogs"><a href="#Blogs" class="headerlink" title="Blogs"></a>Blogs</h2><ul>
+<li><a href="https://discuss.ocaml.org/t/advice-for-combining-multiple-monads/10409">Advice for combining multiple monads</a></li>
+<li><a href="https://discuss.ocaml.org/t/writing-ctypes-bindings-to-system-shared-libraries-for-bytecode-targets-via-the-dune-ctypes-stanza/13844">Writing ctypes bindings to system shared libraries for bytecode targets via the dune ctypes stanza</a></li>
+</ul>
+<h2 id="Highlighted-Projects"><a href="#Highlighted-Projects" class="headerlink" title="Highlighted Projects"></a>Highlighted Projects</h2><ul>
+<li><a href="https://github.com/johnyob/grace">Grace: A fancy diagnostics library that allows your compilers to exit with grace</a></li>
+<li><a href="https://github.com/thierry-martinez/metapp">meta-pp: Meta-preprocessor for OCaml</a></li>
+<li><a href="https://github.com/stedolan/ppx_stage">ppx_stage: Staged metaprogramming in stock OCaml</a></li>
+<li><a href="https://erratique.ch/software/cmarkit">Cmarkit is an <a href="http://ocaml.org/">OCaml</a> libary for parsing the <a href="https://spec.commonmark.org/">CommonMark</a> specification.</a></li>
+<li><a href="https://erratique.ch/software/brr">Brr is a toolkit for programming browsers in <a href="http://ocaml.org/">OCaml</a> with the <a href="http://ocsigen.org/js_of_ocaml/">js_of_ocaml</a> compiler. It provides:</a></li>
+<li><a href="https://erratique.ch/software/zipc">Zipc is an in-memory <a href="https://pkware.cachefly.net/webdocs/casestudies/APPNOTE.TXT">ZIP</a> archive and <a href="https://www.rfc-editor.org/rfc/rfc1951">deflate</a> compression codec for <a href="http://ocaml.org/">OCaml</a>.</a></li>
+<li><a href="https://github.com/lukstafi/ocaml-gccjit">ocaml-gccjit: OCaml bindings for libgccjit</a></li>
+<li><a href="https://github.com/whitequark/ocaml-m17n">ocaml-m17n: Multilingualization for the OCaml source code</a></li>
+<li><a href="https://github.com/hackwaly/ocamlearlybird">ocamlearlybird: OCaml debug adapter</a></li>
+<li><a href="https://github.com/dmbaturin/otoml">otoml: TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)</a></li>
+<li><a href="https://github.com/mattjbray/ocaml-decoders">ocaml-decoders: Elm-inspired decoders for Ocaml</a></li>
+<li><a href="https://github.com/OCamlPro/ez_toml">ez_toml: A library to parse and print TOML files</a></li>
+</ul>
+<h2 id="New-Releases"><a href="#New-Releases" class="headerlink" title="New Releases"></a>New Releases</h2><ul>
+<li><a href="http://cambium.inria.fr/~fpottier/oma/doc/oma/Oma/index.html">Oma: OCaml implementation of ‘Two Simplified Algorithms for Maintaining Order in a List’</a><ul>
+<li><a href="https://discuss.ocaml.org/t/ann-first-release-of-oma/13845">[ANN] First release of oma</a></li>
+<li><a href="https://erikdemaine.org/papers/DietzSleator_ESA2002/paper.pdf">Two Simplified Algorithms for Maintaining Order in a List</a></li>
+</ul>
+</li>
+<li><a href="https://github.com/hackwaly/ocamlearlybird">ocamlearlybird: v1.3.0</a><ul>
+<li><a href="https://discuss.ocaml.org/t/ann-ocamlearlybird-just-got-ability-to-inspect-opaque-abstract-values/13852">[ANN] Ocamlearlybird just got ability to inspect opaque&#x2F;abstract values</a></li>
+</ul>
+</li>
+<li><a href="https://github.com/Axot017/validate">validate: OCaml Data Validation library</a><ul>
+<li><a href="https://discuss.ocaml.org/t/ann-validate-a-new-library-for-data-validation/13861">[ANN] Validate - A New Library for Data Validation</a></li>
+</ul>
+</li>
+<li><a href="https://github.com/gborough/sarif">sarif v2.1.0: Static Analysis Results Interchange Format (SARIF) For OCaml</a><ul>
+<li><a href="https://discuss.ocaml.org/t/ann-sarif-0-1-0-static-analysis-results-interchange-format-sarif-for-ocaml/13821">[ANN] sarif 0.1.0 - Static Analysis Results Interchange Format (SARIF) For OCaml</a></li>
+</ul>
+</li>
+<li><a href="https://discuss.ocaml.org/t/ann-new-release-of-menhir-20231231/13816">[ANN] New release of Menhir (20231231)</a></li>
+</ul>
 ]]></content>
       <tags>
         <tag>Technique</tag>
@@ -982,75 +1051,6 @@
 <li><p><a href="https://discuss.ocaml.org/t/ann-docfd-tui-multiline-fuzzy-document-finder-2-2-0/14109/1">[ANN] Docfd: TUI multiline fuzzy document finder 2.2.0</a></p>
 </li>
 </ul>
-]]></content>
-      <tags>
-        <tag>Technique</tag>
-        <tag>OCaml</tag>
-      </tags>
-  </entry>
-  <entry>
-    <title>OCaml News 2024-2</title>
-    <url>/2024/01/18/OCaml-News-2024-2/</url>
-    <content><![CDATA[<h2 id="News"><a href="#News" class="headerlink" title="News"></a>News</h2><ul>
-<li><a href="https://discuss.ocaml.org/t/ann-preview-play-with-project-wide-occurrences-for-ocaml/13814">[ANN][PREVIEW] Play with project-wide occurrences for OCaml!</a></li>
-<li><a href="https://github.com/ocaml/dune/pull/8784">[Dune]: Add link flags ocamlmklib when using ctypes stubs. #8784</a></li>
-<li><a href="https://discuss.ocaml.org/t/ocaml-software-foundation-january-2024-update/13828">OCaml Software Foundation: January 2024 update</a></li>
-<li>[Apprendre à programmer avec OCaml](Apprendre à programmer avec OCaml)</li>
-<li><a href="https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827"><a href="https://discuss.ocaml.org/t/call-for-speakers-for-the-2024-carolina-code-conference-is-open-until-april-15th/13827">Call for Speakers for the 2024 Carolina Code Conference is open until April 15th</a></a></li>
-<li><a href="https://github.com/ocaml/ocaml/discussions/11924">[OCaml]: feature request: better errors #11924</a></li>
-<li><a href="https://discuss.ocaml.org/t/ocsigen-summary-of-recent-releases/13817">Ocsigen: summary of recent releases</a></li>
-</ul>
-<h2 id="Discussion"><a href="#Discussion" class="headerlink" title="Discussion"></a>Discussion</h2><ul>
-<li><a href="https://discuss.ocaml.org/t/benchmark-between-open-addressing-and-closed-addressing-hashtbl/13882">Benchmark between open-addressing and closed-addressing hashtbl</a></li>
-<li><a href="https://discuss.ocaml.org/t/examples-of-caqti-infix/13878">Examples of Caqti infix?</a></li>
-<li><a href="https://discuss.ocaml.org/t/why-can-t-i-create-a-project-with-non-ascii-characters/13865">Why can’t I create a project with non-ASCII characters? </a></li>
-<li><a href="https://discuss.ocaml.org/t/old-self-taught-vs-uni-debate-landscape-for-former-jane-street/13851">Old self-taught vs. uni debate; Landscape for former; Jane Street</a></li>
-<li><a href="https://discuss.ocaml.org/t/toml-file-parser/13854">Is there an easy way to read the values from a toml file?</a></li>
-<li><a href="https://discuss.ocaml.org/t/generate-typed-ast-fragments/13824">Generate typed AST fragments</a></li>
-<li><a href="https://discuss.ocaml.org/t/partially-apply-function-accepting-multiple-modules-and-keep-polymorphic-types/13823">Partially apply function accepting multiple modules and keep polymorphic types</a></li>
-<li><a href="https://discuss.ocaml.org/t/printing-unicode-characters-on-different-platforms/13813">Printing Unicode Characters on Different Platforms</a></li>
-</ul>
-<h2 id="Videos"><a href="#Videos" class="headerlink" title="Videos"></a>Videos</h2><ul>
-<li><a href="https://watch.ocaml.org/w/iQNqZzA8gVmd4RQaycAwx4">Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich</a></li>
-</ul>
-<h2 id="Blogs"><a href="#Blogs" class="headerlink" title="Blogs"></a>Blogs</h2><ul>
-<li><a href="https://discuss.ocaml.org/t/advice-for-combining-multiple-monads/10409">Advice for combining multiple monads</a></li>
-<li><a href="https://discuss.ocaml.org/t/writing-ctypes-bindings-to-system-shared-libraries-for-bytecode-targets-via-the-dune-ctypes-stanza/13844">Writing ctypes bindings to system shared libraries for bytecode targets via the dune ctypes stanza</a></li>
-</ul>
-<h2 id="Highlighted-Projects"><a href="#Highlighted-Projects" class="headerlink" title="Highlighted Projects"></a>Highlighted Projects</h2><ul>
-<li><a href="https://github.com/johnyob/grace">Grace: A fancy diagnostics library that allows your compilers to exit with grace</a></li>
-<li><a href="https://github.com/thierry-martinez/metapp">meta-pp: Meta-preprocessor for OCaml</a></li>
-<li><a href="https://github.com/stedolan/ppx_stage">ppx_stage: Staged metaprogramming in stock OCaml</a></li>
-<li><a href="https://erratique.ch/software/cmarkit">Cmarkit is an <a href="http://ocaml.org/">OCaml</a> libary for parsing the <a href="https://spec.commonmark.org/">CommonMark</a> specification.</a></li>
-<li><a href="https://erratique.ch/software/brr">Brr is a toolkit for programming browsers in <a href="http://ocaml.org/">OCaml</a> with the <a href="http://ocsigen.org/js_of_ocaml/">js_of_ocaml</a> compiler. It provides:</a></li>
-<li><a href="https://erratique.ch/software/zipc">Zipc is an in-memory <a href="https://pkware.cachefly.net/webdocs/casestudies/APPNOTE.TXT">ZIP</a> archive and <a href="https://www.rfc-editor.org/rfc/rfc1951">deflate</a> compression codec for <a href="http://ocaml.org/">OCaml</a>.</a></li>
-<li><a href="https://github.com/lukstafi/ocaml-gccjit">ocaml-gccjit: OCaml bindings for libgccjit</a></li>
-<li><a href="https://github.com/whitequark/ocaml-m17n">ocaml-m17n: Multilingualization for the OCaml source code</a></li>
-<li><a href="https://github.com/hackwaly/ocamlearlybird">ocamlearlybird: OCaml debug adapter</a></li>
-<li><a href="https://github.com/dmbaturin/otoml">otoml: TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)</a></li>
-<li><a href="https://github.com/mattjbray/ocaml-decoders">ocaml-decoders: Elm-inspired decoders for Ocaml</a></li>
-<li><a href="https://github.com/OCamlPro/ez_toml">ez_toml: A library to parse and print TOML files</a></li>
-</ul>
-<h2 id="New-Releases"><a href="#New-Releases" class="headerlink" title="New Releases"></a>New Releases</h2><ul>
-<li><a href="http://cambium.inria.fr/~fpottier/oma/doc/oma/Oma/index.html">Oma: OCaml implementation of ‘Two Simplified Algorithms for Maintaining Order in a List’</a><ul>
-<li><a href="https://discuss.ocaml.org/t/ann-first-release-of-oma/13845">[ANN] First release of oma</a></li>
-<li><a href="https://erikdemaine.org/papers/DietzSleator_ESA2002/paper.pdf">Two Simplified Algorithms for Maintaining Order in a List</a></li>
-</ul>
-</li>
-<li><a href="https://github.com/hackwaly/ocamlearlybird">ocamlearlybird: v1.3.0</a><ul>
-<li><a href="https://discuss.ocaml.org/t/ann-ocamlearlybird-just-got-ability-to-inspect-opaque-abstract-values/13852">[ANN] Ocamlearlybird just got ability to inspect opaque&#x2F;abstract values</a></li>
-</ul>
-</li>
-<li><a href="https://github.com/Axot017/validate">validate: OCaml Data Validation library</a><ul>
-<li><a href="https://discuss.ocaml.org/t/ann-validate-a-new-library-for-data-validation/13861">[ANN] Validate - A New Library for Data Validation</a></li>
-</ul>
-</li>
-<li><a href="https://github.com/gborough/sarif">sarif v2.1.0: Static Analysis Results Interchange Format (SARIF) For OCaml</a><ul>
-<li><a href="https://discuss.ocaml.org/t/ann-sarif-0-1-0-static-analysis-results-interchange-format-sarif-for-ocaml/13821">[ANN] sarif 0.1.0 - Static Analysis Results Interchange Format (SARIF) For OCaml</a></li>
-</ul>
-</li>
-<li><a href="https://discuss.ocaml.org/t/ann-new-release-of-menhir-20231231/13816">[ANN] New release of Menhir (20231231)</a></li>
-</ul>
 ]]></content>
       <tags>
         <tag>Technique</tag>
diff --git a/tag/index.html b/tag/index.html
index b8d6a825..38f6a032 100644
--- a/tag/index.html
+++ b/tag/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Archive/index.html b/tags/Archive/index.html
index 19a9e11f..f51b5342 100644
--- a/tags/Archive/index.html
+++ b/tags/Archive/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Clojure/index.html b/tags/Clojure/index.html
index 1664d15b..85a7b55f 100644
--- a/tags/Clojure/index.html
+++ b/tags/Clojure/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/ClojureScript/index.html b/tags/ClojureScript/index.html
index aaeb6296..03b2205b 100644
--- a/tags/ClojureScript/index.html
+++ b/tags/ClojureScript/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Compilation/index.html b/tags/Compilation/index.html
index 3f2f52ed..470df928 100644
--- a/tags/Compilation/index.html
+++ b/tags/Compilation/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Database/index.html b/tags/Database/index.html
index a6bf2f9f..989f6cb5 100644
--- a/tags/Database/index.html
+++ b/tags/Database/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Design/index.html b/tags/Design/index.html
index 4df16c29..7bdbb3df 100644
--- a/tags/Design/index.html
+++ b/tags/Design/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/F/index.html b/tags/F/index.html
index ad45cbc8..e49576bb 100644
--- a/tags/F/index.html
+++ b/tags/F/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Life/index.html b/tags/Life/index.html
index 5c3ddfa9..acd30cd1 100644
--- a/tags/Life/index.html
+++ b/tags/Life/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Life/page/2/index.html b/tags/Life/page/2/index.html
index 8a01aea0..6ee52346 100644
--- a/tags/Life/page/2/index.html
+++ b/tags/Life/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Medicine/index.html b/tags/Medicine/index.html
index 3c2bc110..e36ee4a6 100644
--- a/tags/Medicine/index.html
+++ b/tags/Medicine/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Medicine/page/2/index.html b/tags/Medicine/page/2/index.html
index 1cc4e826..2ebb6710 100644
--- a/tags/Medicine/page/2/index.html
+++ b/tags/Medicine/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Medicine/page/3/index.html b/tags/Medicine/page/3/index.html
index acc62c37..1bb079a3 100644
--- a/tags/Medicine/page/3/index.html
+++ b/tags/Medicine/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Music/index.html b/tags/Music/index.html
index c4620071..9b630cf2 100644
--- a/tags/Music/index.html
+++ b/tags/Music/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html
index 905d2dcf..9eb637f7 100644
--- a/tags/OCaml/index.html
+++ b/tags/OCaml/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/OCaml/page/2/index.html b/tags/OCaml/page/2/index.html
index 6170c04f..0d10b8e5 100644
--- a/tags/OCaml/page/2/index.html
+++ b/tags/OCaml/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Obsidian/index.html b/tags/Obsidian/index.html
index 978da70f..89e2fe0f 100644
--- a/tags/Obsidian/index.html
+++ b/tags/Obsidian/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Rescript/index.html b/tags/Rescript/index.html
index 26d326d1..fcd1413f 100644
--- a/tags/Rescript/index.html
+++ b/tags/Rescript/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Rust/index.html b/tags/Rust/index.html
index dcb750ce..8994018f 100644
--- a/tags/Rust/index.html
+++ b/tags/Rust/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Software-Engineering/index.html b/tags/Software-Engineering/index.html
index ef4bd7c3..e2d9cb78 100644
--- a/tags/Software-Engineering/index.html
+++ b/tags/Software-Engineering/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Techinique/index.html b/tags/Techinique/index.html
index 8b069422..9f96d479 100644
--- a/tags/Techinique/index.html
+++ b/tags/Techinique/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Technique/index.html b/tags/Technique/index.html
index a052a569..c87f9fc9 100644
--- a/tags/Technique/index.html
+++ b/tags/Technique/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Technique/page/2/index.html b/tags/Technique/page/2/index.html
index f62c2d20..b3cb77cb 100644
--- a/tags/Technique/page/2/index.html
+++ b/tags/Technique/page/2/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Technique/page/3/index.html b/tags/Technique/page/3/index.html
index e66ba522..dd3f54aa 100644
--- a/tags/Technique/page/3/index.html
+++ b/tags/Technique/page/3/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Technique/page/4/index.html b/tags/Technique/page/4/index.html
index 338658cc..44b52800 100644
--- a/tags/Technique/page/4/index.html
+++ b/tags/Technique/page/4/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/TypeScript/index.html b/tags/TypeScript/index.html
index df5d97d9..cffc038b 100644
--- a/tags/TypeScript/index.html
+++ b/tags/TypeScript/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Typescript/index.html b/tags/Typescript/index.html
index 18cabe0b..e4b6c422 100644
--- a/tags/Typescript/index.html
+++ b/tags/Typescript/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/UI-UX/index.html b/tags/UI-UX/index.html
index a7942ead..3db4c568 100644
--- a/tags/UI-UX/index.html
+++ b/tags/UI-UX/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
diff --git a/tags/Web/index.html b/tags/Web/index.html
index 60fe0f78..ce2d5cd4 100644
--- a/tags/Web/index.html
+++ b/tags/Web/index.html
@@ -128,6 +128,7 @@
     </div>
   </div>
 </div>
+<script src="/js/menu.js"></script>
 
 
       <div class="main">
-- 
cgit v1.2.3