diff options
| author | muqiuhan <[email protected]> | 2025-03-17 06:55:26 +0000 |
|---|---|---|
| committer | muqiuhan <[email protected]> | 2025-03-17 06:55:26 +0000 |
| commit | ae0bf50cafa28cf8050087f1f22435d1d1be2517 (patch) | |
| tree | 5d74429110263a5e113b8805778fcfce4b490de8 | |
| parent | 8fdca49e1d63db1075a23958ff23189818a49d6c (diff) | |
| download | blog-ae0bf50cafa28cf8050087f1f22435d1d1be2517.tar.gz | |
deploy: 55f6dea717ea87289f86f6471f130bc618f770e2
| -rw-r--r-- | 2025/03/13/领域驱动设计中的“聚合根”/index.html | 5 | ||||
| -rw-r--r-- | 2025/03/17/二〇二五年三月十七日/index.html | 262 | ||||
| -rw-r--r-- | archives/2025/03/index.html | 18 | ||||
| -rw-r--r-- | archives/2025/index.html | 18 | ||||
| -rw-r--r-- | archives/index.html | 36 | ||||
| -rw-r--r-- | archives/page/10/index.html | 36 | ||||
| -rw-r--r-- | archives/page/11/index.html | 38 | ||||
| -rw-r--r-- | archives/page/12/index.html | 18 | ||||
| -rw-r--r-- | archives/page/2/index.html | 36 | ||||
| -rw-r--r-- | archives/page/3/index.html | 36 | ||||
| -rw-r--r-- | archives/page/4/index.html | 36 | ||||
| -rw-r--r-- | archives/page/5/index.html | 38 | ||||
| -rw-r--r-- | archives/page/6/index.html | 36 | ||||
| -rw-r--r-- | archives/page/7/index.html | 36 | ||||
| -rw-r--r-- | archives/page/8/index.html | 36 | ||||
| -rw-r--r-- | archives/page/9/index.html | 36 | ||||
| -rw-r--r-- | categories/gallery/index.html | 48 | ||||
| -rw-r--r-- | categories/gallery/page/2/index.html | 48 | ||||
| -rw-r--r-- | categories/gallery/page/3/index.html | 48 | ||||
| -rw-r--r-- | categories/gallery/page/4/index.html | 48 | ||||
| -rw-r--r-- | categories/gallery/page/5/index.html | 24 | ||||
| -rw-r--r-- | img/二〇二五年三月十七日.jpg | bin | 0 -> 107602 bytes | |||
| -rw-r--r-- | search.xml | 71 |
23 files changed, 686 insertions, 322 deletions
diff --git a/2025/03/13/领域驱动设计中的“聚合根”/index.html b/2025/03/13/领域驱动设计中的“聚合根”/index.html index ecbdce70..13753c35 100644 --- a/2025/03/13/领域驱动设计中的“聚合根”/index.html +++ b/2025/03/13/领域驱动设计中的“聚合根”/index.html @@ -200,6 +200,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/">Prev</a> + </div> + </div> <div class="next-item"> diff --git a/2025/03/17/二〇二五年三月十七日/index.html b/2025/03/17/二〇二五年三月十七日/index.html new file mode 100644 index 00000000..2255578e --- /dev/null +++ b/2025/03/17/二〇二五年三月十七日/index.html @@ -0,0 +1,262 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> +<meta name="viewport" + content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0"> +<meta http-equiv="X-UA-Compatible" content="ie=edge"> + + <meta name="author" content="韩暮秋"> + + + <meta name="subtitle" content="暮秋小屋"> + + + <meta name="description" content="这里是暮秋小屋,思念和灵感的寄存处"> + + + <meta name="keywords" content="韩暮秋,MuqiuHan,'Muqiu Han', 'muqiu han', muqiuhan"> + + + + +<title>二〇二五年三月十七日 | 暮秋小屋</title> + + + + <link rel="icon" href="/favicon.ico"> + + + +<style> + @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap'); +</style> + + + + <!-- stylesheets list from _config.yml --> + + <link rel="stylesheet" href="/css/style.css"> + + + + + + <!-- scripts list from _config.yml --> + + <script src="/js/frame.js"></script> + + + + + + <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> + <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> + + + + + + + + <meta name="generator" content="Hexo 6.3.0"></head> + <body> + <div class="mask-border"> + </div> + + <div class="wrapper"> + + <div class="header"> + <div class="flex-container"> + <div class="header-inner"> + <div class="site-brand-container"> + <a href="/"> + + 暮秋小屋 + + </a> + </div> + <div id="menu-btn" class="menu-btn" onclick="toggleMenu()"> + Menu + </div> + <nav class="site-nav"> + <ul class="menu-list"> + + + <li class="menu-item"> + <a href="/">主页</a> + </li> + + + + <li class="menu-item"> + <a href="/categories/gallery/">日记本</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> + </li> + + + + <li class="menu-item"> + <a href="/about">关于</a> + </li> + + + + <li class="menu-item search-btn"> + <a href="#">Search</a> + </li> + + </ul> + </nav> + </div> + </div> +</div> + + + <div class="main"> + <div class="flex-container"> + <article id="post"> + + + <div class="post-head"> + <div class="post-info"> + <div class="tag-list"> + + </div> + <div class="post-title"> + + + 二〇二五年三月十七日 + + + </div> + <span class="post-date"> + Mar 17, 2025 + </span> + </div> + <div class="post-img"> + + <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%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>看见死亡,看见新生,看见朝露凝于叶尖,看见惊雷震碎山月,<br>它们是因缘聚散吗?</p> +<p>那露珠消散后去了哪里?<br>当晨光加热露珠表面至 $0.1μm$ 深度时,表层水分子动能突破氢键束缚(键能约 $23 kJ/mol$)。<br>这种相变并非整齐划一的队列解散,而是呈现量子隧穿效应——单个水分子以 $10^{-12}s$ 量级的涨落,在液态与气态间振荡,直到完全脱离范德华力作用半径(约 $0.3 nm$)。<br>逃逸的 H2O 分子并非直线升空,而是在空气分子碰撞下进行三维随机游走。<br>根据爱因斯坦-斯托克斯方程,其扩散系数 $D \approx 0.282 cm^2/s$(25℃标准大气压)。这意味着单个水分子在1秒内将形成半径约 $2.4 mm$ 的概率云,与数十亿同伴共同形成水汽。</p> +<p>水中捞月,伸手时,涟漪碎了三千世界。</p> +<p>人类的眉睫处有十方虚空,三藏经书不过指月之指,</p> +<p>看见儿时门前溪水倒流,看见婴孩啼哭时眼底星河闪烁。</p> +<p>看见生死之幕薄如蝉翼,和众生颠倒梦想处。</p> +<p>某些水分子可能抵达对流层顶(约 $12 km$),在那里被极地涡旋捕获。<br>经过 $50-200$ 天的环球旅行后,其中 $0.0003%$ 的分子将逃逸到太空,携带着地球的熵增印记。<br>它们的氧原子核内,八个质子正以 $10^{34}$ 年半衰期等待质子衰变——这恰是 $138$ 亿年前宇宙暴胀时期产生的原初量子涨落的回响。</p> +<p>那在这之前呢?</p> +<p>在这之前我刚吃完一碗辣椒炒肉,</p> +<p>香</p> + +</div> + +<script> + window.onload = detectors(); +</script> + <div class="post-footer"> + <div class="h-line-primary"></div> + <nav class="post-nav"> + <div class="prev-item"> + + </div> + <div class="next-item"> + + <div class="icon arrow-right"></div> + <div class="post-link"> + <a href="/2025/03/13/%E9%A2%86%E5%9F%9F%E9%A9%B1%E5%8A%A8%E8%AE%BE%E8%AE%A1%E4%B8%AD%E7%9A%84%E2%80%9C%E8%81%9A%E5%90%88%E6%A0%B9%E2%80%9D/">Next</a> + </div> + + </div> + </nav> +</div> + + + <div class="post-comment"> + + + + + + + +</div> + + +</article> + </div> + </div> + + <div class="footer"> + <div class="flex-container"> + <div class="footer-text"> + + + | + + + 希望路过的人可以添点柴火让这里暖和点 + + </div> + </div> +</div> + + </div> + + + <div class="search-popup"> + <div class="search-popup-overlay"> + </div> + <div class="search-popup-window" > + <div class="search-header"> + <div class="search-input-container"> + <input autocomplete="off" autocapitalize="off" maxlength="80" + placeholder="Search Anything" spellcheck="false" + type="search" class="search-input"> + </div> + <div class="search-close-btn"> + <div class="icon close-btn"></div> + </div> + </div> + <div class="search-result-container"> + </div> + </div> +</div> + +<script> + const searchConfig = { + path : "/search.xml", + top_n_per_article: "1", + unescape : "false", + trigger: "auto", + preload: "false" + } +</script> +<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/search.js"></script> +<script src="/js/search.js"></script> + + + + </body> +</html> diff --git a/archives/2025/03/index.html b/archives/2025/03/index.html index 2a32551b..d5b99ee3 100644 --- a/archives/2025/03/index.html +++ b/archives/2025/03/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/"> + + 二〇二五年三月十七日 + + </a> + </div> + + <span class="post-date">Mar 17, 2025</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2025/03/13/%E9%A2%86%E5%9F%9F%E9%A9%B1%E5%8A%A8%E8%AE%BE%E8%AE%A1%E4%B8%AD%E7%9A%84%E2%80%9C%E8%81%9A%E5%90%88%E6%A0%B9%E2%80%9D/"> 领域驱动设计中的“聚合根” diff --git a/archives/2025/index.html b/archives/2025/index.html index 52ec4abd..ea63e6aa 100644 --- a/archives/2025/index.html +++ b/archives/2025/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/"> + + 二〇二五年三月十七日 + + </a> + </div> + + <span class="post-date">Mar 17, 2025</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2025/03/13/%E9%A2%86%E5%9F%9F%E9%A9%B1%E5%8A%A8%E8%AE%BE%E8%AE%A1%E4%B8%AD%E7%9A%84%E2%80%9C%E8%81%9A%E5%90%88%E6%A0%B9%E2%80%9D/"> 领域驱动设计中的“聚合根” diff --git a/archives/index.html b/archives/index.html index 6af51419..c95b6c55 100644 --- a/archives/index.html +++ b/archives/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/"> + + 二〇二五年三月十七日 + + </a> + </div> + + <span class="post-date">Mar 17, 2025</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2025/03/13/%E9%A2%86%E5%9F%9F%E9%A9%B1%E5%8A%A8%E8%AE%BE%E8%AE%A1%E4%B8%AD%E7%9A%84%E2%80%9C%E8%81%9A%E5%90%88%E6%A0%B9%E2%80%9D/"> 领域驱动设计中的“聚合根” @@ -301,24 +319,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2024/11/26/%E5%A6%82%E4%BD%95%E7%AE%A1%E7%90%86%E7%94%A8%E6%88%B7%E7%95%8C%E9%9D%A2%E4%B8%AD%E7%9A%84%E5%8D%B1%E9%99%A9%E6%93%8D%E4%BD%9C/"> - - 如何管理用户界面中的危险操作 - - </a> - </div> - - <span class="post-date">Nov 26, 2024</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/10/index.html b/archives/page/10/index.html index 8a60d3d1..a8c3d2d5 100644 --- a/archives/page/10/index.html +++ b/archives/page/10/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/"> + + 奥司他韦 + + </a> + </div> + + <span class="post-date">Mar 5, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/03/04/%E9%87%91%E5%8C%AE%E8%A6%81%E7%95%A5/"> 金匮要略 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <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> - </div> - - <span class="post-date">Jan 21, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/11/index.html b/archives/page/11/index.html index 9a23e48e..82b32d52 100644 --- a/archives/page/11/index.html +++ b/archives/page/11/index.html @@ -139,6 +139,26 @@ + <div class="year-title">2023</div> + + + <div class="post-list-item"> + <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> + </div> + + <span class="post-date">Jan 21, 2023</span> + </div> + + + + + + <div class="year-title">2022</div> @@ -301,24 +321,6 @@ </div> - - - - - - <div class="post-list-item"> - <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> - </div> - - <span class="post-date">Feb 16, 2021</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/12/index.html b/archives/page/12/index.html index 7c44afb4..ccac91f7 100644 --- a/archives/page/12/index.html +++ b/archives/page/12/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <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> + </div> + + <span class="post-date">Feb 16, 2021</span> + </div> + + + + + + + + <div class="post-list-item"> + <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/"> 二零二一年二月十四日 diff --git a/archives/page/2/index.html b/archives/page/2/index.html index 9ea96ed8..595ca1e2 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/11/26/%E5%A6%82%E4%BD%95%E7%AE%A1%E7%90%86%E7%94%A8%E6%88%B7%E7%95%8C%E9%9D%A2%E4%B8%AD%E7%9A%84%E5%8D%B1%E9%99%A9%E6%93%8D%E4%BD%9C/"> + + 如何管理用户界面中的危险操作 + + </a> + </div> + + <span class="post-date">Nov 26, 2024</span> + </div> + + + + + + + + <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/"> 二〇二四年十一月十七日 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2024/09/12/Functional-Reactive-Programming-in-F/"> - - Functional Reactive Programming in F# - - </a> - </div> - - <span class="post-date">Sep 12, 2024</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/3/index.html b/archives/page/3/index.html index ee182de9..f49cb1b6 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/09/12/Functional-Reactive-Programming-in-F/"> + + Functional Reactive Programming in F# + + </a> + </div> + + <span class="post-date">Sep 12, 2024</span> + </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/"> 二〇二四年九月十二日 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2024/07/01/OCaml-News-2024-4/"> - - OCaml News 2024-4 - - </a> - </div> - - <span class="post-date">Jul 1, 2024</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/4/index.html b/archives/page/4/index.html index 8ec07d54..b7ae98e8 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2024/07/01/OCaml-News-2024-4/"> + + OCaml News 2024-4 + + </a> + </div> + + <span class="post-date">Jul 1, 2024</span> + </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/"> 二〇二四年六月二十七日 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <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/"> - - 二〇二四年三月二十二日 - - </a> - </div> - - <span class="post-date">Mar 22, 2024</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/5/index.html b/archives/page/5/index.html index 2b588a1d..dd66ba59 100644 --- a/archives/page/5/index.html +++ b/archives/page/5/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <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/"> + + 二〇二四年三月二十二日 + + </a> + </div> + + <span class="post-date">Mar 22, 2024</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2024/02/26/OCaml-News-2024-3/"> OCaml News 2024-3 @@ -299,26 +317,6 @@ </div> - - - - - <div class="year-title">2023</div> - - - <div class="post-list-item"> - <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> - </div> - - <span class="post-date">Dec 2, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/6/index.html b/archives/page/6/index.html index 4d7bddb5..d01c9c98 100644 --- a/archives/page/6/index.html +++ b/archives/page/6/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <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> + </div> + + <span class="post-date">Dec 2, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/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/"> 二〇二三年十二月一日 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/10/21/OCaml-Core-Int-pow-%E7%9A%84%E5%AE%9E%E7%8E%B0/"> - - OCaml Core.Int.pow 的实现 - - </a> - </div> - - <span class="post-date">Oct 21, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/7/index.html b/archives/page/7/index.html index 7b666a3e..b9ab2a5f 100644 --- a/archives/page/7/index.html +++ b/archives/page/7/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/10/21/OCaml-Core-Int-pow-%E7%9A%84%E5%AE%9E%E7%8E%B0/"> + + OCaml Core.Int.pow 的实现 + + </a> + </div> + + <span class="post-date">Oct 21, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/10/13/%E8%82%9D%E5%8A%9F%E8%83%BD%E6%A3%80%E6%9F%A5%E5%8C%96%E9%AA%8C%E5%8D%95/"> 肝功能检查化验单阅读指南 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/08/15/poll-error-attribute-in-OCaml/"> - - 使用 [@poll error] 实现线程安全的数据结构 - - </a> - </div> - - <span class="post-date">Aug 15, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/8/index.html b/archives/page/8/index.html index 3418eeaa..bf4aea84 100644 --- a/archives/page/8/index.html +++ b/archives/page/8/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/08/15/poll-error-attribute-in-OCaml/"> + + 使用 [@poll error] 实现线程安全的数据结构 + + </a> + </div> + + <span class="post-date">Aug 15, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/08/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%B8%80%E6%97%A5/"> 二〇二三年八月一日 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/05/24/Rust-%E9%97%AD%E5%8C%85-lifetime-may-not-live-long-enough-%E9%97%AE%E9%A2%98/"> - - Rust 闭包 lifetime may not live long enough 问题 - - </a> - </div> - - <span class="post-date">May 24, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/9/index.html b/archives/page/9/index.html index a463cd3e..886e6d03 100644 --- a/archives/page/9/index.html +++ b/archives/page/9/index.html @@ -144,6 +144,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/05/24/Rust-%E9%97%AD%E5%8C%85-lifetime-may-not-live-long-enough-%E9%97%AE%E9%A2%98/"> + + Rust 闭包 lifetime may not live long enough 问题 + + </a> + </div> + + <span class="post-date">May 24, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/05/03/Rust-NewType-%E6%A8%A1%E5%BC%8F/"> Rust NewType 模式 @@ -299,24 +317,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/"> - - 奥司他韦 - - </a> - </div> - - <span class="post-date">Mar 5, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/categories/gallery/index.html b/categories/gallery/index.html index 59b51052..04eb4419 100644 --- a/categories/gallery/index.html +++ b/categories/gallery/index.html @@ -142,6 +142,30 @@ </div> <div class="post-title"> + <a href="/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/"</a> + + 二〇二五年三月十七日 + + </a> + </div> + <span class="post-date"> + Mar 17, 2025 + </span> + </div> + <div class="post-img"> + + <img src="/img/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%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="/2025/02/24/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%9B%9B%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/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/"</a> - - 二〇二四年四月八日 - - </a> - </div> - <span class="post-date"> - Apr 8, 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%9B%9B%E6%9C%88%E5%85%AB%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 46b46ac7..b7827660 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/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/"</a> + + 二〇二四年四月八日 + + </a> + </div> + <span class="post-date"> + Apr 8, 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%9B%9B%E6%9C%88%E5%85%AB%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/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/"</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/08/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"</a> - - 二零二三年八月二十一日 - - </a> - </div> - <span class="post-date"> - Aug 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%E5%85%AB%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/3/index.html b/categories/gallery/page/3/index.html index 5aee0c2e..902584b0 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/08/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"</a> + + 二零二三年八月二十一日 + + </a> + </div> + <span class="post-date"> + Aug 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%E5%85%AB%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="/2023/08/01/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%B8%80%E6%97%A5/"</a> 二〇二三年八月一日 @@ -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/02/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/"</a> - - 二零二三年二月二十二日 - - </a> - </div> - <span class="post-date"> - Feb 22, 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%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%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/4/index.html b/categories/gallery/page/4/index.html index e8b74417..65204ee2 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/02/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/"</a> + + 二零二三年二月二十二日 + + </a> + </div> + <span class="post-date"> + Feb 22, 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%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%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="/2023/02/02/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%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="/2022/01/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%80%E6%9C%88%E4%B8%80%E6%97%A5/"</a> - - 二零二二年一月一日 - - </a> - </div> - <span class="post-date"> - Jan 1, 2022 - </span> - </div> - <div class="post-img"> - - <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%80%E6%9C%88%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/5/index.html b/categories/gallery/page/5/index.html index 3ac8c34c..7287ecb9 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="/2022/01/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%80%E6%9C%88%E4%B8%80%E6%97%A5/"</a> + + 二零二二年一月一日 + + </a> + </div> + <span class="post-date"> + Jan 1, 2022 + </span> + </div> + <div class="post-img"> + + <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%80%E6%9C%88%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="/2021/03/27/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%B8%89%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/"</a> 二零二一年三月二十七日 diff --git a/img/二〇二五年三月十七日.jpg b/img/二〇二五年三月十七日.jpg Binary files differnew file mode 100644 index 00000000..00872ca2 --- /dev/null +++ b/img/二〇二五年三月十七日.jpg @@ -624,32 +624,6 @@ </tags> </entry> <entry> - <title>G-Machine</title> - <url>/2024/01/23/G-Machine/</url> - <content><![CDATA[<ul> -<li><a href="https://link.springer.com/chapter/10.1007/3-540-15975-4_50">The G-machine: A fast, graph-reduction evaluator</a></li> -</ul> -<p>G-Machine 是一种通过图规约来对函数式语言程序求值的抽象架构。<br>与组合子规约不同,组合子规约的control是从表达式图本身动态导出的,而G-Machine是由通过编译Application表达式导出的指令序列指定的。</p> -<hr> -<p>FP的程序基本上都可以用一个表达式的图表示,图计算机就是对这个图求值的机器,总的说来对图的求值是一个不停合并图上的节点生产新节点的过程。</p> -<p>例如:</p> -<figure class="highlight ocaml"><table><tr><td class="code"><pre><span class="line"><span class="keyword">let</span> x = <span class="number">2</span> + <span class="number">3</span> <span class="keyword">in</span> </span><br><span class="line"> x * x</span><br></pre></td></tr></table></figure> - -<p>先计算出5,然后创建一个新的节点 <code>5 * 5</code>,然后再对这个节点求值,于是求值过程中就产生了很多临时的节点,这些中间节点也被叫做是 spine,求值过程是沿着 spine 进行的。</p> -<p>但是这样就产生了很多额外的开销,lambda lifting 里提到:可以把程序里,很多捕捉了外围绑定的闭包函数中的这些绑定,转换成函数的参数,从而消除闭包,得到的这个函数就可以自由脱离作用域,被静态的编译到机器码里。这些被 float out 的函数也叫 supercombinator.</p> -<p>在上面的代码中,如果不创建新的节点,顺序计算完了第一个 <code>x</code>,第二个 <code>x</code> 还会再被算一遍。</p> -<p>Spineless reduction 的概念:只有当面临需要重复计算的情况时,才去创建节点,不然就一路顺序算下去</p> -<ul> -<li><a href="https://en.wikipedia.org/wiki/Graph_reduction">Graph reduction</a></li> -<li><a href="https://en.wikipedia.org/wiki/Graph_reduction_machine">Graph reduction machine</a></li> -<li><a href="https://www.zhihu.com/question/54834531/answer/144213668">https://www.zhihu.com/question/54834531/answer/144213668</a></li> -</ul> -]]></content> - <tags> - <tag>Technique</tag> - </tags> - </entry> - <entry> <title>Functional Reactive Programming in F#</title> <url>/2024/09/12/Functional-Reactive-Programming-in-F/</url> <content><![CDATA[<blockquote> @@ -777,6 +751,32 @@ </tags> </entry> <entry> + <title>G-Machine</title> + <url>/2024/01/23/G-Machine/</url> + <content><![CDATA[<ul> +<li><a href="https://link.springer.com/chapter/10.1007/3-540-15975-4_50">The G-machine: A fast, graph-reduction evaluator</a></li> +</ul> +<p>G-Machine 是一种通过图规约来对函数式语言程序求值的抽象架构。<br>与组合子规约不同,组合子规约的control是从表达式图本身动态导出的,而G-Machine是由通过编译Application表达式导出的指令序列指定的。</p> +<hr> +<p>FP的程序基本上都可以用一个表达式的图表示,图计算机就是对这个图求值的机器,总的说来对图的求值是一个不停合并图上的节点生产新节点的过程。</p> +<p>例如:</p> +<figure class="highlight ocaml"><table><tr><td class="code"><pre><span class="line"><span class="keyword">let</span> x = <span class="number">2</span> + <span class="number">3</span> <span class="keyword">in</span> </span><br><span class="line"> x * x</span><br></pre></td></tr></table></figure> + +<p>先计算出5,然后创建一个新的节点 <code>5 * 5</code>,然后再对这个节点求值,于是求值过程中就产生了很多临时的节点,这些中间节点也被叫做是 spine,求值过程是沿着 spine 进行的。</p> +<p>但是这样就产生了很多额外的开销,lambda lifting 里提到:可以把程序里,很多捕捉了外围绑定的闭包函数中的这些绑定,转换成函数的参数,从而消除闭包,得到的这个函数就可以自由脱离作用域,被静态的编译到机器码里。这些被 float out 的函数也叫 supercombinator.</p> +<p>在上面的代码中,如果不创建新的节点,顺序计算完了第一个 <code>x</code>,第二个 <code>x</code> 还会再被算一遍。</p> +<p>Spineless reduction 的概念:只有当面临需要重复计算的情况时,才去创建节点,不然就一路顺序算下去</p> +<ul> +<li><a href="https://en.wikipedia.org/wiki/Graph_reduction">Graph reduction</a></li> +<li><a href="https://en.wikipedia.org/wiki/Graph_reduction_machine">Graph reduction machine</a></li> +<li><a href="https://www.zhihu.com/question/54834531/answer/144213668">https://www.zhihu.com/question/54834531/answer/144213668</a></li> +</ul> +]]></content> + <tags> + <tag>Technique</tag> + </tags> + </entry> + <entry> <title>.NET AOT 下的 F# 命令行参数解析库选择</title> <url>/2024/06/06/NET-AOT-%E4%B8%8B%E7%9A%84-F-%E5%91%BD%E4%BB%A4%E8%A1%8C%E5%8F%82%E6%95%B0%E8%A7%A3%E6%9E%90%E5%BA%93%E9%80%89%E6%8B%A9/</url> <content><![CDATA[<p>Argu 不支持 AOT,不过用 F# 的话可以看整个 .NET 的生态,我看了一下 C# 的 CommandLineParser:<br><a href="https://github.com/commandlineparser">https://github.com/commandlineparser</a></p> @@ -2369,6 +2369,25 @@ </categories> </entry> <entry> + <title>二〇二五年三月十七日</title> + <url>/2025/03/17/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%B8%83%E6%97%A5/</url> + <content><![CDATA[<p>人类其实根本无法同时拥有对死亡的坦然和对生活的眷恋。</p> +<p>看见死亡,看见新生,看见朝露凝于叶尖,看见惊雷震碎山月,<br>它们是因缘聚散吗?</p> +<p>那露珠消散后去了哪里?<br>当晨光加热露珠表面至 $0.1μm$ 深度时,表层水分子动能突破氢键束缚(键能约 $23 kJ/mol$)。<br>这种相变并非整齐划一的队列解散,而是呈现量子隧穿效应——单个水分子以 $10^{-12}s$ 量级的涨落,在液态与气态间振荡,直到完全脱离范德华力作用半径(约 $0.3 nm$)。<br>逃逸的 H2O 分子并非直线升空,而是在空气分子碰撞下进行三维随机游走。<br>根据爱因斯坦-斯托克斯方程,其扩散系数 $D \approx 0.282 cm^2/s$(25℃标准大气压)。这意味着单个水分子在1秒内将形成半径约 $2.4 mm$ 的概率云,与数十亿同伴共同形成水汽。</p> +<p>水中捞月,伸手时,涟漪碎了三千世界。</p> +<p>人类的眉睫处有十方虚空,三藏经书不过指月之指,</p> +<p>看见儿时门前溪水倒流,看见婴孩啼哭时眼底星河闪烁。</p> +<p>看见生死之幕薄如蝉翼,和众生颠倒梦想处。</p> +<p>某些水分子可能抵达对流层顶(约 $12 km$),在那里被极地涡旋捕获。<br>经过 $50-200$ 天的环球旅行后,其中 $0.0003%$ 的分子将逃逸到太空,携带着地球的熵增印记。<br>它们的氧原子核内,八个质子正以 $10^{34}$ 年半衰期等待质子衰变——这恰是 $138$ 亿年前宇宙暴胀时期产生的原初量子涨落的回响。</p> +<p>那在这之前呢?</p> +<p>在这之前我刚吃完一碗辣椒炒肉,</p> +<p>香</p> +]]></content> + <categories> + <category>gallery</category> + </categories> + </entry> + <entry> <title>二〇二五年二月二十四日</title> <url>/2025/02/24/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%BA%94%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%9B%9B%E6%97%A5/</url> <content><