summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--2023/12/01/二〇二三年十二月一日/index.html2
-rw-r--r--2024/01/23/二〇二四年一月二十三日/index.html2
-rw-r--r--2024/02/26/OCaml-News-2024-3/index.html2
-rw-r--r--2024/03/22/二〇二四年三月二十二日/index.html2
-rw-r--r--2024/05/16/二〇二四年五月十六日/index.html2
-rw-r--r--2024/09/12/二〇二四年九月十二日/index.html2
-rw-r--r--2024/11/15/西柚对药物的影响/index.html5
-rw-r--r--2024/11/17/二〇二四年十一月十七日/index.html (renamed from 2024/03/12/二〇二四年三月十二日/index.html)19
-rw-r--r--archives/2024/03/index.html18
-rw-r--r--archives/2024/11/index.html18
-rw-r--r--archives/2024/index.html36
-rw-r--r--archives/2024/page/2/index.html36
-rw-r--r--archives/2024/page/3/index.html36
-rw-r--r--archives/index.html36
-rw-r--r--archives/page/2/index.html36
-rw-r--r--archives/page/3/index.html36
-rw-r--r--categories/gallery/index.html48
-rw-r--r--categories/gallery/page/2/index.html48
-rw-r--r--categories/gallery/page/3/index.html48
-rw-r--r--categories/gallery/page/4/index.html48
-rw-r--r--categories/gallery/page/5/index.html24
-rw-r--r--img/二〇二四年一月二十三日.jpgbin4554712 -> 740105 bytes
-rw-r--r--search.xml147
23 files changed, 339 insertions, 312 deletions
diff --git a/2023/12/01/二〇二三年十二月一日/index.html b/2023/12/01/二〇二三年十二月一日/index.html
index a5f98587..3953dd42 100644
--- a/2023/12/01/二〇二三年十二月一日/index.html
+++ b/2023/12/01/二〇二三年十二月一日/index.html
@@ -160,7 +160,7 @@
<div class="post-content">
<p>他说:“路挺远的,你慢走啊。”</p>
<p>我朗声回答:“放心,我与月光并肩走的,丢不了。”</p>
-<p>又坐地铁回去,太累,在地铁上靠着栏杆睡觉。把帽檐压下来一点儿,拒绝了地铁上陌生人的拍摄请求,做了个“嘘”的手势。</p>
+<p>又坐地铁回去,太累,把帽檐压下来一点儿, 在地铁上靠着栏杆睡觉。</p>
<p>长夜漫漫,星河天悬。</p>
<p>这年,我与世间的美好正式走到一起。以自由的姿态捱到结尾,新的篇章重新启航。</p>
<p>我是江湖河海上唯一的灯塔,不放过世间每一处美好的船。</p>
diff --git a/2024/01/23/二〇二四年一月二十三日/index.html b/2024/01/23/二〇二四年一月二十三日/index.html
index 0c878ab0..10732422 100644
--- a/2024/01/23/二〇二四年一月二十三日/index.html
+++ b/2024/01/23/二〇二四年一月二十三日/index.html
@@ -167,7 +167,7 @@
<p>这么些年的煎熬时光或许将你沉寂,或许掀起了惊涛骇浪,吞噬你的理智与晴空,令你彻底疯狂。</p>
<p>直到海浪卷起鱼群,波及到每一个地方,<br>直到风平浪静,晴空如洗。</p>
<hr>
-<p>嘿,几个小时之后,天际黎明乍现的那一瞬,会有一只无形的大手,将最后一层青灰色的夜幕轻轻抹去。</p>
+<p>但几个小时之后,天际黎明乍现的那一瞬,会有一只无形的大手,将最后一层青灰色的夜幕轻轻抹去。</p>
<p>晨光会从海平线迤逦而来,洒向鳞次栉比的高楼和错综复杂的街道。码头,树木,楼房,电线杆。</p>
<p>这个城市的每个角落都会渐渐苏醒,焕发出明亮的,生机勃勃的色彩。</p>
<p>这是我们此生最好的礼物。</p>
diff --git a/2024/02/26/OCaml-News-2024-3/index.html b/2024/02/26/OCaml-News-2024-3/index.html
index 210a91b3..d086de18 100644
--- a/2024/02/26/OCaml-News-2024-3/index.html
+++ b/2024/02/26/OCaml-News-2024-3/index.html
@@ -280,7 +280,7 @@
<div class="icon arrow-left"></div>
<div class="post-link">
- <a href="/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">Prev</a>
+ <a href="/2024/03/22/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">Prev</a>
</div>
</div>
diff --git a/2024/03/22/二〇二四年三月二十二日/index.html b/2024/03/22/二〇二四年三月二十二日/index.html
index 11a1dbd6..af100fe5 100644
--- a/2024/03/22/二〇二四年三月二十二日/index.html
+++ b/2024/03/22/二〇二四年三月二十二日/index.html
@@ -185,7 +185,7 @@
<div class="icon arrow-right"></div>
<div class="post-link">
- <a href="/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">Next</a>
+ <a href="/2024/02/26/OCaml-News-2024-3/">Next</a>
</div>
</div>
diff --git a/2024/05/16/二〇二四年五月十六日/index.html b/2024/05/16/二〇二四年五月十六日/index.html
index 2f85c873..36ce213d 100644
--- a/2024/05/16/二〇二四年五月十六日/index.html
+++ b/2024/05/16/二〇二四年五月十六日/index.html
@@ -170,8 +170,6 @@
<p>当有了一个目标,需要的不是豪言壮志,不是任何心理建设,而是尽快上手去做。<br>做一件事,无关心态,只要去做就是了。发挥最大的主观能动性,遇到问题就解决,碰到障碍就破开,需要帮助就求助。别因为所谓的自信就盲目冒进,也别因为所谓的自卑就胆小退缩,那俩玩意都不存在。</p>
<p>尊重事情本身的客观发展规律,什么样的人匹配什么样的事,什么样的条件匹配什么样的理想。别把心态想得太重要,更别花太多时间精力去建设心态,客观规律不会因为心态就发生奇迹般地转变。</p>
<p>你最好趁早学会尊重客观规律。</p>
-<hr>
-<p>此文很具体地阐述了唯物论基本原理和方法论。<br>在主体性被挑战后,意识到于其他主体而言,自己也必定是客体的不可违逆性律。<br>但在尊重客观规律的基础上,你可以抱有热情地最大程度发挥主观能动性。</p>
</div>
diff --git a/2024/09/12/二〇二四年九月十二日/index.html b/2024/09/12/二〇二四年九月十二日/index.html
index 48c44e9a..cdd03c90 100644
--- a/2024/09/12/二〇二四年九月十二日/index.html
+++ b/2024/09/12/二〇二四年九月十二日/index.html
@@ -158,7 +158,7 @@
</div>
</div>
<div class="post-content">
- <p>人只不过是一根苇草,是自然界最脆弱的东西,但却是一根能思想的苇草。用不着整个宇宙都拿起武器来才能毁灭人类,一口气、一滴水就足以致人类于死命了。然而纵使宇宙毁灭了人类,在人类的视角下自己却仍然要比致其于死命的东西高贵得多,因为人类知道自己要死亡,以及宇宙对其所具有的优势,而宇宙对此却是一无所知。</p>
+ <p>人只不过是一根苇草,是自然界最脆弱的东西,但却是一根能思想的苇草。用不着整个宇宙都拿起武器来才能毁灭人类,一口气、一滴水就足以致人类于死命了。然而纵使宇宙毁灭了人类,在人类的视角下自己却仍然要比致其于死命的东西高贵得多,因为人类知道自己要死亡,以及宇宙对其所具有的优势,还可以主动地认为宇宙对此一无所知。</p>
<p>寄蜉蝣于天地,渺沧海之一粟。人类在宇宙面前的大小不比一只金鱼大多少,金鱼不会知道在它生活的空间只是一名人类的玻璃缸,人类也无法得知在其看来无边无际的宇宙是不是只是高等文明收藏的一颗琥珀。</p>
<p>思想——人的全部尊严就在于思想。</p>
diff --git a/2024/11/15/西柚对药物的影响/index.html b/2024/11/15/西柚对药物的影响/index.html
index c2376f4f..e98ff8d6 100644
--- a/2024/11/15/西柚对药物的影响/index.html
+++ b/2024/11/15/西柚对药物的影响/index.html
@@ -184,6 +184,11 @@
<nav class="post-nav">
<div class="prev-item">
+ <div class="icon arrow-left"></div>
+ <div class="post-link">
+ <a href="/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/">Prev</a>
+ </div>
+
</div>
<div class="next-item">
diff --git a/2024/03/12/二〇二四年三月十二日/index.html b/2024/11/17/二〇二四年十一月十七日/index.html
index 82af8feb..caab1afa 100644
--- a/2024/03/12/二〇二四年三月十二日/index.html
+++ b/2024/11/17/二〇二四年十一月十七日/index.html
@@ -20,7 +20,7 @@
-<title>二〇二四年三月十二日 | 暮秋小屋</title>
+<title>二〇二四年十一月十七日 | 暮秋小屋</title>
@@ -143,22 +143,24 @@
<div class="post-title">
- 二〇二四年三月十二日
+ 二〇二四年十一月十七日
</div>
<span class="post-date">
- Mar 12, 2024
+ Nov 17, 2024
</span>
</div>
<div class="post-img">
- <div class="h-line-primary"></div>
+ <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5.jpg" alt="featured_image">
</div>
</div>
<div class="post-content">
-
+ <p>快乐是正面情绪的原型,许多思想家都说过,人类的所作所为,最终都是为了追求快乐。我们之所以想追求财富、健康或名声,都是为了借此得到快乐。然而,追求快乐也不是因为它可以带给我们其他好处,因为快乐本身就是目的。</p>
+<p>“世人皆以痛楚、孤独、悲伤为大境界,以为这就是深邃的人生,殊不知快乐才是人生的真谛。一个人获取快乐的能力才是真正有用的能力。伤春悲秋、离愁别绪太容易了,读几首诗词即可,但获取欢乐太难了非大丈夫不可为之。”</p>
+
</div>
<script>
@@ -169,17 +171,12 @@
<nav class="post-nav">
<div class="prev-item">
- <div class="icon arrow-left"></div>
- <div class="post-link">
- <a href="/2024/03/22/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">Prev</a>
- </div>
-
</div>
<div class="next-item">
<div class="icon arrow-right"></div>
<div class="post-link">
- <a href="/2024/02/26/OCaml-News-2024-3/">Next</a>
+ <a href="/2024/11/15/%E8%A5%BF%E6%9F%9A%E5%AF%B9%E8%8D%AF%E7%89%A9%E7%9A%84%E5%BD%B1%E5%93%8D/">Next</a>
</div>
</div>
diff --git a/archives/2024/03/index.html b/archives/2024/03/index.html
index e2a9d02d..946e7263 100644
--- a/archives/2024/03/index.html
+++ b/archives/2024/03/index.html
@@ -155,24 +155,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
-
- 二〇二四年三月十二日
-
- </a>
- </div>
-
- <span class="post-date">Mar 12, 2024</span>
- </div>
-
-
<div id="paginator">
</div>
diff --git a/archives/2024/11/index.html b/archives/2024/11/index.html
index 011bd972..f1ee8c33 100644
--- a/archives/2024/11/index.html
+++ b/archives/2024/11/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/">
+
+ 二〇二四年十一月十七日
+
+ </a>
+ </div>
+
+ <span class="post-date">Nov 17, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/11/15/%E8%A5%BF%E6%9F%9A%E5%AF%B9%E8%8D%AF%E7%89%A9%E7%9A%84%E5%BD%B1%E5%93%8D/">
西柚对药物的影响
diff --git a/archives/2024/index.html b/archives/2024/index.html
index 270b0520..fa09927a 100644
--- a/archives/2024/index.html
+++ b/archives/2024/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/">
+
+ 二〇二四年十一月十七日
+
+ </a>
+ </div>
+
+ <span class="post-date">Nov 17, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/11/15/%E8%A5%BF%E6%9F%9A%E5%AF%B9%E8%8D%AF%E7%89%A9%E7%9A%84%E5%BD%B1%E5%93%8D/">
西柚对药物的影响
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
-
- 二〇二四年九月十二日
-
- </a>
- </div>
-
- <span class="post-date">Sep 12, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/2024/page/2/index.html b/archives/2024/page/2/index.html
index 6bdae82d..e4e49bb1 100644
--- a/archives/2024/page/2/index.html
+++ b/archives/2024/page/2/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
+
+ 二〇二四年九月十二日
+
+ </a>
+ </div>
+
+ <span class="post-date">Sep 12, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/09/08/%E4%B8%AD%E8%80%81%E5%B9%B4%E4%BA%BA%E6%B2%89%E8%BF%B7%E6%89%8B%E6%9C%BA%E7%9A%84%E9%97%AE%E9%A2%98/">
中老年人沉迷手机的问题
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/06/27/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/">
-
- 二〇二四年六月二十七日
-
- </a>
- </div>
-
- <span class="post-date">Jun 27, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/2024/page/3/index.html b/archives/2024/page/3/index.html
index ba3788bf..b0a4c0d1 100644
--- a/archives/2024/page/3/index.html
+++ b/archives/2024/page/3/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/06/27/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/">
+
+ 二〇二四年六月二十七日
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 27, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/06/27/OCaml-News-2024-5/">
OCaml News 2024-5
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
-
- 二〇二四年三月十二日
-
- </a>
- </div>
-
- <span class="post-date">Mar 12, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/index.html b/archives/index.html
index c6c2c09e..2a23cc2d 100644
--- a/archives/index.html
+++ b/archives/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/">
+
+ 二〇二四年十一月十七日
+
+ </a>
+ </div>
+
+ <span class="post-date">Nov 17, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/11/15/%E8%A5%BF%E6%9F%9A%E5%AF%B9%E8%8D%AF%E7%89%A9%E7%9A%84%E5%BD%B1%E5%93%8D/">
西柚对药物的影响
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
-
- 二〇二四年九月十二日
-
- </a>
- </div>
-
- <span class="post-date">Sep 12, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/page/2/index.html b/archives/page/2/index.html
index e95f3a54..e138c996 100644
--- a/archives/page/2/index.html
+++ b/archives/page/2/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
+
+ 二〇二四年九月十二日
+
+ </a>
+ </div>
+
+ <span class="post-date">Sep 12, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/09/08/%E4%B8%AD%E8%80%81%E5%B9%B4%E4%BA%BA%E6%B2%89%E8%BF%B7%E6%89%8B%E6%9C%BA%E7%9A%84%E9%97%AE%E9%A2%98/">
中老年人沉迷手机的问题
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/06/27/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/">
-
- 二〇二四年六月二十七日
-
- </a>
- </div>
-
- <span class="post-date">Jun 27, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/page/3/index.html b/archives/page/3/index.html
index 69b1c77b..58c01220 100644
--- a/archives/page/3/index.html
+++ b/archives/page/3/index.html
@@ -144,6 +144,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2024/06/27/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/">
+
+ 二〇二四年六月二十七日
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 27, 2024</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2024/06/27/OCaml-News-2024-5/">
OCaml News 2024-5
@@ -299,24 +317,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/">
-
- 二〇二四年三月十二日
-
- </a>
- </div>
-
- <span class="post-date">Mar 12, 2024</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/categories/gallery/index.html b/categories/gallery/index.html
index b1db1046..58eedf21 100644
--- a/categories/gallery/index.html
+++ b/categories/gallery/index.html
@@ -142,6 +142,30 @@
</div>
<div class="post-title">
+ <a href="/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/"</a>
+
+ 二〇二四年十一月十七日
+
+ </a>
+ </div>
+ <span class="post-date">
+ Nov 17, 2024
+ </span>
+ </div>
+ <div class="post-img">
+
+ <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5.jpg" alt="featured_image">
+
+ </div>
+ </div>
+ <div class="h-line-secondary"></div>
+
+ <div class="post-gallery-item">
+ <div class="post-info">
+ <div class="tag-list">
+
+ </div>
+ <div class="post-title">
<a href="/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/"</a>
二〇二四年九月十二日
@@ -352,30 +376,6 @@
</div>
<div class="h-line-secondary"></div>
- <div class="post-gallery-item">
- <div class="post-info">
- <div class="tag-list">
-
- </div>
- <div class="post-title">
- <a href="/2024/01/23/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%89%E6%97%A5/"</a>
-
- 二〇二四年一月二十三日
-
- </a>
- </div>
- <span class="post-date">
- Jan 23, 2024
- </span>
- </div>
- <div class="post-img">
-
- <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%89%E6%97%A5.jpg" alt="featured_image">
-
- </div>
- </div>
- <div class="h-line-secondary"></div>
-
</div>
<div id="paginator">
diff --git a/categories/gallery/page/2/index.html b/categories/gallery/page/2/index.html
index c9e7c24c..0b913b86 100644
--- a/categories/gallery/page/2/index.html
+++ b/categories/gallery/page/2/index.html
@@ -142,6 +142,30 @@
</div>
<div class="post-title">
+ <a href="/2024/01/23/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%89%E6%97%A5/"</a>
+
+ 二〇二四年一月二十三日
+
+ </a>
+ </div>
+ <span class="post-date">
+ Jan 23, 2024
+ </span>
+ </div>
+ <div class="post-img">
+
+ <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%89%E6%97%A5.jpg" alt="featured_image">
+
+ </div>
+ </div>
+ <div class="h-line-secondary"></div>
+
+ <div class="post-gallery-item">
+ <div class="post-info">
+ <div class="tag-list">
+
+ </div>
+ <div class="post-title">
<a href="/2023/12/02/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E4%BA%8C%E6%97%A5/"</a>
二〇二三年十二月二日
@@ -352,30 +376,6 @@
</div>
<div class="h-line-secondary"></div>
- <div class="post-gallery-item">
- <div class="post-info">
- <div class="tag-list">
-
- </div>
- <div class="post-title">
- <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"</a>
-
- 二〇二三年六月二十九日
-
- </a>
- </div>
- <span class="post-date">
- Jun 29, 2023
- </span>
- </div>
- <div class="post-img">
-
- <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5.jpg" alt="featured_image">
-
- </div>
- </div>
- <div class="h-line-secondary"></div>
-
</div>
<div id="paginator">
diff --git a/categories/gallery/page/3/index.html b/categories/gallery/page/3/index.html
index 4a327359..8f772b74 100644
--- a/categories/gallery/page/3/index.html
+++ b/categories/gallery/page/3/index.html
@@ -142,6 +142,30 @@
</div>
<div class="post-title">
+ <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"</a>
+
+ 二〇二三年六月二十九日
+
+ </a>
+ </div>
+ <span class="post-date">
+ Jun 29, 2023
+ </span>
+ </div>
+ <div class="post-img">
+
+ <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5.jpg" alt="featured_image">
+
+ </div>
+ </div>
+ <div class="h-line-secondary"></div>
+
+ <div class="post-gallery-item">
+ <div class="post-info">
+ <div class="tag-list">
+
+ </div>
+ <div class="post-title">
<a href="/2023/06/10/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E5%8D%81%E6%97%A5/"</a>
二零二三年六月十日
@@ -352,30 +376,6 @@
</div>
<div class="h-line-secondary"></div>
- <div class="post-gallery-item">
- <div class="post-info">
- <div class="tag-list">
-
- </div>
- <div class="post-title">
- <a href="/2023/01/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"</a>
-
- 二零二三年一月二十一日
-
- </a>
- </div>
- <span class="post-date">
- Jan 21, 2023
- </span>
- </div>
- <div class="post-img">
-
- <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5.jpg" alt="featured_image">
-
- </div>
- </div>
- <div class="h-line-secondary"></div>
-
</div>
<div id="paginator">
diff --git a/categories/gallery/page/4/index.html b/categories/gallery/page/4/index.html
index 6fc037fc..4721b686 100644
--- a/categories/gallery/page/4/index.html
+++ b/categories/gallery/page/4/index.html
@@ -142,6 +142,30 @@
</div>
<div class="post-title">
+ <a href="/2023/01/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"</a>
+
+ 二零二三年一月二十一日
+
+ </a>
+ </div>
+ <span class="post-date">
+ Jan 21, 2023
+ </span>
+ </div>
+ <div class="post-img">
+
+ <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5.jpg" alt="featured_image">
+
+ </div>
+ </div>
+ <div class="h-line-secondary"></div>
+
+ <div class="post-gallery-item">
+ <div class="post-info">
+ <div class="tag-list">
+
+ </div>
+ <div class="post-title">
<a href="/2022/12/31/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E4%B8%89%E5%8D%81%E4%B8%80%E6%97%A5/"</a>
二零二二年十二月三十一日
@@ -352,30 +376,6 @@
</div>
<div class="h-line-secondary"></div>
- <div class="post-gallery-item">
- <div class="post-info">
- <div class="tag-list">
-
- </div>
- <div class="post-title">
- <a href="/2021/02/16/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5/"</a>
-
- 二零二一年二月十六日
-
- </a>
- </div>
- <span class="post-date">
- Feb 16, 2021
- </span>
- </div>
- <div class="post-img">
-
- <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5.webp" alt="featured_image">
-
- </div>
- </div>
- <div class="h-line-secondary"></div>
-
</div>
<div id="paginator">
diff --git a/categories/gallery/page/5/index.html b/categories/gallery/page/5/index.html
index a7e7321a..713302bd 100644
--- a/categories/gallery/page/5/index.html
+++ b/categories/gallery/page/5/index.html
@@ -142,6 +142,30 @@
</div>
<div class="post-title">
+ <a href="/2021/02/16/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5/"</a>
+
+ 二零二一年二月十六日
+
+ </a>
+ </div>
+ <span class="post-date">
+ Feb 16, 2021
+ </span>
+ </div>
+ <div class="post-img">
+
+ <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5.webp" alt="featured_image">
+
+ </div>
+ </div>
+ <div class="h-line-secondary"></div>
+
+ <div class="post-gallery-item">
+ <div class="post-info">
+ <div class="tag-list">
+
+ </div>
+ <div class="post-title">
<a href="/2021/02/14/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%9B%9B%E6%97%A5/"</a>
二零二一年二月十四日
diff --git a/img/二〇二四年一月二十三日.jpg b/img/二〇二四年一月二十三日.jpg
index c9c2c8c4..cf9ede6e 100644
--- a/img/二〇二四年一月二十三日.jpg
+++ b/img/二〇二四年一月二十三日.jpg
Binary files differ
diff --git a/search.xml b/search.xml
index 72881cc2..23cb7aeb 100644
--- a/search.xml
+++ b/search.xml
@@ -1122,6 +1122,68 @@
</tags>
</entry>
<entry>
+ <title>OCaml News 2024-5</title>
+ <url>/2024/06/27/OCaml-News-2024-5/</url>
+ <content><![CDATA[<h2 id="语言的发展"><a href="#语言的发展" class="headerlink" title="语言的发展"></a>语言的发展</h2><ul>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13097">Immutable arrays #13097: This PR proposes to add immutable arrays to OCaml.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13199">Support running native debuggers in ocamltest #13199</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13152">The Pattern-Matching Bug: fix totality information by gasche · Pull Request #13152 · ocaml&#x2F;ocaml</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/11974%23discussion_r1621832545">Add loongarch architecture support #11974</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13101">Add Stdlib.todo #13101</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-26-enhancing-the-ocaml-org-community-page-boosting-ux-and-ui-based-on-user-research/">Enhancing the OCaml.org Community Page: Boosting UX and UI Based on User Research.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-05-22-launching-the-first-class-windows-project/">Launching the First-Class Windows Project</a>.</li>
+</ul>
+<h2 id="新消息"><a href="#新消息" class="headerlink" title="新消息"></a>新消息</h2><ul>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-project-wide-occurrences-in-merlin-and-lsp/14847">[ANN] Project wide occurrences in Merlin and LSP</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-opam-2-2-0-rc1-release/14842">[ANN] opam 2.2.0 rc1 release</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-first-release-of-baby/14840">[ANN] First release of baby</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://github.com/fpottier/baby">baby</a> is an OCaml library that offers several implementations of balanced binary search trees.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-preview-of-stripe-client-and-mock-server-dkstdrestapis/14841">[ANN] Preview of Stripe client and mock server - DkStdRestApis</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-caisar-release-2-0-a-platform-for-characterizing-ai-safety-and-robustness/14831">[ANN] CAISAR release 2.0, a platform for characterizing AI safety and robustness</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-forester-4-1/14800">[ANN] Forester 4.1</a>.</p>
+</li>
+<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-dream-html-pure-html-3-5-2/14808">[ANN] dream-html &amp; pure-html 3.5.2</a></p>
+</li>
+</ul>
+<h2 id="有价值的文章"><a href="#有价值的文章" class="headerlink" title="有价值的文章"></a>有价值的文章</h2><ul>
+<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-19-keeping-up-with-the-compiler-how-we-help-maintain-the-ocaml-language/">Keeping Up With the Compiler: How we Help Maintain the OCaml Language</a></li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/10995">Explain mapping between OCaml memory model and C.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://xavierleroy.org/CdF/2023-2024/index.html">Control structures – Xavier Leroy</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://dev.to/chshersh/8-months-of-ocaml-after-8-years-of-haskell-in-production-h96">8 months of OCaml after 8 years of Haskell in production</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://hypirion.com/musings/getting-ocaml-through-the-eye-of-a-needle">Getting OCaml Through the Eye of a Needle</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-05-secure-from-the-ground-up-introducing-the-fides-project-combining-risc-v-and-mirageos/">Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-05-29-effective-ml-through-merlin-s-destruct-command/">Effective ML Through Merlin’s Destruct Command.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://blog.osau.re/articles/reproducible.html">Dinosaure’s website - Reproducibility!</a></li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/experiments-in-jitting/14853">Experiments in JITting</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/how-to-write-an-efficient-cp-r-clone-with-eio/14848">How to write an efficient ‘cp -R’ clone with Eio?</a></li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/generating-infix-extension-nodes-with-ppxlib/14833">Generating infix extension nodes with Ppxlib</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/this-made-my-day-float-to-string-and-string-of-float-without-loss-of-precision/14825">This made my day (float to string and string of float without loss of precision)</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/help-with-cryptic-dependency-cycle-compile-errors-using-dune-build/14864">Help with cryptic dependency cycle compile errors using <code>dune build</code></a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/why-does-relaxed-value-restriction-treat-function-types-differently/14802">Why does relaxed value restriction treat function types differently?</a></li>
+<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/binding-existentials-in-a-non-uniform-gadt/14809">Binding existentials in a non-uniform GADT</a>.</li>
+</ul>
+<h2 id="有趣的项目"><a href="#有趣的项目" class="headerlink" title="有趣的项目"></a>有趣的项目</h2><ul>
+<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/ocaml-index/latest">ocaml-index 1.0 (latest) · OCaml Package: A tool that indexes value usages from cmt files</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/fileutils/latest">fileutils 0.6.4 (latest) · OCaml Package: API to manipulate files (POSIX like) and filenames.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/pure-html/latest">pure-html 3.5.2 (latest) · OCaml Package</a></li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/fpottier/baby">GitHub - fpottier&#x2F;baby: A balanced binary search tree library for OCaml</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/akabe/ocaml-jupyter">GitHub - akabe&#x2F;ocaml-jupyter: An OCaml kernel for Jupyter (IPython) notebook</a>.</li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/robur-coop/orb">Github - robur-coop&#x2F;orb: check opam package reproductibility.</a></li>
+<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml-multicore/dscheck%23motivation">Github - ocaml-multicore&#x2F;dscheck: Experimental model checker for testing concurrent algorithms.</a></li>
+</ul>
+]]></content>
+ <tags>
+ <tag>Technique</tag>
+ <tag>OCaml</tag>
+ </tags>
+ </entry>
+ <entry>
<title>OCaml News 2024-4</title>
<url>/2024/07/01/OCaml-News-2024-4/</url>
<content><![CDATA[<h2 id="那么接下来"><a href="#那么接下来" class="headerlink" title="那么接下来"></a>那么接下来</h2><ul>
@@ -1242,68 +1304,6 @@
</tags>
</entry>
<entry>
- <title>OCaml News 2024-5</title>
- <url>/2024/06/27/OCaml-News-2024-5/</url>
- <content><![CDATA[<h2 id="语言的发展"><a href="#语言的发展" class="headerlink" title="语言的发展"></a>语言的发展</h2><ul>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13097">Immutable arrays #13097: This PR proposes to add immutable arrays to OCaml.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13199">Support running native debuggers in ocamltest #13199</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13152">The Pattern-Matching Bug: fix totality information by gasche · Pull Request #13152 · ocaml&#x2F;ocaml</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/11974%23discussion_r1621832545">Add loongarch architecture support #11974</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13101">Add Stdlib.todo #13101</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-26-enhancing-the-ocaml-org-community-page-boosting-ux-and-ui-based-on-user-research/">Enhancing the OCaml.org Community Page: Boosting UX and UI Based on User Research.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-05-22-launching-the-first-class-windows-project/">Launching the First-Class Windows Project</a>.</li>
-</ul>
-<h2 id="新消息"><a href="#新消息" class="headerlink" title="新消息"></a>新消息</h2><ul>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-project-wide-occurrences-in-merlin-and-lsp/14847">[ANN] Project wide occurrences in Merlin and LSP</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-opam-2-2-0-rc1-release/14842">[ANN] opam 2.2.0 rc1 release</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-first-release-of-baby/14840">[ANN] First release of baby</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://github.com/fpottier/baby">baby</a> is an OCaml library that offers several implementations of balanced binary search trees.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-preview-of-stripe-client-and-mock-server-dkstdrestapis/14841">[ANN] Preview of Stripe client and mock server - DkStdRestApis</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-caisar-release-2-0-a-platform-for-characterizing-ai-safety-and-robustness/14831">[ANN] CAISAR release 2.0, a platform for characterizing AI safety and robustness</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-forester-4-1/14800">[ANN] Forester 4.1</a>.</p>
-</li>
-<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-dream-html-pure-html-3-5-2/14808">[ANN] dream-html &amp; pure-html 3.5.2</a></p>
-</li>
-</ul>
-<h2 id="有价值的文章"><a href="#有价值的文章" class="headerlink" title="有价值的文章"></a>有价值的文章</h2><ul>
-<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-19-keeping-up-with-the-compiler-how-we-help-maintain-the-ocaml-language/">Keeping Up With the Compiler: How we Help Maintain the OCaml Language</a></li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/10995">Explain mapping between OCaml memory model and C.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://xavierleroy.org/CdF/2023-2024/index.html">Control structures – Xavier Leroy</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://dev.to/chshersh/8-months-of-ocaml-after-8-years-of-haskell-in-production-h96">8 months of OCaml after 8 years of Haskell in production</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://hypirion.com/musings/getting-ocaml-through-the-eye-of-a-needle">Getting OCaml Through the Eye of a Needle</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-06-05-secure-from-the-ground-up-introducing-the-fides-project-combining-risc-v-and-mirageos/">Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://tarides.com/blog/2024-05-29-effective-ml-through-merlin-s-destruct-command/">Effective ML Through Merlin’s Destruct Command.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://blog.osau.re/articles/reproducible.html">Dinosaure’s website - Reproducibility!</a></li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/experiments-in-jitting/14853">Experiments in JITting</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/how-to-write-an-efficient-cp-r-clone-with-eio/14848">How to write an efficient ‘cp -R’ clone with Eio?</a></li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/generating-infix-extension-nodes-with-ppxlib/14833">Generating infix extension nodes with Ppxlib</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/this-made-my-day-float-to-string-and-string-of-float-without-loss-of-precision/14825">This made my day (float to string and string of float without loss of precision)</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/help-with-cryptic-dependency-cycle-compile-errors-using-dune-build/14864">Help with cryptic dependency cycle compile errors using <code>dune build</code></a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/why-does-relaxed-value-restriction-treat-function-types-differently/14802">Why does relaxed value restriction treat function types differently?</a></li>
-<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/binding-existentials-in-a-non-uniform-gadt/14809">Binding existentials in a non-uniform GADT</a>.</li>
-</ul>
-<h2 id="有趣的项目"><a href="#有趣的项目" class="headerlink" title="有趣的项目"></a>有趣的项目</h2><ul>
-<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/ocaml-index/latest">ocaml-index 1.0 (latest) · OCaml Package: A tool that indexes value usages from cmt files</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/fileutils/latest">fileutils 0.6.4 (latest) · OCaml Package: API to manipulate files (POSIX like) and filenames.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://ocaml.org/p/pure-html/latest">pure-html 3.5.2 (latest) · OCaml Package</a></li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/fpottier/baby">GitHub - fpottier&#x2F;baby: A balanced binary search tree library for OCaml</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/akabe/ocaml-jupyter">GitHub - akabe&#x2F;ocaml-jupyter: An OCaml kernel for Jupyter (IPython) notebook</a>.</li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/robur-coop/orb">Github - robur-coop&#x2F;orb: check opam package reproductibility.</a></li>
-<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml-multicore/dscheck%23motivation">Github - ocaml-multicore&#x2F;dscheck: Experimental model checker for testing concurrent algorithms.</a></li>
-</ul>
-]]></content>
- <tags>
- <tag>Technique</tag>
- <tag>OCaml</tag>
- </tags>
- </entry>
- <entry>
<title>OCaml News 2024-6</title>
<url>/2024/07/23/OCaml-News-2024-6/</url>
<content><![CDATA[<figure class="highlight plaintext"><table><tr><td class="code"><pre><span class="line"> ^o3</span><br><span class="line">~/\_/\_|)</span><br><span class="line">|/=_=\|</span><br><span class="line">&quot; &quot;</span><br></pre></td></tr></table></figure>
@@ -2093,7 +2093,7 @@
<url>/2023/12/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E4%B8%80%E6%97%A5/</url>
<content><![CDATA[<p>他说:“路挺远的,你慢走啊。”</p>
<p>我朗声回答:“放心,我与月光并肩走的,丢不了。”</p>
-<p>又坐地铁回去,太累,在地铁上靠着栏杆睡觉。把帽檐压下来一点儿,拒绝了地铁上陌生人的拍摄请求,做了个“嘘”的手势。</p>
+<p>又坐地铁回去,太累,把帽檐压下来一点儿, 在地铁上靠着栏杆睡觉。</p>
<p>长夜漫漫,星河天悬。</p>
<p>这年,我与世间的美好正式走到一起。以自由的姿态捱到结尾,新的篇章重新启航。</p>
<p>我是江湖河海上唯一的灯塔,不放过世间每一处美好的船。</p>
@@ -2181,7 +2181,7 @@
<p>这么些年的煎熬时光或许将你沉寂,或许掀起了惊涛骇浪,吞噬你的理智与晴空,令你彻底疯狂。</p>
<p>直到海浪卷起鱼群,波及到每一个地方,<br>直到风平浪静,晴空如洗。</p>
<hr>
-<p>嘿,几个小时之后,天际黎明乍现的那一瞬,会有一只无形的大手,将最后一层青灰色的夜幕轻轻抹去。</p>
+<p>但几个小时之后,天际黎明乍现的那一瞬,会有一只无形的大手,将最后一层青灰色的夜幕轻轻抹去。</p>
<p>晨光会从海平线迤逦而来,洒向鳞次栉比的高楼和错综复杂的街道。码头,树木,楼房,电线杆。</p>
<p>这个城市的每个角落都会渐渐苏醒,焕发出明亮的,生机勃勃的色彩。</p>
<p>这是我们此生最好的礼物。</p>
@@ -2214,11 +2214,6 @@
</categories>
</entry>
<entry>
- <title>二〇二四年三月十二日</title>
- <url>/2024/03/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/</url>
- <content><![CDATA[]]></content>
- </entry>
- <entry>
<title>二〇二四年九月一日</title>
<url>/2024/09/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E4%B8%80%E6%97%A5/</url>
<content><![CDATA[<p>烦闷的夏,充斥着丰沛雨水的夏,挖了无数个西瓜的夏,牵着她有层薄汗手掌的夏,她还在的夏,终于还是过去了。</p>
@@ -2238,7 +2233,7 @@
<entry>
<title>二〇二四年九月十二日</title>
<url>/2024/09/12/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%BA%8C%E6%97%A5/</url>
- <content><![CDATA[<p>人只不过是一根苇草,是自然界最脆弱的东西,但却是一根能思想的苇草。用不着整个宇宙都拿起武器来才能毁灭人类,一口气、一滴水就足以致人类于死命了。然而纵使宇宙毁灭了人类,在人类的视角下自己却仍然要比致其于死命的东西高贵得多,因为人类知道自己要死亡,以及宇宙对其所具有的优势,而宇宙对此却是一无所知。</p>
+ <content><![CDATA[<p>人只不过是一根苇草,是自然界最脆弱的东西,但却是一根能思想的苇草。用不着整个宇宙都拿起武器来才能毁灭人类,一口气、一滴水就足以致人类于死命了。然而纵使宇宙毁灭了人类,在人类的视角下自己却仍然要比致其于死命的东西高贵得多,因为人类知道自己要死亡,以及宇宙对其所具有的优势,还可以主动地认为宇宙对此一无所知。</p>
<p>寄蜉蝣于天地,渺沧海之一粟。人类在宇宙面前的大小不比一只金鱼大多少,金鱼不会知道在它生活的空间只是一名人类的玻璃缸,人类也无法得知在其看来无边无际的宇宙是不是只是高等文明收藏的一颗琥珀。</p>
<p>思想——人的全部尊严就在于思想。</p>
]]></content>
@@ -2289,8 +2284,6 @@
<p>当有了一个目标,需要的不是豪言壮志,不是任何心理建设,而是尽快上手去做。<br>做一件事,无关心态,只要去做就是了。发挥最大的主观能动性,遇到问题就解决,碰到障碍就破开,需要帮助就求助。别因为所谓的自信就盲目冒进,也别因为所谓的自卑就胆小退缩,那俩玩意都不存在。</p>
<p>尊重事情本身的客观发展规律,什么样的人匹配什么样的事,什么样的条件匹配什么样的理想。别把心态想得太重要,更别花太多时间精力去建设心态,客观规律不会因为心态就发生奇迹般地转变。</p>
<p>你最好趁早学会尊重客观规律。</p>
-<hr>
-<p>此文很具体地阐述了唯物论基本原理和方法论。<br>在主体性被挑战后,意识到于其他主体而言,自己也必定是客体的不可违逆性律。<br>但在尊重客观规律的基础上,你可以抱有热情地最大程度发挥主观能动性。</p>
]]></content>
<categories>
<category>gallery</category>
@@ -2325,6 +2318,16 @@
</categories>
</entry>
<entry>
+ <title>二〇二四年十一月十七日</title>
+ <url>/2024/11/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%B8%80%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/</url>
+ <content><![CDATA[<p>快乐是正面情绪的原型,许多思想家都说过,人类的所作所为,最终都是为了追求快乐。我们之所以想追求财富、健康或名声,都是为了借此得到快乐。然而,追求快乐也不是因为它可以带给我们其他好处,因为快乐本身就是目的。</p>
+<p>“世人皆以痛楚、孤独、悲伤为大境界,以为这就是深邃的人生,殊不知快乐才是人生的真谛。一个人获取快乐的能力才是真正有用的能力。伤春悲秋、离愁别绪太容易了,读几首诗词即可,但获取欢乐太难了非大丈夫不可为之。”</p>
+]]></content>
+ <categories>
+ <category>gallery</category>
+ </categories>
+ </entry>
+ <entry>
<title>二〇二四年四月八日</title>
<url>/2024/04/08/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%9B%9B%E6%9C%88%E5%85%AB%E6%97%A5/</url>
<content><![CDATA[<p>我不预设和任何人事物共度一生,<br>就自然的生活,<br>命运把我带到哪里就到哪里,<br>有缘的话,我会在世界中看见你,<br>无缘的话,我会看见你在世界中。</p>