Update from wanghuibin0/blog@5789afe

categories/技术/index.html

@@ -2,5 +2,6 @@
 <i class="fas fa-adjust fa-fw"></i></a></div></div></div></header><header class=mobile id=header-mobile><div class=header-container><div class=header-wrapper><div class=header-title><a href=/ title="Hybert's blog">云在水天</a></div><div class=menu-toggle id=menu-toggle-mobile><span></span><span></span><span></span></div></div><div class=menu id=menu-mobile><a class=menu-item href=/posts/ title>所有文章</a><a class=menu-item href=/tags/ title>标签</a><a class=menu-item href=/categories/ title>分类</a><a class=menu-item href=/about/ title>关于</a><a class=menu-item href=https://github.com/wanghuibin0 title=GitHub rel="noopener noreffer" target=_blank><i class='fab fa-github fa-fw'></i></a><a href=javascript:void(0); class="menu-item theme-switch" title=切换主题>
 <i class="fas fa-adjust fa-fw"></i></a></div></div></header><div class="search-dropdown desktop"><div id=search-dropdown-desktop></div></div><div class="search-dropdown mobile"><div id=search-dropdown-mobile></div></div><main class=main><div class=container><div class="page archive"><h2 class="single-title animated pulse faster"><i class="far fa-folder-open fa-fw"></i>&nbsp;技术</h2><h3 class=group-title>2023</h3><article class=archive-item><a href=/posts/2023/10/programming-paradigm/ class=archive-item-link>关于编程范式</a>
 <span class=archive-item-date>10-04</span></article><h3 class=group-title>2022</h3><article class=archive-item><a href=/posts/2022/04/program-analysis-intro/ class=archive-item-link>程序分析简介</a>
-<span class=archive-item-date>04-19</span></article></div></div></main><footer class=footer><div class=footer-container><div class=footer-line>由 <a href=https://gohugo.io/ target=_blank rel="noopener noreffer" title="Hugo 0.119.0">Hugo</a> 强力驱动 | 主题 - <a href=https://github.com/dillonzq/LoveIt target=_blank rel="noopener noreffer" title="LoveIt 0.2.10"><i class="far fa-kiss-wink-heart fa-fw"></i> LoveIt</a></div><div class=footer-line><i class="far fa-copyright fa-fw"></i><span itemprop=copyrightYear>2021 - 2023</span><span class=author itemprop=copyrightHolder>&nbsp;<a href=/ target=_blank>hibert</a></span>&nbsp;|&nbsp;<span class=license><a rel="license external nofollow noopener noreffer" href=https://creativecommons.org/licenses/by-nc/4.0/ target=_blank>CC BY-NC 4.0</a></span></div></div></footer></div><div id=fixed-buttons><a href=# id=back-to-top class=fixed-button title=回到顶部><i class="fas fa-arrow-up fa-fw"></i>
+<span class=archive-item-date>04-19</span></article><h3 class=group-title>2021</h3><article class=archive-item><a href=/posts/2021/04/program-semantics/ class=archive-item-link>编程语言的形式语义</a>
+<span class=archive-item-date>04-21</span></article></div></div></main><footer class=footer><div class=footer-container><div class=footer-line>由 <a href=https://gohugo.io/ target=_blank rel="noopener noreffer" title="Hugo 0.119.0">Hugo</a> 强力驱动 | 主题 - <a href=https://github.com/dillonzq/LoveIt target=_blank rel="noopener noreffer" title="LoveIt 0.2.10"><i class="far fa-kiss-wink-heart fa-fw"></i> LoveIt</a></div><div class=footer-line><i class="far fa-copyright fa-fw"></i><span itemprop=copyrightYear>2021 - 2023</span><span class=author itemprop=copyrightHolder>&nbsp;<a href=/ target=_blank>hibert</a></span>&nbsp;|&nbsp;<span class=license><a rel="license external nofollow noopener noreffer" href=https://creativecommons.org/licenses/by-nc/4.0/ target=_blank>CC BY-NC 4.0</a></span></div></div></footer></div><div id=fixed-buttons><a href=# id=back-to-top class=fixed-button title=回到顶部><i class="fas fa-arrow-up fa-fw"></i>
 </a><a href=# id=view-comments class=fixed-button title=查看评论><i class="fas fa-comment fa-fw"></i></a></div><script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/dist/smooth-scroll.min.js></script><script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/lazysizes.min.js></script><script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/dist/clipboard.min.js></script><script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/sharer.min.js></script><script type=text/javascript>window.config={code:{copyTitle:"复制到剪贴板",maxShownLines:10}}</script><script type=text/javascript src=/js/theme.min.js></script><script type=text/javascript>window.dataLayer=window.dataLayer||[];function gtag(){dataLayer.push(arguments)}gtag("js",new Date),gtag("config","268304114",{anonymize_ip:!0})</script><script type=text/javascript src="https://www.googletagmanager.com/gtag/js?id=268304114" async></script></body></html>

