Post
about
posts
categories
aya
RouterOS + OSPF 实现高可用的 IP 分流
networking
9/3/2023
Aya 编程语言的「文学编程」介绍
aya-prover
4/2/2023
Löb's theorem
aya-prover
3/14/2023
Termination check (foetus & size-change)
dependent-types
9/10/2022
Conversion check (untyped & typed)
dependent-types
6/5/2022
Principle of blog posting
random
9/6/2021
Linux To Go
tooling
1/2/2021
How HotSpot Boot Up
runtime
10/21/2019