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.

Ada is already mentioned here.

You also want to look at Dafny for a contract-based language: https://github.com/dafny-lang/dafny

Since it has verification support it also covers the second point about semantic relations.

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.

Do you send email?

Hi,this blog post is a good starting point: https://alexpolozov.com/blog/program-synthesis-2018/

Among other documents, it links to this extensive survey: https://www.microsoft.com/en-us/research/wp-content/uploads/...

All the best!

I'm a co-author of a paper where we use program synthesis to optimize big-data (i.e., slow-running) SQL queries. The synthesis engine we use encodes its search problems into SAT.

https://www.microsoft.com/en-us/research/wp-content/uploads/...

Any language with static types should be easier to make sense of, though. I get it's faster to write dynamically typed code, but your point is specifically about reading code, which I can't follow.

Of course Python nowadays has support for static types too.

Sorry, but this argument is terrible. Look at the bay area and see how all the wages have risen. Nobody has to be homeless there because they can't afford housing anymore right?

I could imagine by destructuring he means e.g. unapply in Scala: https://docs.scala-lang.org/tour/extractor-objects.html

But how much was that burger (the next day)?

On Android: App Settings -> Links open externally

mn?

How so?

Not clear how Yahoo would have worked out within Microsoft.

True, it's really more of an Android issue, than a Spotify issue.

Not sure about the implementation in Excel. At least the paper (POPL 2011) describes more powerful functions, containing e.g. case distinctions and simple loops. There are some examples in there. I'm not an Excel expert, but would be surprised if cell format could do that.

This is already in Excel as FlashFill, so don't know if you're being sarcastic. http://research.microsoft.com/en-us/um/people/sumitg/

"Not that hard" is studying a month to pass a test in some artificial setting?