大水笔✰档案室

本文介绍LazyVim中常用的快捷键。本文写于2024/4/21，早于本博客建立。

本文介绍了如何配置neovim。手动配置的部分没有详细介绍，主要介绍了LazyVim的配置和个人的按键偏好设置。本文写于2024/04/20，早于本博客建立。

本文介绍了如何通过ollama本地部署文本生成模型，分享部分代码。同时介绍接入到QQbot（澪依）上的模型的prompt。

本文介绍了如何在hexo-next主题下客制化css，例如：

修改字体，更改字体大小，行间距。

1931年哥德尔发表的一篇论文《论数学原理和有关系统Ⅰ的不可判定性》，其中哥德尔证明了：如果皮亚诺算术系统（下称PA）是协调的，则存在关于自然数的真命题，它在PA中既不能被证明为真，也不能被证明为否。这便是哥德尔第一不完全性定理。紧接着，哥德尔证明了：如果PA是协调的，则PA的协调性在PA中是不可证的。这便是哥德尔第二不完全性定理。

这是一段摘要，这是一段摘要。

这是在首页显示摘要和一张图片的写法。

本文测试了数学环境、图片、外链、标签、分类的功能。