categories/技术/index.xml

@@ -1 +1 @@
-<rss xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title>技术 - 分类 - Hybert's blog</title><link>https://wanghuibin0.github.io/categories/%E6%8A%80%E6%9C%AF/</link><description>技术 - 分类 - Hybert's blog</description><generator>Hugo -- gohugo.io</generator><language>zh-CN</language><copyright>This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.</copyright><lastBuildDate>Wed, 04 Oct 2023 12:48:00 +0800</lastBuildDate><atom:link href="https://wanghuibin0.github.io/categories/%E6%8A%80%E6%9C%AF/" rel="self" type="application/rss+xml"/><item><title>关于编程范式</title><link>https://wanghuibin0.github.io/posts/2023/10/programming-paradigm/</link><pubDate>Wed, 04 Oct 2023 12:48:00 +0800</pubDate><author>作者</author><guid>https://wanghuibin0.github.io/posts/2023/10/programming-paradigm/</guid><description>编程本质上是在对目标系统做抽象，不同的编程范式对目标系统做抽象的视角不同。 对于一个系统，命令式将之描述为一系列系统状态随时间演进的步骤；函数</description></item><item><title>程序分析简介</title><link>https://wanghuibin0.github.io/posts/2022/04/program-analysis-intro/</link><pubDate>Tue, 19 Apr 2022 16:53:00 +0800</pubDate><author>作者</author><guid>https://wanghuibin0.github.io/posts/2022/04/program-analysis-intro/</guid><description>程序分析的目的是什么 对计算机程序进行自动化的处理,以确认或发现其特性,比如性能、正确性、安全性等. 其结果可用于编译优化、提供警告信息等,比如</description></item></channel></rss>
+<rss xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title>技术 - 分类 - Hybert's blog</title><link>https://wanghuibin0.github.io/categories/%E6%8A%80%E6%9C%AF/</link><description>技术 - 分类 - Hybert's blog</description><generator>Hugo -- gohugo.io</generator><language>zh-CN</language><copyright>This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.</copyright><lastBuildDate>Wed, 04 Oct 2023 12:48:00 +0800</lastBuildDate><atom:link href="https://wanghuibin0.github.io/categories/%E6%8A%80%E6%9C%AF/" rel="self" type="application/rss+xml"/><item><title>关于编程范式</title><link>https://wanghuibin0.github.io/posts/2023/10/programming-paradigm/</link><pubDate>Wed, 04 Oct 2023 12:48:00 +0800</pubDate><author>作者</author><guid>https://wanghuibin0.github.io/posts/2023/10/programming-paradigm/</guid><description>编程本质上是在对目标系统做抽象，不同的编程范式对目标系统做抽象的视角不同。 对于一个系统，命令式将之描述为一系列系统状态随时间演进的步骤；函数</description></item><item><title>程序分析简介</title><link>https://wanghuibin0.github.io/posts/2022/04/program-analysis-intro/</link><pubDate>Tue, 19 Apr 2022 16:53:00 +0800</pubDate><author>作者</author><guid>https://wanghuibin0.github.io/posts/2022/04/program-analysis-intro/</guid><description>程序分析的目的是什么 对计算机程序进行自动化的处理,以确认或发现其特性,比如性能、正确性、安全性等. 其结果可用于编译优化、提供警告信息等,比如</description></item><item><title>编程语言的形式语义</title><link>https://wanghuibin0.github.io/posts/2021/04/program-semantics/</link><pubDate>Wed, 21 Apr 2021 23:08:00 +0800</pubDate><author>作者</author><guid>https://wanghuibin0.github.io/posts/2021/04/program-semantics/</guid><description>编程语言 语言有两大要素&amp;mdash;&amp;mdash;语法和语义，语法是看得见的表面的形式，语义是真正想表达的背后的含义。各种五发八门的不同的编</description></item></channel></rss>