mazesc

> If i recall correctly, there is also a part in the transcript where he admits he just didn’t know Russias true strength, and he never would have invaded had he known. Remarkably different language than he used at the time.

In the recording linked here he says (around the 8 min mark), while talking about Russia's strength in terms of the amount of tanks: "Had I known this my heart would have been even heavier but I would have made the decision even more so because I did not have another option".

I could have written your paragraph. Such a great museum. With all the rich tech entrepreneurs in Seattle one would think a solution can be found.

Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.

Oops, thanks! Didn't try "oe".

Ctrl+F Gödel "not found".

Also proof theory is completely absent, like Gentzen's cut elimination theorem.

These are "fundamental" theorems of mathematics in the literal sense.

News "regarding a new manufacturing initiative" would hardly be negative. Key word being "new".

What? No! I've been there last year during my Seattle internship and it was the most amazing experience having grown up after most of the machines exhibited were around.

There have to be some philantropists around who got rich in computing and have an interest in keeping it alive.

It is one of a kind, I was raving about it to everyone. I'd be happy to donate even though it's across the world from me.

A circle is 1-dimensional and not 2-dimensional?

F1 regulates the maximum number of engines a season (to 3 currently). So they have to last ~7 races.

Edit: old numbers updated

Do you have a source for this image/the data in this image? It's a great plot, but would like to confirm the veracity.

Didn't he pay too much if 3 extra hitmen accepted a reduced offer? Only the last one was below market rates it seems.

Thanks a lot, that was insightful!

IBMs response seems strong regarding "linear scaling", but could they give a complexity-theoretic argument rather than an empirical one?

It's a bit ridiculous making such a non-differentiating statement claiming to be against automation when that is a lot of what the digital revolution is about in the first place. No less on hacker news, which is one of the hubs to talk about the digital revolution.