ulber

15 ms·

91.
by ulber 11y ago
Just to clarify, not having Drag and Drop is not an API limitation (see [1]). Rather, they haven't implemented it yet in every place you'd expect to see it. [1]: https://msdn.microsoft.com/en-us/library/w
92.
by ulber 11y ago
The "energy current" when pumping gasoline into a tank is larger than what those achieved by Tesla's Superchargers (which take ~40 minutes to 80%). Thus gas stations can have much larger throughputs than comparably sized Supe
93.
by ulber 12y ago
Inking, sharing and reading mode are user facing features. Standards in web browsers have to do with the APIs and rendering and such conforming to standards.
94.
by ulber 12y ago
My experience with concolic testing has been that single path satisfiability queries tend to be quite cheap and it's actually a bit challenging to write the tooling around the solver in such a way that the solver would actually become
95.
by ulber 12y ago
Not all theory fragments supported by Z3 are decidable: Z3 includes an incomplete decision procedure for non-linear real arithmetic [1]. [1] http://stackoverflow.com/a/13898524
96.
by ulber 12y ago
The cost of the abstraction is language dependent though and the programmer might desire the abstraction to be worth it. For example, this particular abstraction is much cheaper in C++ which is a (admittedly small) point in C++'s favor
97.
by ulber 12y ago
>In this particular case, the fuzzer is going beyond just throwing random input, as it considers which changes to the input trigger new code paths in the target binary, and therefore should have a higher success rate in triggering bugs c
98.
by ulber 12y ago
>Note: "One Drive" and "One Drive for Business" are totally different. The stuff connected to "Office 365" is the business stuff and it's really some friendlier front-ends on some kind of Cloud SharePoi
99.
by ulber 12y ago
In Finnish it is also informally known as "miukumauku", which refers to the cat-like appearance of the symbol (long tail). This name isn't very common anymore.
100.
by ulber 12y ago
If anyone wants this behavior in Firefox then here is an extension for that: https://addons.mozilla.org/en-US/firefox/addon/extra-padding...
101.
by ulber 13y ago
>Google can't fulfill those obligations if those videos are showing up on WinMo without ads. The mobile YouTube site that Google serves to Windows Phone devices does not display any ads. Therefore an ad-free app for WP does nothing to c
102.
by ulber 14y ago
Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.
103.
by ulber 14y ago
You can share significant amounts of code and design, but WP8 will necessarily require departures from the W8 app in UI design. For example WP8 uses panorama and pivot controls, which are not available in identical form in W8 (although anal
104.
by ulber 14y ago
On the "violating time and space" issue, I don't think the problem was on there being both blocking and non-blocking channel reads. Instead the problem for him was that in his mind the channel read "happens first" and how the result from th