Formal Logic and PL Theory.
Post stuff about algorithm and fancy techniques.

Favourite langs: Racket, Haskell and Rust.

Currently focus on substructural logics.