First, a note. My blog have been blocked by China, confirmed by many sources.

There is a Taiwanese meme where nice guys, those people who became too helpful to girls eventually can only become friends, get rejected by girls who says "you are such a nice guy, you can find someone better or w/e". This is called receiving a nice guy card(好人卡).(use NGC from now on)

NGC is not wanted by common men, due to it's association with rejection.

But yep, I'm no common man. After learning the existence of NGC(yesterday) I eager to get one for the lulz! Consider for all these year, I have never had one. Cause is unknown. maybe I'm too desirable?

If I finish my Intel STS in 5 days, I might go to China. A Chinese friend of mine ask me to bring her stuff from China. Then I had an realization. This is the perfect chance to get an NGC.

So I did get one!

Muhahahahahahahaha. I feel so nice(pun!).

Something really nice about NGC: Destroy the chance of a romantic relationship, implies better a friendship could be developed later on(Moar free rides to math competitions. MOAR!!! Humm, feels like she replaced the no.1 reason I need my dad).

Philosophical time:
Since I'm so good with becoming a nice guy, I should do what I do best because that's what economy needs.
Instead of be unhappy about how things turns out, be happy no matter what happens. Everyday, no matter how dark, there is always sunlight.(or not...)
That way, one can always feel positive at life.
I feel like a TA. so many people ask me for physics help.
I love been used by other people, become their tool. Makes me understand I'm very valuable to others and many would live in a less happier state without my present.

USAMTS in 2 days. still haven't finish problem No.1. God save me.

I cried while looking at this GFW poster...

Nothing but propaganda in the background, defended by the GFW... so the people can never get out.

李烁, English name Duestin, who commonly seen with nickname FeelingFly.
He is currently an graduate student in philosophy in Shandong University. He studied biology in his undergraduate years.

I have meet him few years ago when I'm still in China. Talking with him proves to be very interesting part of my life because I could say(scientific) things that turn most people away but he can still listen and offer constructive responses. For example I talk to him about the idea--mass production of meat products though use of cancer cells, which most people showed an disgusted response and changed the topic.
He is the reason I can think of many good ideas.
Idea 1:
Speaking of cancer cells.
Cancer cells can grow at a really fast pace compare to other cells. If we get a huge booth and put in one cancer cell and allow it to divide uncontrollably, it will soon consume all the nutrition and gain a huge mass. Which is in fact great for food consider it taste the same as normal meat, have the same nutrition as the normal meat.

Idea 2:
Cancer humans!
A human composed of only cancer cells, so the human would not die.
With implementation of nanobots, when ever there is too much cells, the nanobots kills some, preventing the person from becoming a huge blob of meat.

Idea 3:
I think people already had this.
Cancer weapon, something(virus?) that turns on the cancerous gene in every single human, can be used as a massive genocide weapon that goes undetected for years.

Questions:
Can human transform into something else and transform back?
How much information need to be known about a person, so it's possible to reconstruct an identical human?
How much information are required if we don't require 100% accuracy?
Are there lossless compression that compress a state of human and stores them and then can unzip them back?

Talking with FeelingFly really provoke my thoughts.
Love philosophy major.
Thank you for dealing with my crap for years while even my parents chose not to.
Do I sound high? I'm not.

2008 is almost over, I shall post what I consider the *burn* of my year.
Scott Aaronson had an idea for summer research. I made a constructive comment.

Epic dismissal.

I learned the lesson: Never make a simple program harder than it should be by formalizing everything.

3AM in the morning, in a QQ Olympiad math chatroom, a person is requesting someone to translate an linear algebra text, particularly this sentence:

Third, that we can diagonalize the resulting matrix A --- or, more
conveniently, the square matrix of A' order M*N whose order-(M*N/2)
blocks are 0,A;A-transpose,0 , whence det(A') = +-(det(A))^2.

I tried to translate it. But fail to even understand what it means. It should be express in some simpler manner. I appreciate anyone who attempts to do this.

Then we talked, ranging from math to philosophy.
He mentioned he has a friend in US, who also likes math. Soon revealed she also joined ARML this year and she is in Nassau, our neighbor county.

Insane.
A person I met randomly, who is in China, knows someone who live so close to me and have so much hobby in common with me.
That guy also know a person who done each and everyone of Project Euler problem in his school.

Ramsey theory.

I was WINtroduced to his friend and even got a partial deal of getting a lift to Princeton Math Competition, thus solved my transportation problem :)
But she also does Intel STS. Humm... a competitor...

It's karma. I did so many good things, something nice should happen to me once in a while.

While talking with the guy, we created a math joke.
"How to know a girl's bra size?"
"Integrate her curves and you will find the volume, duh!"

Contribute to vdash!
What is vdash?
To put it simply.
A wikipedia mathematical portal with only true statements.
Love Cameron Freer who come up with the idea. Which I thought about too, but have to little resource to do something like that.

It will be an aggregation of mathematical proof and knowledge by formalizing math. YEAH.

Failed attempt:
QED Project
Nice attempt but too small and only for professionals:
Mizar System
Good attempt but too little people can contribute:
Metamath Proof Explorer

I have high hope on this and I will do my best to support it.
I hope it can also have APIs and stuff. I wonder how it create a database of proofs if it's a wiki.