Self Introduction
I am a graduate student majoring physics. I am also interested in programming, especially type theory and programming languages. I am developing a language called Erg. It is a statically typed language that will be transpiled into Python.
Since 2025, I have been working as a contractor for Astral software inc. developing Python type checker.