kvb

30 ms·

271.
by kvb 13y ago
I don't think it's apropos at all. The snipers were killing individuals, not maiming hundreds at a time. And I don't see how the level of gun ownership matters (in either case). How was carrying your handgun going to help you if the snip
272.
by kvb 13y ago
I felt that locking down Watertown, Newton, and Cambridge was unobjectionable, but my only quibble would be that I'm not sure it made sense to shut down so much of Boston itself.
273.
by kvb 13y ago
Good reference. Seems a far cry from "almost always false".
274.
by kvb 13y ago
One possibility is to use Felleisen's notion of expressiveness: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4... . The gist is that Turing completeness concerns what you can do with whole programs, but expressiveness concer
275.
by kvb 14y ago
Just as I can copyright a work such as a novel that contains the word "Count" even though I might not be able to copyright an isolated sentence containing it, I think there's a good argument that something like the Java standard library API
276.
by kvb 14y ago
While I'm sure they'd love for Android to die, I don't think that explains this brief. In what percentage of the cases involving Android has Microsoft filed an amicus brief? It's much more likely that they care about the actual issue in t
277.
by kvb 14y ago
I agree that we can't infer their true beliefs (to the extent it even makes sense to talk about a corporation's beliefs), but I think the position that APIs should be subject to copyright is actually reasonable (though IANAL).
278.
by kvb 14y ago
Presumably they're involved because they have a number of APIs, and they believe that APIs should be copyrightable. I don't think they would take a position on this issue due to an opposition to Google alone.
279.
by kvb 14y ago
Direct mutual recursion is somewhat rare (but useful for encoding state machines, for instance). However, using continuation passing style (and tail calls to a continuation argument) to prevent stack overflow is a common idiom in some func
280.
by kvb 14y ago
Doesn't loop/recur only help in directly self-recursive calls, as opposed to mutual recursion or tail calls to function arguments?
281.
by kvb 14y ago
Destroy or create?
282.
by kvb 14y ago
Presumably some codec patents (e.g. the technologies in MP3) would fit the bill, no?
283.
by kvb 14y ago
Do you have a citation for that drug price (for Indians)? Another post cited a price more than an order of magnitude lower.
284.
by kvb 14y ago
Thankfully the article is much better than its title. Low retention is not a problem per se - since there's no cost to signing up for (and subsequently dropping) these online courses, it's to be expected that retention won't be great. H
285.
by kvb 14y ago
Whether or not we limit he discussion to this case, I don't think there's any reason to fear that using an API would be a copyright issue (though again IANAL). The whole purpose of an API is for people to write software against it. I th
286.
by kvb 14y ago
Well, the case isn't about the use of the API - it's about a non-interoperable reimplementation of the API (from Oracle's perspective, at least).
287.
by kvb 14y ago
Why wouldn't an order form be copyrightable? It's just that it would be hard to show any damages from a violation of that copyright.
288.
by kvb 14y ago
I don't see why. There's plenty of creative discretion involved in the writing of an API. I would have expected this to be a fair use issue rather than a copyrightability issue (though IANAL).
289.
by kvb 14y ago
That's very cool. But note that as far as I can tell it only handles mutual recursion, not arbitrary tail calls (e.g. calls to a function argument).
290.
by kvb 14y ago
Not quite the same, but you may be interested in the IKVM type provider prototype[1], which allows you to write F# scripts directly against JAR files (using IKVM in the implementation). [1] http://colinbul.wordpress.com/2013/02/28/f-ikvm-t
291.
by kvb 14y ago
It's really not. Scala is a very interesting language, and it incorporates many functional features, but it's not at all ML-like. In particular, type annotations are needed in many, many places where they would be superfluous in an ML-der
292.
by kvb 14y ago
I also prefer F#'s more general approach, which allows all kinds of extension members (static or instance, methods, properties, and events). But members of the C# team have repeatedly explained that they were the "long pole" during the LIN
293.
by kvb 14y ago
Not just that - they can also terminate the pledge even if you don't sue Google, but "directly profit" from such a suit, which seems fairly open ended.
294.
by kvb 14y ago
String constants are interned at compile time. Dynamically created strings are typically not interned.
295.
by kvb 14y ago
For a post accusing another of FUD, it would help if you got more of your own details right: C# doesn't have an AOT or JIT compiler - all compilers that I'm aware of always compile it to IL. You're right that the .NET JIT has historically
296.
by kvb 14y ago
Was HTC's profit from mobile alone 50% greater than Google's entire profit at the time (as Samsung's is now)? I think some people have missed just how dominant Samsung has become.
297.
by kvb 14y ago
I think this is unfair to at least Microsoft Research, which as far as I know has outpublished Google by a wide margin. (Full disclosure - I'm a contractor working on F#-related stuff at MSR)
298.
by kvb 14y ago
There's no reason that this needs to be the case; see Tomas Petricek's tools for producing tooltips for F# code on the web [1][2] [1] http://tomasp.net/blog/fswebsnippets-intro.aspx [2] http://tomasp.net/blog/fsharp-literate-programming.
299.
by kvb 14y ago
This looks like a great resource for people new to functional programming. One thing that I wish more F# web sites would look into, though, is using Tomas Petricek's awesome formatting tools [1][2], which give you tooltips for F# code on t
300.
by kvb 14y ago
Actually, I think there's some merit to writing code that is readable to outsiders, for several reasons. First of all, with a not-quite-mainstream language like F#, you're more likely to have team members joining your projects who are lack

More ›