About
This blog is intended to server as a place to record my inspiration about:
- Hard and easy problem of consciousness
- Auto-reasoning especially in mathematics area
- Conlang which has a formal definition
- Nature of music and art and their auto generator
- Game design
- Distributed system
In my case, I am interested in finding a formal model of a problem and automating the way to solve it.