Wiki

Here is my personal wiki page.

Mathematics

Category theory

Coding

Common

Scala

Rust

Programming Language

Type System

Misc