My name is Yoshiya Hinosawa. I've been a web engineer in ๐ฏ๐ต for about 15 years. I specialize in frontend development. Currently I work for Deno ๐ฆ๐ง.
I mainly use JavaScript and TypeScript for my job and hobby. Sometimes I use Rust ๐ฆ, Golang, Python ๐, Java, etc.
These days I've been learning Rust, Lean (https://github.com/leanprover/lean4), etc.