Xiao Jia

The best way to contact me is via email .

You can also find me on DBLP, GitHub, LinkedIn, StackOverflow, and Twitter.

2015-02-07 -- I intend to start writing essays and publish them at absopt.wordpress.com

Coq Resources

Software Foundations

Certified Programming with Dependent Types

Coqoon (Eclipse plugin)

HOWTOs

Research

Programming

Software

Miscellaneous

Remove delay in SSH login
UseDNS no                     # Add to /etc/ssh/sshd_config
options single-request-reopen # Add to /etc/resolv.conf
Remove watermarks (e.g. DRAFT) in PDF files
pdftk draft.pdf output uncompressed.pdf uncompress
less uncompressed.pdf          # check general structure
grep -a DRAFT uncompressed.pdf # check specific lines
cat uncompressed.pdf | sed 's/DRAFT//g' > without-draft.pdf
pdfjam examples
pdfjam ch1.pdf --landscape --nup 2x1 --a4paper --outfile ch1-2x1.pdf
pdf2ps ch1-2x1.pdf ch1-2x1.ps
pdfjam all.pdf --trim '2cm 3cm 2.5cm 1.5cm' --clip true --outfile /dev/stdout |\
  pdfjam --frame true --nup '2x2' --a4paper --outfile all-2x2-trim.pdf
LaTeX and Chinese support
sudo apt-get install texlive-full latex-cjk-all
\usepackage{CJKutf8}
\begin{CJK}{UTF8}{gkai}中文\end{CJK}