sold

9 ms·

31.
by sold 13y ago
> A launch title like Half-life 3 (seems unlikely with the circle + circle logo implying you need multiple SteamOS instances). I think Left 4 Dead 3 (long rumored) is more likely.
32.
EdX course on classical mechanics (Walter Lewin) starts(edx.org)
2 points by sold 13y ago|0 comments
33.
by sold 13y ago
Already on the frontpage https://news.ycombinator.com/item?id=6267887
34.
by sold 13y ago
It is possible in GHC, see parent comment.
35.
by sold 13y ago
> Dear sirs, a List is a recursive data structure by definition. I don't think so: http://en.wikipedia.org/wiki/List_(abstract_data_type)
36.
by sold 13y ago
See also http://blog.sigfpe.com/2011/01/quine-central.html That post discusses six languages but others can be easily added.
37.
by sold 13y ago
This one is good, but more Haskell than category theory.
38.
by sold 13y ago
I think that in the particular case of an associative map, you are generally correct: there is no gain. However, in other situations the Haskell approach is much better. Say you have a Java class with five fields, three of them are nullable
39.
by sold 13y ago
Speculation: it comes from the symbol of (electric) changeover switches: the user can choose whether current goes up or down. Source: http://www.quora.com/Computer-Keyboards/What-is-the-origin-o...
40.
by sold 13y ago
Title is misleading: Ecuador merely _offers_ to donate $23M.
41.
by sold 13y ago
It's guardian not gaurdian.
42.
by sold 13y ago
Reports say he used diplomatic cars [1] to avoid visa requirement. [1] https://twitter.com/NewsBreaker/status/348800297700835328
43.
by sold 13y ago
See also https://news.ycombinator.com/item?id=5927928
44.
by sold 13y ago
Borowitz Report is satire.
45.
by sold 13y ago
There's nothing wrong. Skip below to see information domain CNN.COM. Compare with whois microsoft.com, for example.
46.
by sold 13y ago
First turn should belong to X not O.
47.
by sold 13y ago
There is a very good reason instances cannot be explicitly imported: http://stackoverflow.com/questions/8728596
48.
by sold 13y ago
You are correct, normality is a stronger criterion. See http://en.wikipedia.org/wiki/Disjunctive_sequence
49.
by sold 13y ago
Terence Tao's post https://plus.google.com/114134834346472219368/posts/XESxA9bL... However, in absence of a preprint, it's IMO too soon to make announcements.
50.
by sold 13y ago
You have major gaps in knowledge (for example, in this thread you effectively said you don't know asymptotic analysis of algorithms). Start with something simpler - check what is a polynomial, big O, a Turing machine etc. Backtrack to simpl
51.
by sold 13y ago
This video by Mike Sipser ( http://www.youtube.com/watch?v=msp2y_Y5MLE ) might help you. It might be long, but you need to spend a longer time if you are confused. First of all, P=NP is not a "theory"; it's a _question_. We do not know whet
52.
by sold 13y ago
Now they did.
53.
by sold 13y ago
They didn't announce the new version. The post is premature.
54.
by sold 13y ago
This does not look serious.
55.
by sold 14y ago
That name was already used in 2010. I don't know who made it up.
56.
by sold 14y ago
It became the second-most read French Wikipedia article, according to English Wikipedia.
57.
by sold 14y ago
They do have "oversight", which deletes from administrator view too. http://en.wikipedia.org/wiki/Wikipedia:Oversight
58.
by sold 14y ago
In Haskell "a" is the same as ['a']
59.
by sold 14y ago
> On my remark about Haskell/GHC with extensions, I'm talking about things like the Dynamic type, existential types, HList and about experiments like OOHaskell. The point of subtyping is implicit coercions: using a type T1 when T2 is
60.
by sold 14y ago
> it is possible for two rational people to come to different conclusions without the influence of emotions or personal bias. Aumann's agreement theorem [1] states this is not the case. [1] http://en.wikipedia.org/wiki/Aumann_agreement

More ›