diff options
Diffstat (limited to 'search.xml')
| -rw-r--r-- | search.xml | 185 |
1 files changed, 174 insertions, 11 deletions
@@ -1401,6 +1401,154 @@ </tags> </entry> <entry> + <title>OCaml News 2024-7</title> + <url>/2024/12/15/OCaml-News-2024-7/</url> + <content><![CDATA[<figure class="highlight text"><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">" "</span><br><span class="line"></span><br><span class="line">^~~~~~~~~~~~这其实是用 ASCII 画的一个骆驼。</span><br></pre></td></tr></table></figure> + +<h3 id="语言的发展"><a href="#语言的发展" class="headerlink" title="语言的发展"></a>语言的发展</h3><ul> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-5-2-1-released/15634">OCaml 5.2.1 released</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/feedback-help-wanted-upcoming-ocaml-org-cookbook-feature/14127">Feedback / Help Wanted: Upcoming OCaml.org Cookbook Feature</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/second-beta-release-of-ocaml-5-3-0/15700">Second beta release of OCaml 5.3.0</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/terrateams-open-source-ocaml-repository/15645">Terrateam’s open source Ocaml repository</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-mlx-syntax-dialect/15035">[ANN] .mlx syntax dialect</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-opam-2-3-0-is-out/15609">[ANN] opam 2.3.0 is out!</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://fun-ocaml.com/">Fun OCaml 2024 - Berlin - September 16+17, 2024</a></p> +</li> +<li><p><strong><a href="https://link.zhihu.com/?target=https://www.youtube.com/@FUNOCaml">Fun OCaml is an open source hacking event dedicated to OCaml enthusiasts and professionals around the globe!</a></strong></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13526">Simplify the build of cross compilers by shym · Pull Request #13526 · ocaml/ocaml</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13580">“Mark-delay” performance improvement to major GC by NickBarnes · Pull Request #13580 · ocaml/ocaml</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13416">Use WinAPI concurrency primitives on Windows ports (remove winpthreads) by MisterDA · Pull Request #13416 · ocaml/ocaml</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://github.com/ocaml/ocaml/pull/13404">Atomic record fields by clef-men · Pull Request #13404 · ocaml/ocaml</a></p> +</li> +</ul> +<h3 id="视频"><a href="#视频" class="headerlink" title="视频"></a>视频</h3><ul> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/playlist?list=PLP3MfTGqcNVJMFcWWDF6VSPJB7zuKN5yQ">All the talk recordings from FUN OCaml 2024 in Berlin, September 16 + 17, 2024.</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=wbrELQrzwQk">[ICFP24] Oxidizing OCaml with Modal Memory Management</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=7yYC6EGYg10">[OCaml24] Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=KEkmcXVtFi0">[OCaml24] ChorCaml: Functional Choreographic Programming in OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=vanyv3ZEto8">[OCaml24] Saturn: a library of verified concurrent data structures for OCaml 5</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=mUzOBC3V0ds">Beyond the Basics of LSP: Advanced IDE services for OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=BUpRPSzkrH0">Why Terrateam chose OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=8zTN3rtcED4">A Crash Course in OCaml Modules • Tim McGilchrist • YOW! 2015</a></li> +<li><a href="https://link.zhihu.com/?target=https://watch.ocaml.org/w/peT3MdWjS1BYYMbowEJ1gv">Outreachy May 2024 Demo</a></li> +<li><a href="https://link.zhihu.com/?target=https://www.youtube.com/watch?v=JFZvnGD_hV8">Octane: A Query Builder for OCaml</a></li> +</ul> +<h3 id="讨论"><a href="#讨论" class="headerlink" title="讨论"></a>讨论</h3><ul> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/what-are-the-biggest-reasons-newcomers-give-up-on-ocaml/10958">What are the biggest reasons newcomers give up on OCaml?</a></li> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/do-you-use-return-to-describe-a-function/15615">Do you use “return” to describe a function?</a></li> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocaml-cycle-detection-and-garbage-collector/15757">OCaml Cycle detection and Garbage Collector</a></li> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/modeling-rust-trait-objects-subtyping-relation-via-ocaml-polymorphic-variants/15644">Modeling Rust trait objects subtyping relation via OCaml polymorphic variants</a></li> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ocamldebug-using-dune/15595">Ocamldebug using dune</a></li> +<li><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/typesafe-sql-with-octane-ml/15582">Typesafe SQL with Octane.ml</a></li> +</ul> +<h3 id="文章"><a href="#文章" class="headerlink" title="文章"></a>文章</h3><ul> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/using-map-and-ppx-yojson/12524">Using Map and ppx yojson</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/correct-syntax-to-add-compare-ppx/15764">Correct syntax to add compare ppx</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/tiny-educational-concurrent-i-o-and-promises-library/15703">Tiny educational concurrent I/O and promises library</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/good-example-of-handwritten-lexer-recursive-descent-parser/15672">Good example of handwritten Lexer + Recursive Descent Parser?</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/new-part-pragmatic-category-theory-part-2-published/15056">[NEW PART] Pragmatic Category Theory: Part 2 published!</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://dev.to/chshersh/pragmatic-category-theory-part-1-semigroup-intro-1ign">Pragmatic Category Theory | Part 1: Semigroup Intro</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://dev.to/chshersh/pragmatic-category-theory-part-2-composing-semigroups-87">Pragmatic Category Theory | Part 2: Composing Semigroups</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/installing-ocaml-on-a-mac-m1-mini/15642">Installing OCaml on a mac m1 mini</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/a-case-for-feminism-in-programming-language-design/15478">« A Case for Feminism in Programming Language Design »</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://dl.acm.org/doi/pdf/10.1145/3689492.3689809">A Case for Feminism in Programming Language Design.pdf</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://www.lexifi.com/blog/ocaml/decoders/">Vdom 0.3 brings Elm-style decoders to OCaml</a></p> +</li> +</ul> +<h3 id="生态"><a href="#生态" class="headerlink" title="生态"></a>生态</h3><ul> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/re2ocaml-regexp-compiler/15669">Re2ocaml regexp compiler</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/eliom-11-1-towards-web-assembly-support/15704">Eliom 11.1: Towards Web Assembly support</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-new-releases-of-merlin-and-ocaml-lsp/15752">[ANN] New releases of Merlin and OCaml-LSP</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/new-release-of-baby/15754">New release of baby</a></p> +</li> +<li><p><code>baby</code>is an OCaml library that offers persistent sets and maps based on balanced binary search trees. It offers replacements for OCaml’s<code>Set</code>and<code>Map</code>modules.</p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-dune-3-17/15770">[ANN] Dune 3.17</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-jsont-0-1-0-declarative-json-data-manipulation-for-ocaml/15702">[ANN] Jsont 0.1.0 – Declarative JSON data manipulation for OCaml</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-release-of-saturn-1-0/15763">[ANN] Release of Saturn 1.0</a></p> +<ul> +<li>Saturn is a collection of concurrent-safe data structures designed for OCaml 5.</li> +</ul> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-areas-and-adversaries/15706/3">[ANN] Areas and Adversaries</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-release-of-cppo-1-8-0/15749">[ANN] Release of cppo 1.8.0</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-capnp-rpc-2-0/15739">[ANN] capnp-rpc 2.0</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-advent-of-code-project-template/13539">[ANN] Advent of Code project template</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-testo-0-1-0-a-new-testing-framework-for-ocaml/15624">[ANN] Testo 0.1.0 - a new testing framework for OCaml</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-vdom-0-3-functional-ui-applications-now-with-custom-event-handlers/13298">[ANN] vdom 0.3: functional UI applications now with custom event handlers</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/visualizing-dependencies-between-ocaml-modules/15254">Visualizing dependencies between Ocaml modules</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-mariadb-1-2-0/15709">[ANN] mariadb 1.2.0</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-new-release-of-monolith/15701">[ANN] New release of Monolith</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-first-release-of-hachis/15309">[ANN] First release of hachis</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-liquidsoap-2-3-0/15677">[ANN] Liquidsoap 2.3.0</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/3">[ANN] dream-html & pure-html 3.5.2</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-js-of-ocaml-5-9-0/15674">[ANN] Js_of_ocaml 5.9.0</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-ppx-deriving-ezjsonm/15637">[ANN] ppx_deriving_ezjsonm</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-smaws-preview-release-an-aws-sdk-for-ocaml-using-eio/15635">[ANN] smaws preview release, an AWS SDK for OCaml using eio</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-aws-s3-4-0-1/2451">[ANN] aws-s3 4.0.1</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/first-release-of-cmdlang/15616">First release of cmdlang</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-eliom-11-and-ocsigen-start-7/15487">[ANN] Eliom 11 and Ocsigen Start 7</a></p> +</li> +<li><p><a href="https://link.zhihu.com/?target=https://discuss.ocaml.org/t/ann-jane-street-ocaml-extensions-now-with-developer-tooling/15597">[ANN] Jane Street OCaml extensions – now with developer tooling!</a></p> +</li> +</ul> +<h3 id="亮点项目"><a href="#亮点项目" class="headerlink" title="亮点项目"></a>亮点项目</h3><ul> +<li><a href="https://link.zhihu.com/?target=https://github.com/tjdevries/octane.ml">GitHub - tjdevries/octane.ml: The fastest, hottest</a></li> +<li><a href="https://link.zhihu.com/?target=https://github.com/semgrep/testo">Github - semgrep/testo: Test framework for OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://github.com/sim642/odep">GitHub - sim642/odep: Dependency graphs for OCaml modules, libraries and packages</a></li> +<li><a href="https://link.zhihu.com/?target=https://github.com/LexiFi/ocaml-vdom">GitHub - LexiFi/ocaml-vdom: Elm architecture and (V)DOM for OCaml</a></li> +<li><a href="https://link.zhihu.com/?target=https://github.com/ocaml-community/ocaml-mariadb">GitHub - ocaml-community/ocaml-mariadb: OCaml bindings to MariaDB, supporting the nonblocking API</a></li> +<li><a href="https://link.zhihu.com/?target=https://cambium.inria.fr/~fpottier/monolith/doc/monolith/Monolith/">Monolith (monolith.Monolith)</a>: Monolith offers facilities for testing an OCaml library by comparing its implementation (known as the candidate implementation) against a reference implementation.</li> +</ul> +]]></content> + <tags> + <tag>Technique</tag> + <tag>OCaml</tag> + </tags> + </entry> + <entry> <title>Obsidian Vault 的 .obsidian 目录中的各文件作用</title> <url>/2024/10/06/Obsidian-Vault-%E7%9A%84-obsidian-%E7%9B%AE%E5%BD%95%E4%B8%AD%E7%9A%84%E5%90%84%E6%96%87%E4%BB%B6%E4%BD%9C%E7%94%A8/</url> <content><![CDATA[<p>一个简单的例子是:</p> @@ -2328,6 +2476,21 @@ </categories> </entry> <entry> + <title>二〇二四年十二月十八日</title> + <url>/2024/12/18/%E4%BA%8C%E3%80%87%E4%BA%8C%E5%9B%9B%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AB%E6%97%A5/</url> + <content><![CDATA[<p>一整个寒冷的冬季，一整个寒冷的纠缠时光，一整个寒冷的自我挣扎时间就要来了，</p> +<p>城市中独自等公车时灰白的空气，手背上青紫的针眼，嘈杂人群中的巴宝莉香水味，和长椅上听着音乐的人，都不是我。</p> +<p>我是从土里长出来的，是从一方山林中长出来的。</p> +<p>我在长大后成为了那一方小世界的神明，只要进了那片山林，就知道太阳从哪个方向升起，就知道每一阵风的走向，就知道从眼前经过的每一个生命从何而来。</p> +<p>我没有家，但是太阳升起的时候牵着老狗站在家人的坟包前，身后土地上的影子就是我的全家福。<br><br>在无声的融雪中泪流满面的大地，在白驹过隙的生命中，我瞥见了永恒。</p> +<p>但我无法描述它，不能说，也不能想，却又不能忘。<br>它不能变成语言，它也无法变成语言，一旦变成语言就不再是它了。<br>它是一片朦胧的温馨与寂寥，是一片成熟的希望与绝望，它的领地只有心和我身后的坟包。</p> +<p>北风似万鬼过境，<br>吹扤岭尾田堘。</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> @@ -3765,6 +3928,17 @@ </tags> </entry> <entry> + <title>藿香正气水和藿香正气口服液的区别</title> + <url>/2024/09/01/%E8%97%BF%E9%A6%99%E6%AD%A3%E6%B0%94%E6%B0%B4%E5%92%8C%E8%97%BF%E9%A6%99%E6%AD%A3%E6%B0%94%E5%8F%A3%E6%9C%8D%E6%B6%B2%E7%9A%84%E5%8C%BA%E5%88%AB/</url> + <content><![CDATA[<p>虽然都是口服液体制剂，且看起来单支容量都一样，但是藿香正气水里含有 40%-50% 的乙醇，而藿香正气口服液不含有乙醇。同时藿香正气水不能和头孢一起服用（因为含有酒精），而藿香正气口服液可以和头孢一起服用。在选用之前，还希望大家能仔细看药品名称。</p> +<p>正气水是酊剂，用的是生半夏，口服液用的是法半夏，比正气水多了炒的白术，生姜和大枣，两者的功效都是解表化湿，理气和中。藿香正气水由水煮及酒浸制而成，疗效最明显，但口感较差。由于霍香正气水药效比较峻猛，小儿和年老体虚者服用时应有医生指导。藿香正气口服液是藿香正气的换代产品。</p> +]]></content> + <tags> + <tag>Medicine</tag> + <tag>Life</tag> + </tags> + </entry> + <entry> <title>螺内酯片</title> <url>/2023/03/14/%E8%9E%BA%E5%86%85%E9%85%AF%E7%89%87/</url> <content><![CDATA[<h2 id="简介"><a href="#简介" class="headerlink" title="简介"></a>简介</h2><p>螺内酯是保钾利尿药，用于治疗心衰、低钾血症和高血压等。但是，它也会阻断雄激素受体，从而具有抗雄激素特性（我想你应该联想到了什么）；不过其效力较弱，需服用较大剂量方可充分起效（尿频等副作用也更明显）。</p> @@ -3906,17 +4080,6 @@ </tags> </entry> <entry> - <title>藿香正气水和藿香正气口服液的区别</title> - <url>/2024/09/01/%E8%97%BF%E9%A6%99%E6%AD%A3%E6%B0%94%E6%B0%B4%E5%92%8C%E8%97%BF%E9%A6%99%E6%AD%A3%E6%B0%94%E5%8F%A3%E6%9C%8D%E6%B6%B2%E7%9A%84%E5%8C%BA%E5%88%AB/</url> - <content><![CDATA[<p>虽然都是口服液体制剂，且看起来单支容量都一样，但是藿香正气水里含有 40%-50% 的乙醇，而藿香正气口服液不含有乙醇。同时藿香正气水不能和头孢一起服用（因为含有酒精），而藿香正气口服液可以和头孢一起服用。在选用之前，还希望大家能仔细看药品名称。</p> -<p>正气水是酊剂，用的是生半夏，口服液用的是法半夏，比正气水多了炒的白术，生姜和大枣，两者的功效都是解表化湿，理气和中。藿香正气水由水煮及酒浸制而成，疗效最明显，但口感较差。由于霍香正气水药效比较峻猛，小儿和年老体虚者服用时应有医生指导。藿香正气口服液是藿香正气的换代产品。</p> -]]></content> - <tags> - <tag>Medicine</tag> - <tag>Life</tag> - </tags> - </entry> - <entry> <title>过度疲劳的六种表现</title> <url>/2023/10/12/%E8%BF%87%E5%BA%A6%E7%96%B2%E5%8A%B3%E7%9A%84%E5%85%AD%E7%A7%8D%E8%A1%A8%E7%8E%B0/</url> <content><![CDATA[<ol> |