I'm interested in language & compiler design, type systems, metaprogramming, automated proof checking and 3D rendering.
I love studying math, formal logic systems and reading about the philosophy of mathematics.
Functional programming is so good, and OCaml is interesting but Rust clears, sorry. ๐ฆ
๐ซ DM me on Discord: @anatom3000
Does anyone read this stuff?