Xiao Jia
The best way to contact me is via email .
You can also find me on DBLP, GitHub, LinkedIn, StackOverflow, and Twitter.
Links
Scaling in the Linux Networking Stack
A talk on scientific research in China (in Chinese)
What's New in CPUs Since the 80s and How Does It Affect Programmers?
Diving Deep with Dependency Injection (explains how AngularJS $injector works)
Data-binding Revolutions with Object.observe() (explains how AngularJS works)
Root cause analysis (RCA) is a method of problem solving that tries to identify the root causes of faults or problems.
Gerrit is a good choice for code review.
Queueing in the Linux Network Stack
Static Linking Considered Harmful
What Does Haskell Have to Do with C++?
I am an advocate of System Prevalence and I think this page explains the idea very well.
Programming Languages Etc. Reading Group
The Case for Formal Verification (2013)
Modern Microprocessors - A 90 Minute Guide!
Some Interesting Work
The SO_REUSEPORT socket option
CommonMark (previously Standard Markdown)
Use of Formal Methods at Amazon Web Services
Tags and boost::parameter
Backporting bug fixes: Towards LTS Haskell
HOWTOs
Research
- How to design (declarative) programming languages
- How to write abstracts (1) (2) (3)
- How to write a good introduction
Programming
- How to use awk
- How to start client-server SSL communication (1) (2) (3) (4) (5)
- How to keep TCP connections alive
- How to call C# functions in Excel
- How to create a custom Win32 control
- How to handle strings of multi-byte characters (short answer: use UTF-8 everywhere)
- How to make your own Ruby gem
- How to get started with Warp and WAI
- How to use OpenMP in C++
- How to program POSIX threads in C
- How to use Lua coroutines
- How to do server push (comet) in PHP
- How to generate Flash movies on the fly with PHP
- How to GitHub: fork, branch, track, squash and pull request
- How to attach a pull request to an existing GitHub issue (1) (2)
Software
- How to avoid ESC in Vim (TL;DR: use Ctrl+[ and Alt+j/k/l)
- How to remap a key to the Caps Lock key in Xubuntu?
- How to squash git commits
- How to use iptables
- How to use tmux
- How to use git subtree (1) (2) (3)
- How to convert between VirtualBox VDI and VMware VMDK
- How to install VNC server on Ubuntu Server 12.04
- How to setup LVM in Ubuntu (1) (2)
- How to setup mutt in Ubuntu
- How to disable a CPU core on Ubuntu/Debian
- How to add colors to git
- How to effectively use git with Subversion
Miscellaneous
UseDNS no # Add to /etc/ssh/sshd_config options single-request-reopen # Add to /etc/resolv.conf
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 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
sudo apt-get install texlive-full latex-cjk-all
\usepackage{CJKutf8}
\begin{CJK}{UTF8}{gkai}中文\end{CJK}