Hello, this is noteoverflow¹. I'm

• a programmer writing Rust, C/C++, Python, Java, Haskell and Lean.
• a researcher studying Transfer Learning and Programming Language Theory(PLT)

Welcome to my Github and Posts!