I'm a self-taught programmer, currently interested in interactive theorem proving. I have done a lot of stuff throughout my programming life.
My full name is Huỳnh Trần Khanh, but my first name is Khanh, not Huỳnh. The last name is placed first in Vietnamese names.
I consider myself proficient in JavaScript and its ecosystem. I can also write C, C++ and Rust code. I do interactive theorem proving in Lean.
I tend to respond pretty quickly and I hope you do the same too. When a response is not needed, I usually indicate so explicitly.