介绍一些有趣的东西来帮助程序员延长自身寿命

本文主要介绍了如何利用 Hugo 和 Github Pages 创建静态博客，并利用 Github Actions 实现博客的自动部署。

数学家将做我们生活中面临的选择困境抽象为了一个数学模型：MAB/多臂老虎机模型（Multi-armed Bandit）

形式化方法是一门研究如何用数学语言来描述和分析计算机系统的学科。它的目标是找到一种数学语言，能够描述计算机系统的所有方面，包括算法、数据结构、程序设计等。形式化方法的研究成果已经在计算机科学、人工智能、软件工程等领域得到了广泛应用。

经常遇到的module缺少问题的一个有效的解决方案

研一上的日常健身计划

针对期末pdf复习的提示词

配置文件：.tmux.conf、.vimrc