Viewing profile — 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 …

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 th…

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…

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. N…

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…

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. h…

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, whic…

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?