Logics, Math, and Physics lover. // use Fortran, Haskell mainly, and sometimes python3 etc. // intersted in PLT