Mgccl

The busy beaver function gives very loose upper bound... A better bound: If the computer can be described with $n$ bit of information, and a program did not terminate with $2^n+1$ operations, then the program has a infinite loop.

$n$ is usually the memory + cpu cache size.

He did not solve for 5 variables, he solved 4 and the last one can be anything.

It doesn't have to be in that relation. Example, 2 variable, 1 equation. x + y - y = 0.

Here x must be 0.

I usually refer people to read What Is Mathematics For? published on the Notices of AMS. http://www.ams.org/notices/201005/rtx100500608p.pdf In short, most people will not use math more advanced than arithmetic, unless they are mathematicians/physicists.

This is in fact an older theory before kin selection dominate the field.

Nice, I was thinking of building the site that contains every published math problems or algorithm to generate them.

Gödel, Escher, Bach

Note this is a course in EECS department.

Where are you from? In US, at least in NY state, junior level high school course can't cover probability into that extent.

Not all CS people need all those math, some of them just want to be programmers. In fact even if they become computer scientists in academia, not all of them need to know abstract algebra.

The course is about breadth instead of depth. If you septate the contents into 'real' courses, it will increase the huge amount of course load.(but, I heard MIT students can handle the load...so idk)

MIT has [course 18-C](http://www-math.mit.edu/academics/undergrad/major/course18c....) for people who does like math and CS.

That's why I learned how to prove the complexity class of certain problems ;)

The online judges I'm talking about are like UVa. http://uva.onlinejudge.org/ People usually use it for ACM-ICPC training. Every Oj I know of can fulfill 1 and 2.

For 3, the innovation is the badge system.

No.4 is nice, it closes the gap between OJ users and employers. That's something OJ's lack.

Topcoder does all of what you told, except a badge system. That's just a small difference. You need something better to compete with Topcoder.

Maybe your platform support more languages? One can't hope to hire lisp programmers from looking though Topcoder's competitions records.

I hope this site become successful. I really don't like Topcoder's interface. xD

There are a LOT of online judges out there. How is this really different?

Is it me or am I reading too much into "Finding out that he also played guitar sealed the deal. " My first thought was this comic: http://www.explosm.net/comics/897/

thousands of Markov bot followers ;)

Good idea. I like games where the rules are simple, but the strategies can be complex. Like chess. Are there bot vs bot chess games around?

Why do you want to make a new social network?

If you goal is to make money, then ignore this comment.

If your goal is to make something better than facebook, you want to ask yourself, why you want to reinvent the wheel? Unless you have some great idea. Don't.

Check out Diaspora, maybe it's better for you to work on that when it comes out. They have some good ideas. You can also look around other open source SNS.