INFRASTRUCTURE

  • Experience :
    • Compiler Engineer @ Huawei Research Shanghai
    • Software Engineer @ Citigroup Inc.
  • Background :
    • M.Sc. in Artificial Intelligence @ University of Edinburgh
    • B.Eng. in Software Engineering @ Sun Yat-sen University
    • Founder of PROJECT λ, now open source
    • SCer「retired, Supercomputer Challenge」
    • OIer「retired, Olympiad in Informatics」
  • Active :
    • Language : Haskell, C/C++, Java, Python, Scala, Coq
    • Frameworks : Spring, Bootstrap, Scotty, Persistent(ORM)
  • Retire :
    • Language : APL, Pascal, QBASIC, Prolog
    • Frameworks : web.py
  • Tools : Vim/Emacs, Xcode, JetBrains, Isabelle
  • Devices : rMBP「Mid 2018」, rMBP「Late 2013」, HHKB pro 2「白無刻」

This site is proudly provided Disqus as comment service, please access it by scientific surfing

PORTFOLIO

Portfolio that before I went to University

ABOUT THIS SITE

This site is my 4th blog. The 1st is a sina blog, I used Pascal at that time. Some posts are merged to here. The 2nd is under baidu space and I have a new id: adventop and new language C++. Unfortunately, baidu shutdown its service, I had to migrate all my posts to the 3rd one with another id: idealnova, which is a wordpress blog when I was a freshman in the university.

Logo of First blog

Logo of Third blog