From fa7d4d49a970399264796b593c9c599c01203981 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Sun, 7 May 2023 10:08:01 +0000 Subject: deploy: f6c1f85e63b3d94a5ff4ec17f17ef52b415ea5e7 --- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- "2023/03/01/\346\260\224\350\203\270/index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- "2023/04/22/\346\262\231\346\274\240/index.html" | 8 +- .../index.html" | 8 +- .../index.html" | 8 +- 2023/04/29/OCaml_News_20230429/index.html | 8 +- .../index.html" | 8 +- 2023/05/06/OCaml_News_20230506/index.html | 8 +- Projects-en.html | 394 ++++++++++++++++++++ Projects.html | 401 +++++++++++++++++++++ about.html | 30 +- archives/2020/12/index.html | 8 +- archives/2020/index.html | 8 +- archives/2021/02/index.html | 8 +- archives/2021/03/index.html | 8 +- archives/2021/index.html | 8 +- archives/2022/01/index.html | 8 +- archives/2022/03/index.html | 8 +- archives/2022/08/index.html | 8 +- archives/2022/09/index.html | 8 +- archives/2022/10/index.html | 8 +- archives/2022/11/index.html | 8 +- archives/2022/12/index.html | 8 +- archives/2022/index.html | 8 +- archives/2023/01/index.html | 8 +- archives/2023/02/index.html | 8 +- archives/2023/03/index.html | 8 +- archives/2023/04/index.html | 8 +- archives/2023/05/index.html | 8 +- archives/2023/index.html | 8 +- archives/2023/page/2/index.html | 8 +- archives/index.html | 8 +- archives/page/2/index.html | 8 +- archives/page/3/index.html | 8 +- archives/page/4/index.html | 8 +- categories/gallery/index.html | 8 +- categories/gallery/page/2/index.html | 8 +- categories/gallery/page/3/index.html | 8 +- index.html | 12 +- page/2/index.html | 12 +- page/3/index.html | 12 +- page/4/index.html | 12 +- tag/index.html | 8 +- tags/Life/index.html | 8 +- tags/Medicine/index.html | 8 +- tags/OCaml/index.html | 8 +- tags/Technique/index.html | 8 +- 73 files changed, 891 insertions(+), 510 deletions(-) create mode 100644 Projects-en.html create mode 100644 Projects.html 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 9eadba15..8dfea5b0 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" @@ -98,13 +98,7 @@ - - - - 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 1e880857..4c380f98 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" @@ -98,13 +98,7 @@ - - - - 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 8518744d..ba920c5d 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" @@ -98,13 +98,7 @@ - - - - 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 d51c55e1..380b1886 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" @@ -98,13 +98,7 @@ - - - - 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 8796bbd8..9a9bc17a 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" @@ -98,13 +98,7 @@ - - - - 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 136ad74b..75fa92cd 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" @@ -98,13 +98,7 @@ - - - - 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 a8aa994a..ab89790a 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" @@ -98,13 +98,7 @@ - - - - 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 84293f2e..ffc54e76 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" @@ -98,13 +98,7 @@ - - - - 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 a0213ced..b0f55fb4 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" @@ -98,13 +98,7 @@ - - - - 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 e8b33d72..541abdf3 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" @@ -98,13 +98,7 @@ - - - - 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 42e20962..c76473bf 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" @@ -98,13 +98,7 @@ - - - - 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 61a1d64c..995f6c70 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" @@ -98,13 +98,7 @@ - - - - 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 b0e29580..b7c69560 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" @@ -98,13 +98,7 @@ - - - - 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 3e84a4f0..368f14aa 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" @@ -98,13 +98,7 @@ - - - - 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 cdb372eb..21b4207c 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" @@ -98,13 +98,7 @@ - - - - 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 2d0422ce..c30d58d6 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" @@ -98,13 +98,7 @@ - - - - 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 687afe4a..03faed98 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" @@ -98,13 +98,7 @@ - - - - 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 a63a5025..4819bca7 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" @@ -98,13 +98,7 @@ - - - - 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 0d2d1f7c..95173db8 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" @@ -98,13 +98,7 @@ - - - - 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 e952370c..a089a79e 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" @@ -98,13 +98,7 @@ - - - - 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 e82b9d2c..9c32a1e4 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" @@ -98,13 +98,7 @@ - - - - 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 9d0f8955..bb207353 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" @@ -98,13 +98,7 @@ - - - - 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 a2e3ab4f..1aa56c3b 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" @@ -98,13 +98,7 @@ - - - - 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 0a0c709d..86d13108 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" @@ -98,13 +98,7 @@ - - - - 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 0aaf0520..d0ebe6d3 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" @@ -98,13 +98,7 @@ - - - - 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 32b8f495..40a599be 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" @@ -98,13 +98,7 @@ - - - - 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 4a75e619..c07ed4a6 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" @@ -98,13 +98,7 @@ - - - - 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 00246659..a1bedd8e 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" @@ -98,13 +98,7 @@ - - - - diff --git "a/2023/04/22/\346\262\231\346\274\240/index.html" "b/2023/04/22/\346\262\231\346\274\240/index.html" index de4e5cfc..a719934e 100644 --- "a/2023/04/22/\346\262\231\346\274\240/index.html" +++ "b/2023/04/22/\346\262\231\346\274\240/index.html" @@ -98,13 +98,7 @@ - - - - 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 2286a0aa..484f4a12 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" @@ -98,13 +98,7 @@ - - - - diff --git "a/2023/04/27/\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\270\203\346\227\245/index.html" "b/2023/04/27/\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\270\203\346\227\245/index.html" index ffd82031..b18632b6 100644 --- "a/2023/04/27/\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\270\203\346\227\245/index.html" +++ "b/2023/04/27/\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\270\203\346\227\245/index.html" @@ -98,13 +98,7 @@ - - - - diff --git a/2023/04/29/OCaml_News_20230429/index.html b/2023/04/29/OCaml_News_20230429/index.html index 67c9759d..80019c60 100644 --- a/2023/04/29/OCaml_News_20230429/index.html +++ b/2023/04/29/OCaml_News_20230429/index.html @@ -98,13 +98,7 @@ - - - - diff --git "a/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" "b/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" index bce17e0c..0e17ea7c 100644 --- "a/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" +++ "b/2023/05/04/OCaml-Effects\347\256\200\346\230\216\346\225\231\347\250\213/index.html" @@ -98,13 +98,7 @@ - - - - diff --git a/2023/05/06/OCaml_News_20230506/index.html b/2023/05/06/OCaml_News_20230506/index.html index 802a930f..591af928 100644 --- a/2023/05/06/OCaml_News_20230506/index.html +++ b/2023/05/06/OCaml_News_20230506/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/Projects-en.html b/Projects-en.html new file mode 100644 index 00000000..12594c40 --- /dev/null +++ b/Projects-en.html @@ -0,0 +1,394 @@ + + + + + + + + + + + + + + + + + + + + + +Projects | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+ + + +
+
+
+ + +
+
+
+ + +
+ +
+
+
+

