有幸在这个暑假参加了一个开源项目的活动，所以整理了一下对于在GitHub上提交pr以及公司内部提交pr的一个推荐的标准化操作

目前在搜索架构实习，组内语言是cpp，所以边学习cpp边整理了一些笔记

关于分布式算法和概率算法的一门算法高阶课程

一些数论知识的学习笔记

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

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

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

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