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 tend to respond pretty quickly and I hope you do the same too. When a response is not needed, I usually indicate so explicitly.