kvb

8 ms·

91.
by kvb 13y ago
Have I missed some news, or is your inclusion of Microsoft in the cabal erroneous?
92.
by kvb 13y ago
Because, in the US legal system, you can't get a court order to compel yourself to do something (as far as I am aware).
93.
by kvb 13y ago
Are you doing things that would enable Microsoft to get a court order against you? What parallels do you see with the actual facts of this case?
94.
by kvb 13y ago
Can you cite any precedent where a court has agreed to hear such an argument? This is not a rhetorical question - I'm genuinely curious whether civil procedure allows it. As a non-lawyer (and MSFT employee) who is interested in the l
95.
by kvb 13y ago
Well, as I tried to allude to, in those cases Apple or Google would file a motion to compel Microsoft to disclose the info. Is it even possible under the rules of civil procedure for Microsoft to file a motion to compel itself to disclos
96.
by kvb 13y ago
On what grounds? IANAL (and I am a Microsoft employee), but this makes no sense to me. As far as I know, warrants are for government agencies, not companies. And assuming a civil case where they were demanding that the provider turn over
97.
by kvb 13y ago
Aren't there like 4 other Turing award winners at MSR that also somehow escaped poaching (and are there any at Google)? I think you may have the wrong idea about where researchers would prefer to work...
98.
by kvb 13y ago
That's an impressive proof of concept, but without expression trees it can't quite measure up (e.g. you need to remember to use `.and` instead of being able to use `&&`).
99.
by kvb 13y ago
F# supports value types just like C# does, so I wouldn't expect more boxing on the F# side. Some types like tuples that are used more in F# than in C# are reference types, so you might want to avoid them in your inner loops, but that
100.
by kvb 13y ago
I love F# dearly, and despite having spent several years writing C# code earlier in my career, I still find switching back to C# from F# painful in lots of little ways. But I think this post is off-base. First, it criticizes C# both for in
101.
by kvb 13y ago
If you're seeing significantly worse performance with F#, then that's pretty unusual (most people see very similar perf characteristics, with some things slightly faster in F# and some in C#). You might want to fire an email to f
102.
by kvb 13y ago
I see this claim fairly often, but it seems like wishful thinking to me. There's nothing stopping a language targeting .NET from erasing its own generics to `List<object>`, `Map<object>`, `T<object>` if necessary, wh
103.
by kvb 13y ago
Good point - there were several problems with Microsoft's tablet approach, and you're certainly right that application software is one of them. The main thing I wanted to say is that "short attention span" and "aba
104.
by kvb 13y ago
I'm not sure this is a helpful diagnosis - Microsoft didn't have a short attention when it came to tablets (as you say, they pioneered them, and they haven't abandoned them), they just didn't get the form factor right, a
105.
by kvb 13y ago
How does Microsoft know if a trademark is being used with or without its owner's permission? I mean, you can make a pretty solid guess in these cases, but it seems like waiting for a takedown request from the trademark owner is reason
106.
by kvb 13y ago
Define "isn't working that well". Are we not exceeding historical standards for agricultural productivity?
107.
by kvb 13y ago
Yes, because the purchase hasn't closed yet, so those revenues aren't included. Also, there was near-record profit to go along with the revenue, so margins aren't down too badly.
108.
by kvb 13y ago
There are lots of things that could be better, and I don't mean to imply that .NET's system is perfect. But the fact that List<byte> contains an array of bytes rather than an array of much larger objects is often important
109.
by kvb 13y ago
I wouldn't call that "two systems"; statically resolved type parameters are an extension of .NET generic parameters, not a separate system. In particular, a single definition can use both statically resolved and non-statical
110.
by kvb 13y ago
What does this even mean?
111.
by kvb 13y ago
It's not just that. What's the probability that 100K people are killed by terrorists vs. police next year? With fat tails, the number of people killed in the recent past isn't an accurate summary of the true statistics.
112.
by kvb 13y ago
Sure. The point is, "bringing back" implies that there was a period of time where Windows 7 PCs weren't being offered by HP, which appears not to be the case.
113.
by kvb 13y ago
Sure, subtyping adds additional pain points (mostly separate from overloading, BTW). But I think this is mostly orthogonal to reified vs. erased generics. As it is, the .NET runtime supports reified generics and declaration-site variance
114.
by kvb 13y ago
Counterpoint: "HP Bringing Back Windows 7 PCs? Not so fast..."[1]. TL;DR: this is a marketing tactic, and HP is actually offering fewer systems with Windows 7 than it was last year. [1] http://www.zdnet.com/hp-brin
115.
by kvb 13y ago
I'd love to see some evidence for these claims. Personally, I think that .NET's type system is quite elegant compared to the JVM's, and that .NET's combination of value types and reified generics gives several concrete
116.
by kvb 13y ago
This seems inaccurate - generics aren't a problem for F# at all (the integration between the .NET and ML type systems is seamless here, as far as I'm aware). Indeed the people behind the .NET generics design (Don Syme and Andrew
117.
by kvb 13y ago
What about the _Myriad_ decision? I thought many bio folks found the line drawn there nonsensical and impossible to extend, no?
118.
by kvb 13y ago
In many cases it's much easier than you'd expect. See e.g. http://www.heinz.cmu.edu/~acquisti/ssnstudy/ (TL;DR: "we show that it is possible to predict individual SSNs simply from publicly availabl
119.
by kvb 13y ago
Don't blame Microsoft for the death of Silverlight, blame Apple. After the iPhone's release it didn't have a future. Is there a company that better supports its old technologies than Microsoft?
120.
by kvb 13y ago
Don't get me wrong, Google does lots of great research across a variety of fields. And I'm neither a biologist nor a quantum physicist, so I can't claim to know exactly how important either MSR or Google's research is i

More ›