From e6158eb85d917cea33aef29a0d51f6ca19718790 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Thu, 22 Jun 2023 10:35:05 +0000 Subject: deploy: 26f139126ba932c882fa444531a7d5269fd74d4b --- .../index.html" | 2 +- .../index.html" | 227 ++++++++++++++++++ "2023/04/22/\346\262\231\346\274\240/index.html" | 227 ------------------ .../index.html" | 2 +- .../17/Programming_Language_Concepts_1/index.html | 250 ------------------- .../index.html" | 2 +- .../index.html" | 266 +++++++++++++++++++++ 7 files changed, 496 insertions(+), 480 deletions(-) create mode 100644 "2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" delete mode 100644 "2023/04/22/\346\262\231\346\274\240/index.html" delete mode 100644 2023/06/17/Programming_Language_Concepts_1/index.html create mode 100644 "2023/06/22/\347\201\257\347\254\274\350\215\211/index.html" (limited to '2023') 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 a1bedd8e..ba4fb592 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" @@ -224,7 +224,7 @@
- Prev + Prev
diff --git "a/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" "b/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" new file mode 100644 index 00000000..25596502 --- /dev/null +++ "b/2023/04/22/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\233\233\346\234\210\344\272\214\345\215\201\344\272\214\346\227\245/index.html" @@ -0,0 +1,227 @@ + + + + + + + + + + + + + + + + + + + + + +二零二三年四月二十二日 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+
+ + + 暮秋小屋 + + +
+ + +
+
+
+ + +
+
+
+ + +
+
+
+ +
+
+ + + 二零二三年四月二十二日 + + +
+ + Apr 22, 2023 + +
+
+ + featured_image + +
+
+
+

二零二三年四月二十二日， 风沙把阳光的气息卷入帐篷， 现在是凌晨四点二十七，快天亮了， 仍有些微凉， 我即将踏入看不到边的大漠。

+

我的心思很简单， 忘了些什么， 记起来些什么， 痛苦的根源在哪里，

+

从这渲扰的世界沉静下来，好让我这满是凡尘虚伪的灵魂有一丝陈酿，还有世界的上方流泪的天空，和被二氧化碳覆盖的皮囊，该怎么回到最初的样子。

+

我也曾独自冒着冷风，去薄霜铺地的林子里，为听鸟语，为盼朝阳，为寻泥土里渐次苏醒的花草，但春信不至。我是如此单独而完整，在无数个夜晚，独自顶着冷风 伫立在老橘树下的桥头，只为听一曲夜莺的哀歌，倚暖了石栏上的青苔，青苔凉透了我的心坎，但夜莺不来，夜莺不来啊。

+

不多矫情， 秋风骀荡兮，我心向伊，漫漫黄沙兮，修我足迹！

+

不知道这漫无边际的黄沙下面埋葬了多少文明， 只觉神秘， 但未曾有过恐惧， 我敬畏着这个世界。

+

给岁月以文明，进入大漠只有往前，没有后路。

+

岁月中的某个文明中的某个人，曾经也骑着骆驼向远方，又是哪个人，吟着佛门心语站在我身旁，我听见大漠的念经声。

+

我不是个有耐心的人， 抄经书对我来说是种折磨， 我只能选择把经文抄在大地上， 黄沙上， 用自己的双腿一点点写， 用耳去倾听狂风卷积的声音。

+

我生来就是为了把这个世界的消息和秘密带到下一个世界去。

+ +
+ + +
+
+ +
+ + +
+ + + + + + + +
+ + +
+
+
+ +
+
+
+ + + | + + + 希望路过的人可以添点柴火让这里暖和点 + +
+
+
+ +
+ + + + + + 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" deleted file mode 100644 index a719934e..00000000 --- "a/2023/04/22/\346\262\231\346\274\240/index.html" +++ /dev/null @@ -1,227 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -沙漠 | 暮秋小屋 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- -
- -
-
-
-
- - - 暮秋小屋 - - -
- - -
-
-
- - -
-
-
- - -
-
-
- -
-
- - - 沙漠 - - -
- - Apr 22, 2023 - -
-
- -
- -
-
-
-

