Hebi Li
If you look on the ground in search of a sixpence, you don't look up, and so miss the moon.
I'm currently a PhD student in CS@ISU starting 2014 Fall. I graduated from Electrical Engineering (1010) of USTC in 2014. See details in my CV(pdf).
My (research) interests are quite broad:
- Programming Language (but not quite Software Engineering)
- Artificial (General) Intelligence (but not quite Machine Learning)
- Operating System (well, I mean Lisp Machines)
- Embedded system (IoT, robotics, you name it)
Projects
AI, Causality & NLP (Spring 2018 - Present)
Working ..
Robotics (Spring 2018 - Present)
Working ..
Dynamic Analysis on Demand (Summer 2015 - Spring 2018)
I was researching in Program Language and Analysis. We designed an on-demand dynamic analysis framework, called Helium, and is open source.
USTC RoboGame 2012
I was the leader of a team in USTC RoboGame 2012, and we ranked 3rd among 26 teams. The robot precisely fetched a bunch of flowers, found routes using image processing, climbing the ladders, and finally put the followers precisely in front of the sculpture of Jici Yan. You can see a small video of our robot in the competition that day. Check out the proposal (pdf) and the technical report (pdf) in Chinese.
Open Source Tools
- hn.el: A Hacker News Client for Emacs
- simple-drill.el: A Flashcard Program for Emacs
- smart-scholar.el: An Emacs plugin for downloading and managing bibs for CS conferences
- Helium: Demand-driven dynamic analysis Framework
- Helium-v2: using Racket
Wiki
This is a personal wiki, on various topics. An old archive of articles can be found on at wiki.lihebi.com. Although I name it "wiki", it is different from hyper-linked wikis aiming at connecting concepts. Instead, these articles document highly integrated and hierarchical knowledge, typically one big page per-topic. In this sense it is more like a reference. There are many benefits of writing a personal reference instead of using official ones:
- I can control the granularity and focus on the topic
- possibly add my thoughts, and
- a consistent writing style
Disclaimer: these are my understandings, not necessarily 100% correct. Read at your own risk.
- functional programming
- lisp: the language of the history and, of course, the future
- Python: communication language
- markup languages for writing: org, latex
- Linux: the OS to-go, before the revival of Lisp Machine
- Emacs: poor-man's lisp machine
- Algorithm
- AI and AI Frameworks
- ML: currently very preliminary
Essays
I have this section to write down variety of my thoughts, for anyone who wants to know what kind of person I am, and whether they want and to get to know me and make friends or the other way around.
The essays are not finished, and will be consistently updated.
First of all, I document the quotes from the great minds.
- research
- global view
- the future
- exponential growth
- life and time
- there is the whole world out there
- Independence and collaboration
Misc
Exercise brings me a lot of joy and energy. I run full marathon every year since 2017. See the 2017 certificate (pdf) in 4h 35min and 2018 certificate (pdf) in 4h 59min.
