ThanhVu's blog
Demystifying the Computer Science PhD Admission in US universities (Guide for Vietnamese and International Students)
See https://github.com/nguyenthanhvuh/phd-cs-us
A test
My FreeBSD Setup
My home machine, which was running Debian and was built in 2007, was becoming old and loud. So, I decided to set up a new home system on a small Dell Optiplex that I obtained from school. I decided to install FreeBSD on it instead of my preferred Debian Linux (because … why not? my lab already has two servers running Debian).
...Badminton in Albuquerque, New Mexico
I am longer in NM but still got lots of emails from people asking about badminton information. So here are some information:
LaTeX Letterhead
A minimal letter head with logo
...My Website and Blog Setup
Minimal CSS that automatically switches btw light and dark, and blog setup using org-static-blog
Creating and Checking Deep Neural Networks
A simple excercise for creating and checking Deep Neural Networks
...My CV LaTeX Setup
Worked my CV in \(\LaTeX\) + BibLaTeX over the weekend. Quite some work but I am happy with the result cv-nguyen.pdf (built from these 3 files cv.tex, cv.bib, tvn.png using these commands). The full git repo is at https://github.com/dynaroars/latex-cv.
...
Dynamic Invariant Generation and Nonlinear Properties
Automatically inferring invariant specifications has proven valuable in enabling a wide range of software verification and validation approaches over the past two decades. Recent approaches have shifted from using observation of concrete program states to exploiting symbolic encodings of sets of concrete program states in order to improve the quality of inferred invariants.
...Writing
Managing my \(\LaTeX\) writings.
...Useful Linux/Mac Setups
Linux/Mac command lines and setup stuff that I find useful
...