Waterlens' Blog

This is Waterlens' blog.

2021-11-17
An Overview of Functional Programming Languages and Compilations
2021-11-13
A Tiny Regex Engine With AOT
2021-11-03
Making Proofs in Coq
2021-11-02
Implement Imperative Program with C++ Templates
2021-07-09
Enum Optimization in Rust
2021-06-30
Fuck Disqus Ads
2021-05-29
Hello World