生如春花之绚烂,逝如秋叶之静美

从 Wordpress 到 Hexo 进行数据迁移

之前博客部署在阿里云的轻量服务器上,因为不想在国内备案的原因,选择了香港地区的服务器,在外面套了一层 Cloudflare 的 CDN,这样可以给站点加上小绿锁,也不用自己担心证书的问题。

之前的博客访问起来速度只能说一般般,毕竟离开大陆的服务器少有访问速度快的,Cloudflare 的 Anycast 在国内经常被绕到美国,这也是没办法的,国内的网络环境太复杂了。

但这些都不是迁移博客的原因,前一段时间在更新了 Wordpress 之后,貌似它们又搞了一个什么新的编辑器?在那之前我还可以把在本地写好的 Markdown 进行少量修改的复制过去发布文章,这次之后就完全不能了;而且对 LaTex 的支持还必须启用插件。这对只想安安静静写两篇帖子的我来说简直是太难过了 —— 折腾来折腾去,过一段时间还得升级,升级之后你也不知道会发生什么。

那就迁移吧,Hexo 是个不错的选择;毕竟折腾一次,以后轻松。

从 Wordpress 到 Hexo 进行数据迁移

写在2021

今天已经是2021年的1月23日了,然而我才开始总结过去一年的生活;在过去的一年里发生了很多很多的事情 —— 世界并不太平:疫情、战争、空难… 人们常说2020年是地狱难度的一年,但我相信在这新的2021年,美好的事情将会发生。

写在2021

ODE 笔记 —— Picard 存在唯一性定理

之前我们介绍了几种初等积分法求解微分方程(实际上是之后),事实上这些方法能够处理的微分方程数量是很有限的;那么对于无法求得解析解的微分方程,我们希望能够得知其近似解,并且确定解是否存在以及解的个数。

这一节我们介绍的重要的 Picard 存在唯一性定理就给出了 Cathy 问题存在唯一解的充分不必要条件。

定理的主要证明思路来自:

  1. Bilibili 王飞老师 的 ODE 课程(这个老师讲的真的很棒)
  2. 丁同仁教授的 《常微分方程教程》
  3. WikiPedia 上的一些补充

下面我们就开始吧!

ODE 笔记 —— Picard 存在唯一性定理

一个圆形内接三角形是锐角三角形的概率

这是一道之前在b站看视频的时候刷到的美国初中竞赛题,那个up最后给出了一个错误答案,导致我把这道题做了一遍,题并不复杂,但是初中生能用的解题思路我还是没想出来,所以就用了微积分来解题。

一个圆形内接三角形是锐角三角形的概率

从零开始制作Web框架(4) – 生成HTTP响应

现代互联网的很多流量都是承载在 HTTP 协议之上的,伟大的工程师前辈们制作了许多非常优秀的框架/协议,在我们的开发过程中帮助我们减轻了很多的工作,所以在业余时间,我想我们应该更加了解这些框架/协议的工作原理。

因此我构建了这个系列文章,以及 Flaks 项目(没错就是 Flaks – 高射炮),它模仿了一些 Flask 框架的特性(路由、可配置、…)并添加了一个简单的 并行/异步 HTTP 服务器与 CGI 支持;在这个系列文章中会较为详细的讲解该框架的构建流程以及思路,希望大家喜欢。

这是这个系列的第三篇文章,本篇文章我们构建 HTTP 响应类。

从零开始制作Web框架(4) – 生成HTTP响应

命运之轮,时间之矢

因为疫情的缘故,以前国内大学的同学们今天在操场上毕业联欢。以前的室友,也是我们的班长贴心的给我打来了视频电话。我也算是远程看了一次“直播”联欢。

命运之轮,时间之矢

从零开始制作Web框架(3) – WSGI&CGI 支持

现代互联网的很多流量都是承载在 HTTP 协议之上的,伟大的工程师前辈们制作了许多非常优秀的框架/协议,在我们的开发过程中帮助我们减轻了很多的工作,所以在业余时间,我想我们应该更加了解这些框架/协议的工作原理。

因此我构建了这个系列文章,以及 Flaks 项目(没错就是 Flaks – 高射炮),它模仿了一些 Flask 框架的特性(路由、可配置、…)并添加了一个简单的 并行/异步 HTTP 服务器与 CGI 支持;在这个系列文章中会较为详细的讲解该框架的构建流程以及思路,希望大家喜欢。

这是这个系列的第三篇文章,本篇文章我们实现服务器的 CGI 与 WSGI 支持。

从零开始制作Web框架(3) – WSGI&CGI 支持