Xiao Jia 贾枭
My primary research area is programming language design & implementation.
My broader interests include program synthesis and software engineering.
My primary research area is programming language design & implementation.
My broader interests include program synthesis and software engineering.
wget https://dl-ssl.google.com/linux/direct/google-chrome-stable_current_amd64.deb
dpkg-deb -x google-chrome*.deb /tmp/chrome/
sudo cp /tmp/chrome/opt/google/chrome/libpdf.so /usr/lib/chromium-browser/
{
"color_scheme": "Packages/Tomorrow-Night.tmTheme",
"drag_text": false,
"highlight_line": true,
"shift_tab_unindent": true,
"tab_size": 2,
"translate_tabs_to_spaces": true,
"ignored_packages": []
}
sudo apt-get install fcitx \
fcitx-sunpinyin \
fcitx-module-cloudpinyin
$ sudo apt-get install ttf-bitstream-vera $ cat > ~/.Xresources UXTerm.vt100.renderFont: true UXTerm*faceName: Bitstream Vera Sans Mono UXTerm*faceNameDoublesize: Heiti SC UXTerm*faceSize: 10 $ xrdb -merge ~/.Xresources
sudo apt-get install gnome-session-fallback
sudo apt-get purge liboverlay-scrollbar-0.2-0 \
liboverlay-scrollbar3-0.2-0 \
overlay-scrollbar
gconftool-2 --set "/apps/metacity/general/button_layout" \
--type string ":minimize,maximize,close"
sudo apt-get install texlive-full latex-cjk-all
\usepackage{CJKutf8}
\begin{CJK}{UTF8}{gkai}中文\end{CJK}