Me

Programmer @ Baidu, Inc

Interested In

  • Distributed System, Linux Kernel, Network, Virtualization
  • L4 Microkernel, DragonflyBSD, OSv.
  • Programming Language Theory, Type Theory, Parsing Techniques, Clojure, OCaml and Haskell

Contact Me: jxwr.cn gmail G+, 豆瓣