mazesc

7 ms·

1.
by mazesc 3y ago
> 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 recor
2.
by mazesc 4y ago
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.
3.
by mazesc 4y ago
Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.
4.
by mazesc 4y ago
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 relation
5.
by mazesc 6y ago
Oops, thanks! Didn't try "oe".
6.
by mazesc 6y ago
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.
7.
by mazesc 6y ago
News "regarding a new manufacturing initiative" would hardly be negative. Key word being "new".
8.
by mazesc 6y ago
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 compu
9.
by mazesc 6y ago
A circle is 1-dimensional and not 2-dimensional?
10.
by mazesc 7y ago
F1 regulates the maximum number of engines a season (to 3 currently). So they have to last ~7 races. Edit: old numbers updated
11.
by mazesc 7y ago
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.
12.
by mazesc 7y ago
Didn't he pay too much if 3 extra hitmen accepted a reduced offer? Only the last one was below market rates it seems.
13.
by mazesc 7y ago
Thanks a lot, that was insightful!
14.
by mazesc 7y ago
IBMs response seems strong regarding "linear scaling", but could they give a complexity-theoretic argument rather than an empirical one?
15.
by mazesc 7y ago
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
16.
by mazesc 7y ago
Do you send email?
17.
by mazesc 7y ago
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/resea
18.
by mazesc 7y ago
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/res
19.
by mazesc 8y ago
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 su
20.
by mazesc 8y ago
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?
21.
by mazesc 8y ago
I could imagine by destructuring he means e.g. unapply in Scala: https://docs.scala-lang.org/tour/extractor-objects.html
22.
by mazesc 9y ago
But how much was that burger (the next day)?
23.
by mazesc 10y ago
On Android: App Settings -> Links open externally
24.
by mazesc 10y ago
mn?
25.
by mazesc 10y ago
How so?
26.
by mazesc 10y ago
Not clear how Yahoo would have worked out within Microsoft.
27.
by mazesc 11y ago
True, it's really more of an Android issue, than a Spotify issue.
28.
by mazesc 11y ago
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 s
29.
by mazesc 11y ago
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/
30.
by mazesc 12y ago
"Not that hard" is studying a month to pass a test in some artificial setting?

More ›