Posts

2024

Coq Notes on Dependent Types

2024/9/18   

The Curry-Howard Correspondence

2024/5/21   

Build tools using LLVM and Clang libraries

2024/4/13   

Bash Scripting Notes

2024/3/19   

Realme 手机折腾记

2024/2/28   

Algorithm2e Usage

2024/2/2    LaTeX

2023

Arch Linux 折腾记

2023/2/11    Linux

Runtime API Examples

2022/12/31   

Markdown Examples

2022/12/31    Markdown

2021

配置 LaTeX 公式自动补全

2021/9/24    LaTeXVSCode

关于对数平均不等式

2021/6/4    高中数学回归分析

简单线性回归的相关公式与推导

2021/5/23    高中数学回归分析

电磁感应中电容器和动杆的等效转化

2021/5/4    高中物理

高中数学柯西不等式的应用

2021/4/15    高中数学

为 Hugo 添加 MathJax 支持（重新编译 Hugo）

2021/3/31    Hugo

电容器动杆电磁感应问题

2021/3/27    高中物理

2020

圆锥曲线与极坐标

2020/12/21    高中数学解析几何

“半代法”求圆锥曲线切线方程的原理（隐函数求导）

2020/12/4    高中数学解析几何

隔板法题型整理

2020/5/15    高中数学排列组合

二项分布方差的详细证明

2020/4/16    高中数学概率统计

离散型随机变量期望、方差的一些公式与证明

2020/4/14    高中数学概率统计

2019

排列组合的一些公式及推导

2019/3/29    高中数学排列组合