This page is some projects I wrote while studying computer science, in no particular order

+
+ +

A simple container

+ +
+

This is a container implementation on Linux, mainly to study the container technologies of Docker and some features of Linux. It was first implemented with Rust, and finally refactored with OCaml

+
+
+
+ +
+ +

LSM-Tree-based KV storage implemented using F#

+ +
+

Research on some principles of HBase and RocksDB

+
+
+
+ + +
+ +

A simple, fast and smooth web server implemented by F#

+ +
+

Explore related network libraries and Web principles of .NET Core

+
+
+
+ + +
+ +

Tie Muqiu: A robot overlooking the world

+ +
+

This project was originally a QQ robot, which was later decoupled to support replying to various sources, such as QQ, terminals, microphones, etc.

+
+
+
+ + +
+ +

Lisp implementation written by OCaml

+ +
+

This is just a toy, it was written to learn OCaml, nothing new

+
+
+
+ + +
+ +

A simple Linux C++ debugger

+ +
+

The purpose of this project is to learn C++ and some operating system principles

+
+
+
+ + + +
+ +

Blockchain system implemented by Racket

+ +
+

Works to learn basics of Racket and Blockchain

+
+
+
+ + +
+ +

OpheliaOS

RISC-V operating system kernel

+ +
+

RISC-V operating system kernel written in Rust according to the rCore tutorial

+
+
+ + + +
+ +

Annabear

Parser Combinators library written by OCaml

+ +
+

Study Parser Combinator

+
+
+ + + +
+ +

rust-colog

A minimalist Rust logging library with color coding

+ +
+

