Posts

2026

不动点定理

2026/3/13  

滤子与广义极限

2026/2/27  

Typst HTML Export with Math Support

2026/1/25  

2025

编程字体

2025/7/30  

配置 Fontconfig 使用 Variable Font

2025/4/28  

2024

Coq Notes on Dependent Types

2024/9/19  

The Curry-Howard Correspondence

2024/5/22  

Build tools using LLVM and Clang libraries

2024/4/14  

Bash Scripting Notes

2024/3/20  

Realme 手机折腾记

2024/2/28  

Algorithm2e Usage

2024/2/3   LaTeX

2023

Arch Linux 折腾记

2023/2/11   Linux

Runtime API Examples

2023/1/1  

Markdown Examples

2023/1/1   Markdown

2021

配置 LaTeX 公式自动补全

2021/9/24   LaTeXVSCode

关于对数平均不等式

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

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

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

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

2021/5/4   高中物理

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

2021/4/16   高中数学

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

2021/4/1   Hugo

电容器动杆电磁感应问题

2021/3/27   高中物理

2020

圆锥曲线与极坐标

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

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

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

隔板法题型整理

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

二项分布方差的详细证明

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

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

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

2019

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

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