thevivekpandey

In lean, a theorem is specified by a type (in their highly complex "dependent type system") and proof is specified by a code that produces a term of that type.

If the compiler certifies that the code indeed produces a term of that type, then the proof is correct.

So, only need to trust: (1) That theorem statement is correctly encoded (FLT has a very short 1 liner description really)

(2) Lean compiler is correct

I believe it is not BS. However, currently there are not good tools which solve monitoring using AI in an elegant way.

Does someone know why Google Cloud can afford to be so much cheaper compared to AWS? Are the costs to Amazon for AWS so much higher than the costs to Google for Google Cloud? Why?

I would request you to write about this in a separate post.

I found this quote very interesting: "scarcity brings clarity" (attributed to Sergey Brin), in the sense that when teams are limited by resources, they tend to concentrate on the most important things and thus become clear in their goals.

ok...So I did find these button "awesome", but then I do not claim to have a great eye for design. Can you point me to some buttons which you can classify as "awesome"

Funny that their "View Demo" button does not use the buttons that the article is advocating. And ditto for the subscribe button on the right.

Good to keep in mind in these times when you start feeling too old at 30: "twenty nine, past my prime; I feel so behind the time"

As much as I would have loved to get awed by him going for game changing technologies, it appears that reason behind him relocating to Belize is to escape lawsuits in the US, and his focus is hardly on research. See the link in the wikipedia article: http://www.fastcompany.com/node/1615167/print

"So far, the trend has not affected Asia’s two giants, China and India."

It is not fair to label a trend as "Asian" when you need to exclude China and India.

Note that yahoo does not seem to rely on graph algorithms to do that. To reach from X to Y, where X is not directly connected to Y, they ask X which of their friends might connect them to Y.

Have there been any other prominent attempts (besides the famous friendster feature) to validate this hypothesis?

The first step would be for some top companies (Google, Yahoo...) to share the index. That way, there would be some speed up of the internet, and the index would not be open to abuse by arbitrary people/companies.

Hi naada, (I am the lead developer of this application) Thanks for saying "wonderful idea". Too bad that you cannot yet say "wonderful execution"! I have too noted this error a few times. I hope to get back to you in a while, after resolving this error.

Clickable links:

http://www.gohachi.com/

http://www.gohachi.com/users/register (Invite code: HN100)

Since the subprime crisis, I am very wary of derivative trading by investors who do not understand the fundamentals. This whole valuation bonanza may not leave a good taste in the end.

I liked the overall idea. Give the search box a prominent position.

Oh great, I once felt the need of it, but did not it actually existed. I feel though that pure CSS solution would be better, since modifying the colors etc would be easier with pure CSS.

I plan to stick to python, but learn its functional programming features.

Apart from these, Google has come up with the WebP image format which may make internet significantly faster than what it is today.

Furthermore Google hosts jquery files on its servers, which for many people is a godsend. While it is a simple thing to implement, it ranks highly on how it benefits websites (and thus the end users of those websites)

Hey, you keep editing your post repeatedly. I posted a reply to your comment, and after a few minutes I saw that your post has been edited in a way that my reply to it was irrelevant. And then, it happened again. Kindly try to avoid this.

You say: "being profitable is enough for many people" as if being profitable is easier compared to getting acquired. For most web based companies, however, getting acquired is easier.

As the Indian economy has improved, employability of engineers has improved. As a result, many of the fresh grads and seasoned engineers find it okay to not do a job for some time and try to start on their own. (feeling safe that they can get employed whenever they want) Thus, barring some geopolitical upheaval, future of Indian technology is definitely going to be better than its present.

However, the statement “when all of the action is in Bangalore, who needs Silicon Valley?", is very much an overstatement. While India does provide opportunities for some unique business models (based on large population, unorganized markets), the "action" there is significantly less than the "action" in Silicon Valley.

As engineers the only thing we can do is to be prepared that demand for smart programmers may go down. Save the cash for the rainy day. And enjoy the ride till the rainy day.

Thanks. Useful tidbit for me to remember.

Yes, sure.

Chal padee hai ek leher....gaon gaon aur sheher sheher!

I was thinking of meeting this coming Saturday or Sunday.

Agenda...well my secret agenda is to convince someone to join me in what I am doing, or get convinced about what someone else is doing! :)

I am unable to make up my mind here. As atlbeer says, following is the standard breakup of responsibilities: - HTML = Content - CSS = Style / Design - JS = Interaction

As argued elsewhere, lightbox straddles JS and CSS domains.

I was thinking that in CSS3 world, we should have slightly different breakup of responsibilities (subject to resolving performance issues) - HTML = Content - CSS3 = style/design and changes in style/design - JS = interaction other than purely style/design changes

I see that this breakup may lead to confusion in some situations. (Though I still find it more appealing for lightbox example) So, let me make up my mind when I have more experience with CSS3 :-)

I also noted the sluggishness that you point out. Do you know the reason? Is it something that could be corrected by changing some parameter in the CSS?

Lightbox functionality encompasses the JS domain (since user is interacting with the page) as well as CSS domain (since the change that is happening on the page is purely of style/design).

So, the breakup which you have given does not unequivocally argue for the use of JS.