Archive - Sep 2008

Date
  • All
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30

Contribute to vdash

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.

Immortal

I have received my immortality ring this afternoon and officially become one of the immortals.

My ID is 163.
It is engraved with both the id and the the message of choice--"communtative", a pun on commutative ring

MUHAHAHAHAHA
Immortality. Chao fist. Finally it happened

Problem. I think I measured my ring size wrong. It's easy to put on and take effort to take it off. Can't complain about the first jewelery I own.
What's next? Matrix ring?

What kind of machine are people running recently more iTest update

An instant message + email checking + social network status checking program Digsby was running on my computer and generated an shocking statistic.

Congratulations Digsby, you are the first program I know of that's not math/science/studio/benchmark related software to surpass the CPU/Memory usage of Firefox 3.0.1 running Gmail, Google reader and Google calendar.
How is your code constructed?

 main() {
        while(get_system_load()<1){
               generate_garbage();
               //code start
        }
 }

Non of my computers at home can handle it, so the developer must be running a 64 core 1024 bit 3.6 THz CPU with 32TB 1033GHz DDReπ RAM.

iTest video contest has ended.
People's solutions are amazingly similar. Maybe because these are the standard way to answer?
For problem 21, I didn't even remember there was a British flag theorem and end up proving it myself. Those iTest people are really educated.
This fast talking guy is the only person posted an answer for problem #82.
Certainly. Use the number of possible edges minus edges contained in largest possible triangle-free graph. But proving the size of the largest triangle-free graphs is not easy to be done in 60 seconds.

Second math contest of this school year complete.

Microwaved Totino's pizza and iTest video contest update

Totino's Pizza Taste Great.
I know what's my college food now.
I also heard Shin Ramyun is also food of choice for lazy college people who like Korean food.
A bowl of prepared Shin ramyun instant noodles, topped with kimchi.|By Pravit726 from Wikipedia

Can't wait till college.
Currently I am restricted to consume product like that. Not because of financial issue, but family issue. I can't stand days of unrest arguments about "eat healthy, live healthy" for every 10.2 oz of pizza I consume.

I'm a simple person with simple desires. A job of $30K is enough. No med school, no law school and no actuarial science. I want to eat pizza everyday.
Yet, such a simple desire requires so much work, it's shocking how complex the human society has become.

I have made a solution video for iTest problem #88. Hopefully I get the $200. Maybe I can even win the 3 overall prize in total of $950. Running Happily Extra point are offered for videos with reference for southern company.


There was no competition, I was the only one submitted the video and the only one who can win.
Now another team have posted a video.


It was by maree900...
Looks like have a bit more creative than mine
But I guess I'm better in solving the problem and presentation.
I hope I still have a chance. Study The contest ends in 11 hours the time this is posted.
I liked this one they made for problem #21... LOLed at random act of violence.

This is the best one so far in my opinion


well there is nothing to graph the 6th dimension, you can't steal my prize! Muhahahahaha
Check out the playlist I made for iTest for all videos.
Reality: I don't care about the prize at all, participation is the key.

Enlighten me?

in

I don't get this.

I know what Legendre Polynomial is, but what does that have anything to do with hamster?

Honey Pot that kill bots