Notes

2023
2021
Lambda 演算
Jun 7, 2021

Extensionality
Jun 7, 2021

CBSE notes
Apr 13, 2021

语言的数量
Feb 13, 2021

OS notes
Feb 3, 2021

2020
How RSA works
Jun 3, 2020