二零二三年四月二十二日， 风沙把阳光的气息卷入帐篷， 现在是凌晨四点二十七，快天亮了， 仍有些微凉， 我即将踏入看不到边的大漠。

-

我的心思很简单， 忘了些什么， 记起来些什么， 痛苦的根源在哪里，

-

从这渲扰的世界沉静下来，好让我这满是凡尘虚伪的灵魂有一丝陈酿，还有世界的上方流泪的天空，和被二氧化碳覆盖的皮囊，该怎么回到最初的样子。

-

我也曾独自冒着冷风，去薄霜铺地的林子里，为听鸟语，为盼朝阳，为寻泥土里渐次苏醒的花草，但春信不至。我是如此单独而完整，在无数个夜晚，独自顶着冷风 伫立在老橘树下的桥头，只为听一曲夜莺的哀歌，倚暖了石栏上的青苔，青苔凉透了我的心坎，但夜莺不来，夜莺不来啊。

-

不多矫情， 秋风骀荡兮，我心向伊，漫漫黄沙兮，修我足迹！

-

不知道这漫无边际的黄沙下面埋葬了多少文明， 只觉神秘， 但未曾有过恐惧， 我敬畏着这个世界。

-

给岁月以文明，进入大漠只有往前，没有后路。

-

岁月中的某个文明中的某个人，曾经也骑着骆驼向远方，又是哪个人，吟着佛门心语站在我身旁，我听见大漠的念经声。

-

我不是个有耐心的人， 抄经书对我来说是种折磨， 我只能选择把经文抄在大地上， 黄沙上， 用自己的双腿一点点写， 用耳去倾听狂风卷积的声音。

-

我生来就是为了把这个世界的消息和秘密带到下一个世界去。

- -
- - -
-
- -
- - -
- - - - - - - -
- - -
-
-
- -
-
-
- - - | - - - 希望路过的人可以添点柴火让这里暖和点 - -
-
-
- -
- - - - - - 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 5485dcc8..b13a0366 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" @@ -180,7 +180,7 @@
- Next + Next
diff --git a/2023/06/17/Programming_Language_Concepts_1/index.html b/2023/06/17/Programming_Language_Concepts_1/index.html deleted file mode 100644 index 9a1b2e63..00000000 --- a/2023/06/17/Programming_Language_Concepts_1/index.html +++ /dev/null @@ -1,250 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -Programming Language Concepts Reading Notes | 暮秋小屋 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- -
- -
-
-
-
- - - 暮秋小屋 - - -
- - -
-
-
- - -
-
-
- - -
-
-
- - - - - Technique - - - - - - F# - - - - - - PL - - - - -
-
- - - Programming Language Concepts Reading Notes - - -
- - Jun 17, 2023 - -
-
- -
- -
-
-
-

Introduction

-

how to represent arithmetic expressions and other program fragments as data structures in F# as well as Java, and how to compute with such program fragments. We also introduce various basic concepts of programming languages.

-
-

Syntax and Semantics

What does this (well-formed) program mean, how does it behave—what happens when we execute it?

-
    -
  • One may distinguish two kinds of syntax
      -
    1. By concrete syntax we mean the representation of a program as a text.
      2. -
    2. By abstract syntax we mean the representation of a programs as a tree or by an object structure.
      3. -
    -
    • -
  • One may distinguish two kinds of semantics
      -
    1. Dynamic semantics concerns the meaning or effect of a program at run-time.
      2. -
    2. Static semantics roughly concerns the compile-time correctness of the program (are variables declared, is the program well-typed, and so on)
      3. -
    -
    • -
-

Static semantics can be checked without executing the program, and may be enforced by closedness checks (type checks, type inference, and more…).

-

In the conditional expression if e1 then e2 else e3, the interpreter might start by testing whether expressions e2 and e3 are syntactically identical, in which case there is no need to evaluate e1, only e2 (or e3). Although possible, this shortcut is rarely useful.