Fork the logging library from chrivers/rust-colog, adding time information and better styles

+
+
+ + + +
+ +

crp

Image color replacement tool

+ +
+

A simple command-line tool written in Rust to transform the colors in an image

+
+
+ + + +
+ +

ocaml-random-str

Random string library based on Xorshift algorithm

+ +
+

Study Parser Combinator

+
+
+ + + +
+ +

ocaml-snowflake

The snnowflake algorithm implemented using OCaml

+ +
+

Snowflake is an open source distributed ID generation algorithm based on Twitter.

+
+
+ + + +
+ +

simlog

A minimal log library implemented by OCaml

+ +
+

Currently Fork from Lucid, but plan to re-implement it by myself

+
+
+ + + +
+ +

Ocason

Another OCaml JSON library

+> Fork from [nogw/ocason](https://github.com/nogw/ocason), I converted it to a pure Dune project, fixed some test bugs + +
+ + + +
+ +

ws-ocaml

OCaml's minimalist WebSocket server implementation

+ +
+

Fork from https://github.com/krtx/ws-ocaml, compatible with OCaml5 environment and make it more comprehensive

+
+
+ + + +
+ +

omtl

A minimal test library for OCaml

+ +
+

Sometimes I just need a simple test to test something

+
+
+ + + +
+ +

ocaml_ptrace

OCaml's ptrace function binding

+> Fork from [williamleferrand/ocaml-ptrace](https://github.com/williamleferrand/ocaml-ptrace), added dune support + +
+ + + +
+ +

FsExecute

Simple and fast execution of shell commands asynchronously in F#

+ +
+ + + +
+ +

Ream

A zero-dependency, low-level web server written by Racket

+ +
+

Look at the Racket official website tutorial to learn

+
+
+ + + +
+ +

Autumn Theme

VSCode theme

+> This is a VSCode theme series, including Dark, Gray, Light three colors. It's okay to design it yourself. + +
+ +
+ + + +
+
+
+ + + +
+ + + + + + diff --git a/Projects.html b/Projects.html new file mode 100644 index 00000000..ee21716f --- /dev/null +++ b/Projects.html @@ -0,0 +1,401 @@ + + + + + + + + + + + + + + + + + + + + + +项目 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+ + + +
+
+
+ + +
+
+
+ + +
+ +
+
+
+

这个页面是一些我在学习计算机科学的过程中编写的项目,不分先后

+
+ +

一个简陋的容器

+ +
+

这是一个Linux上的容器实现,主要是为了研究Docker这些容器技术以及Linux的一些Feature,最初用Rust实现,最后用OCaml重构

+
+
+
+ + +
+ +

使用F#实现的基于LSM-Tree的KV存储

+ +
+

对于HBase和RocksDB的一些原理探究

+
+
+
+ + +
+ +

F#实现的极简快速,平滑的Web服务器

+ +
+

探索.NET Core的相关网络库以及Web原理

+
+
+
+ + +
+ +

铁暮秋:一个俯瞰世界的机器人

+ +
+

这个项目其实最初是一个QQ机器人,后来解耦,支持对各种消息源做出回复,比如QQ,终端,麦克风等。

+
+
+
+ + +
+ +

OCaml编写的Lisp实现

+ +
+

这就是个玩具,当初为了学OCaml写的,没啥新意

+
+
+
+ + +
+ +

简陋的Linux C++调试器

+ +
+

这个项目的目的是为了学习C++和一些操作系统原理

+
+
+
+ + + +
+ +

Racket实现的区块链系统

+ +
+

学习Racket和区块链基础知识的作品

+
+
+
+ + +
+ +

OpheliaOS

RISC-V操作系统内核

+ +
+

根据rCore教程使用Rust编写的RISC-V操作系统内核

+
+
+ + + +
+ +

Annabear

OCaml编写的Parser Combinators库

+ +
+

研究Parser Combinator

+
+
+ + + +
+ +

rust-colog

具有颜色编码的极简Rust日志库

+ +
+

Fork自chrivers/rust-colog的日志库,添加了时间信息以及更优质的样式

+
+
+ + + +
+ +

crp

图像颜色替换工具

+ +
+

Rust编写的简单命令行工具,用于转换一个图片中的颜色

+
+
+ + + +
+ +

ocaml-random-str

基于Xorshift算法编写的随机字符串库

+ +
+

研究Parser Combinator

+
+
+ + + +
+ +

ocaml-snowflake

使用OCaml实现的snnowflake算法

+ +
+

Snowflake 是一种基于 Twitter 的开源分布式 ID 生成算法。

+
+
+ + + +
+ +

simlog

OCaml实现的极简日志库

+ +
+

目前Fork自Lucid,但打算自己重新实现一下

+
+
+ + + +
+ +

Ocason

另一个OCaml JSON库

+ +
+

Fork自nogw/ocason,我将其转换为了纯粹的Dune项目,修复了一些测试Bug

+
+
+ + + +
+ +

ws-ocaml

OCaml的极简WebSocket服务器实现

+ +
+

Fork自https://github.com/krtx/ws-ocaml,兼容了OCaml5环境并使其更全面

+
+
+ + + +
+ +

omtl

OCaml的极简测试库

+ +
+

有时候我只是需要简单测试测试一些东西

+
+
+ + + +
+ +

ocaml_ptrace

OCaml的ptrace函数绑定

+ +
+

Fork自williamleferrand/ocaml-ptrace,添加了dune支持

+
+
+ + + +
+ +

FsExecute

简单快速的在F#中异步执行shell命令

+ +
+ + + +
+ +

ream

Racket编写的零依赖,低级Web服务器

+ +
+

看Racket官网教程学习的

+
+
+ + + +
+ +

Autumn Theme

VSCode主题

+ +
+

这是一个VSCode主题系列,包含Dark, Grey, Light三种配色。闲的没事自己设计的。

+
+
+ +
+ + + +
+
+
+ + + +
+ + + + + + diff --git a/about.html b/about.html index 9158ac86..36841de2 100644 --- a/about.html +++ b/about.html @@ -98,13 +98,7 @@ - - - - @@ -146,11 +140,13 @@
-

计算机科学

+ + +
- - - + + +

我热衷于实用函数式编程,尤其是ML语言家族。喜欢用OCaml研究编程语言编译器,用F#写Web全栈项目。Rescript很年轻,很有活力,我很期待!


@@ -159,16 +155,10 @@

Scala和Clojure可以让我在JVM上获得些许快乐。


一些简单的脚本用Python和Racket是非常不错的解决方案

-

医学

传统中医学:

+
+ +

关于我在学习过程中编写的开源项目,可以看: 项目列表

-

及大量西医基础药学理论基础。

-

链接

diff --git a/archives/2020/12/index.html b/archives/2020/12/index.html index 7b7fb4e8..e552009f 100644 --- a/archives/2020/12/index.html +++ b/archives/2020/12/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2020/index.html b/archives/2020/index.html index 6f366f92..fa89daba 100644 --- a/archives/2020/index.html +++ b/archives/2020/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2021/02/index.html b/archives/2021/02/index.html index 50624d3a..ced85400 100644 --- a/archives/2021/02/index.html +++ b/archives/2021/02/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2021/03/index.html b/archives/2021/03/index.html index 95ff4403..04880c46 100644 --- a/archives/2021/03/index.html +++ b/archives/2021/03/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2021/index.html b/archives/2021/index.html index 66dc9ef1..033acd1b 100644 --- a/archives/2021/index.html +++ b/archives/2021/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/01/index.html b/archives/2022/01/index.html index 11ecbb41..774402e9 100644 --- a/archives/2022/01/index.html +++ b/archives/2022/01/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/03/index.html b/archives/2022/03/index.html index 796eb652..83056989 100644 --- a/archives/2022/03/index.html +++ b/archives/2022/03/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/08/index.html b/archives/2022/08/index.html index e26ab47b..3b21af05 100644 --- a/archives/2022/08/index.html +++ b/archives/2022/08/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/09/index.html b/archives/2022/09/index.html index 22f004f8..6ae21e51 100644 --- a/archives/2022/09/index.html +++ b/archives/2022/09/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/10/index.html b/archives/2022/10/index.html index 72f6d4fb..70030911 100644 --- a/archives/2022/10/index.html +++ b/archives/2022/10/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/11/index.html b/archives/2022/11/index.html index 5a80a90c..9892d1b8 100644 --- a/archives/2022/11/index.html +++ b/archives/2022/11/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/12/index.html b/archives/2022/12/index.html index a6f38673..e66441c2 100644 --- a/archives/2022/12/index.html +++ b/archives/2022/12/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2022/index.html b/archives/2022/index.html index 37f0e8a2..58cdafea 100644 --- a/archives/2022/index.html +++ b/archives/2022/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/01/index.html b/archives/2023/01/index.html index 37d4fd5a..f4f11329 100644 --- a/archives/2023/01/index.html +++ b/archives/2023/01/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/02/index.html b/archives/2023/02/index.html index b5a557b5..f1c9b0bd 100644 --- a/archives/2023/02/index.html +++ b/archives/2023/02/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/03/index.html b/archives/2023/03/index.html index 027323dc..2787977a 100644 --- a/archives/2023/03/index.html +++ b/archives/2023/03/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/04/index.html b/archives/2023/04/index.html index b7611ccb..290b7845 100644 --- a/archives/2023/04/index.html +++ b/archives/2023/04/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/05/index.html b/archives/2023/05/index.html index b54cf310..7de5a819 100644 --- a/archives/2023/05/index.html +++ b/archives/2023/05/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/index.html b/archives/2023/index.html index adc6c363..9cddd170 100644 --- a/archives/2023/index.html +++ b/archives/2023/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html index 5101dfc7..55bf5217 100644 --- a/archives/2023/page/2/index.html +++ b/archives/2023/page/2/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/index.html b/archives/index.html index 6ab824d9..494b44ab 100644 --- a/archives/index.html +++ b/archives/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/page/2/index.html b/archives/page/2/index.html index b5446f3b..500cf759 100644 --- a/archives/page/2/index.html +++ b/archives/page/2/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/page/3/index.html b/archives/page/3/index.html index 6a1bdbd7..f52b7960 100644 --- a/archives/page/3/index.html +++ b/archives/page/3/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/archives/page/4/index.html b/archives/page/4/index.html index 1a630e3a..b0416524 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/categories/gallery/index.html b/categories/gallery/index.html index 1d7ff715..f5565055 100644 --- a/categories/gallery/index.html +++ b/categories/gallery/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/categories/gallery/page/2/index.html b/categories/gallery/page/2/index.html index 3a23aea4..d4ca7108 100644 --- a/categories/gallery/page/2/index.html +++ b/categories/gallery/page/2/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/categories/gallery/page/3/index.html b/categories/gallery/page/3/index.html index 12db999d..bf222569 100644 --- a/categories/gallery/page/3/index.html +++ b/categories/gallery/page/3/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/index.html b/index.html index 0a9ef087..8e781856 100644 --- a/index.html +++ b/index.html @@ -98,13 +98,7 @@ - - - - @@ -152,6 +146,10 @@ 技术
+ + diff --git a/page/2/index.html b/page/2/index.html index c89e11a8..24ec6f5d 100644 --- a/page/2/index.html +++ b/page/2/index.html @@ -98,13 +98,7 @@ - - - - @@ -152,6 +146,10 @@ 技术 + + diff --git a/page/3/index.html b/page/3/index.html index c89e11a8..24ec6f5d 100644 --- a/page/3/index.html +++ b/page/3/index.html @@ -98,13 +98,7 @@ - - - - @@ -152,6 +146,10 @@ 技术 + + diff --git a/page/4/index.html b/page/4/index.html index c89e11a8..24ec6f5d 100644 --- a/page/4/index.html +++ b/page/4/index.html @@ -98,13 +98,7 @@ - - - - @@ -152,6 +146,10 @@ 技术 + + diff --git a/tag/index.html b/tag/index.html index 7d0d313f..e152f7d7 100644 --- a/tag/index.html +++ b/tag/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/tags/Life/index.html b/tags/Life/index.html index 90619332..a5cf04ac 100644 --- a/tags/Life/index.html +++ b/tags/Life/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/tags/Medicine/index.html b/tags/Medicine/index.html index cfaa97f9..2f11a091 100644 --- a/tags/Medicine/index.html +++ b/tags/Medicine/index.html @@ -97,14 +97,8 @@ - - - - diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html index f5397698..6b62a65e 100644 --- a/tags/OCaml/index.html +++ b/tags/OCaml/index.html @@ -98,13 +98,7 @@ - - - - diff --git a/tags/Technique/index.html b/tags/Technique/index.html index a902dc59..ef754e49 100644 --- a/tags/Technique/index.html +++ b/tags/Technique/index.html @@ -98,13 +98,7 @@ - - - - -- cgit v1.2.3