Be a useful and necessary person to this world

Laptop: ThinkPad T460s
Distro: latest Fedora release, since Fedora 14
Vim or Emacs: Vim
Tabs or spaces: spaces

Current working, if you are doing the same things, feel free to get touch with me.
Learning theory of computation.
Trying to prove or get the relationship between TOC and programming abilties.
Reading SICP.
Reading The science of programming
Reading First Draft of a Report on the EDVAC by John von Neumann
Reading 控制论与科学方法论
奔腾年代(Chinese version, under construction)
The Common Cognition Language(under construction)
The orgnizations of knowledge(under construction)

Persons who inspire me:
Leonardo da Vinci, Richard Feynman, Elon Musk, Aaron Swartz and The Internet’s Own Boy: The Story of Aaron Swartz

Recent posts

Linux kernel page allocation Jun 8, 19
Kernel memory bug - SLAB's 3 lists are corrupted. Jan 2, 19
memory mapping Aug 22, 18
From the Nihilism Jan 31, 18
Memory consistency model Dec 16, 17