- -
- - -
-
- -
- - -
- - - - - - - -
- - -
-
-
- -
-
-
- - - | - - - 希望路过的人可以添点柴火让这里暖和点 - -
-
-
- -
- - - - - - diff --git "a/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html" "b/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html" index 110de296..2935f4ab 100644 --- "a/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html" +++ "b/2023/06/17/\345\217\221\347\203\255\345\217\212\350\266\205\351\253\230\347\203\255\345\215\261\350\261\241/index.html" @@ -291,7 +291,7 @@
- Prev + Prev
diff --git "a/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html" "b/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html" new file mode 100644 index 00000000..7d720d5e --- /dev/null +++ "b/2023/06/22/\347\201\257\347\254\274\350\215\211/index.html" @@ -0,0 +1,266 @@ + + + + + + + + + + + + + + + + + + + + + +灯笼草 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+ +
+
+
+
+ + + 暮秋小屋 + + +
+ + +
+
+
+ + +
+
+
+ + +
+
+
+ + + + + Medicine + + + + + + Life + + + + +
+
+ + + 灯笼草 + + +
+ + Jun 22, 2023 + +
+
+ +
+ +
+
+
+

今天在菜园子里看到了野生的灯笼草，都结果了：

+

+

灯笼果别名为小果酸浆、秘鲁苦蘵、打头泡、灯笼草等，茄科酸浆属多年生草本植物。
灯笼果茎直立，叶较厚，阔卵形或心脏形，两面密生柔毛；花单独腋生，花萼阔钟状，花冠阔钟状，黄色而喉部有紫色斑纹，花丝及花药蓝紫色，花药长约3毫米。果萼薄纸质，淡绿色或淡黄色，浆果成熟时黄色，种子黄色，圆盘状，夏季开花结果。生于田间、路旁、村边。我国南北各地均有分市。

+

不要与醋栗混淆

+

醋栗长这样：

+

+
+

性味

    +

  • 《陆川本草》：”甘淡，微寒。”

    +
    • +

  • 《南宁市药物志》：”苦，寒，微甘。”

    +
    • +
+

功能主治

+

清热，行气，止痛，消肿。治感冒，痄腮，喉痛，咳嗽，腹胀，疝气，天疱疮。

+
+
    +

  • 《陆川本草》：”行气，消胀，利尿。治腹胀，睾丸炎，疝气。”

    +
    • +

  • 《南宁市药物志》：”清热杀虫，止痛消肿。治热眼，喉痛，咳嗽；外敷毒疮，并熏洗阴囊肿大。”

    +
    • +

  • 《生草药手册》：”内服治伤寒或小肠疝气。外洗治天疱疮。”

    +
    • +

  • 《中国药植图鉴》：”功同酸浆。”

    +
    • +

  • 广州空军《常用中草药手册》：”治感冒发热，腮腺炎，支气管炎，疱疹，疖疮，疝气痛。”

    +
    • +
+

用法用量

    +
  • 内服：煎汤，3 ~ 5钱。
    • +
  • 外用：捣敷或煎水洗。
    • +
+

引用

    +

  • 《本草纲目》旧版草部第十六卷，草之五：燕京野果名红姑娘，外垂降囊，中含赤子如珠，酸甘可食盈盈绕砌，与翠草同芳，亦自可爱。捣计服治黄病（即黄胆性肝炎）多效，治上气咳嗽风热，明目，付小儿内辟等多种疾病。东北地区种植较广泛，其他地区种植较少，仍属稀特蔬菜。

    +
    • +

  • 《别录》：“酸浆，生荆、楚川泽及人家田园中。五月采，阴干。”陶弘景：“酸浆，处处人家多有。叶亦可食。子作房，房中有子，如梅李大，皆黄赤色。”《唐本草》：“灯笼草，所在有之。八月采。枝干高三、四尺，有花，红色，状若灯笼，内有子，红色可爱。根、茎、花、叶并入药用。”

    +
    • +

  • 《梦溪笔谈》：“苦耽，即本草酸浆也。河西番界中酸浆有盈丈者。”《本草衍义》：“酸浆，今天下皆有之。苗如天茄子，开小白花，结青壳，熟则深红，壳中子大如樱，亦红色，樱中复有细子，如落苏之子，食之有青草气。此即苦耽也。”

    +
    • +
+ +
+ + +
+
+ +
+ + +
+ + + + + + + +
+ + +
+
+
+ +
+
+
+ + + | + + + 希望路过的人可以添点柴火让这里暖和点 + +
+
+
+ +
+ + + + + + -- cgit v1.2.3