Vietnamese national ID: 054203001439
I might sign documents with my legal identity from time to time. You can check the signature against my name and my ID.
- I am learning machine stenography. I designed a steno theory for Vietnamese. I also made a steno keyboard with two phones.
- I used to work on CoqCP, a repository of formalized competitive programming proofs.
- CoqCP is my bachelor thesis. I got 89/100 for the thesis!
- My paper got rejected 🎉
- I am familiar with JavaScript/TypeScript and Rust. I can code a well tested React app with the React Testing Library.
- I use both Lean and Coq.
- I like competitive programming but I'm not good at it.
- I set some challenges on the Code Golf Stack Exchange site.
- I operated a small Tor relay. Had to shut it down because of cost.
- I wrote large parts of this game on a mobile phone.
- I coded HCMIU Map wholly on a mobile phone.