sold

13 ms·

91.
by sold 14y ago
see also http://mathlesstraveled.com/2012/10/05/factorization-diagram... and http://mathlesstraveled.com/2012/11/05/more-factorization-di...
92.
by sold 14y ago
Yes, completely safe
93.
by sold 14y ago
The picture was edited in the meantime. Previously the formula field (displaying content of current cell) was not grayed.
94.
by sold 14y ago
See frontpage http://news.ycombinator.com/item?id=4684384
95.
by sold 14y ago
I was trying to say that using higher-order functions (or functions taking objects) is not automatically a design pattern; a pattern must consist of a larger group of code. Patterns show up where abstractions provided by language are not po
96.
by sold 14y ago
I have some objections. If monads are design patterns, then why not rings (Num typeclass), which allow to use addition and multiplication in different contexts? If function composition is a design pattern, then why not function application?
97.
by sold 14y ago
In general, approximation of NP-complete problems is not that simple. Assuming P /= NP, Subset-sum can be approximated within 1+epsilon for any requested epsilon>0 [a PTAS] MAX-3SAT can be approximated within 8/7 and not better. Vertex
98.
by sold 14y ago
Office also has save to PDF, at least the 2010 version.
99.
by sold 14y ago
I mostly read books. There's enough material for the whole life.
100.
by sold 14y ago
I just realized my Chrome on Ubuntu did not update for over half a year out of some reason. Scary.
101.
by sold 14y ago
> The author should make it clear from the outset that the goal is to minimize the number of drops in the worst case, rather than to minimize the average case [...] A more minor issue with this puzzle is that for the sake of thoroughnes
102.
by sold 14y ago
double submission: http://news.ycombinator.com/item?id=4226911
103.
by sold 14y ago
The lawsuit was dropped: https://www.eff.org/press/releases/charles-carreon-drops-bog...
104.
by sold 14y ago
I thought about total functional programming, like Agda. But even if you have Turing completeness, you can add time constraints to tests and everything will be decidable.
105.
by sold 14y ago
Submitted a minute earlier: http://news.ycombinator.com/item?id=4215625
106.
by sold 14y ago
I see what you mean, but it's rather bizzare to classify type checking as a form of testing, even if type system is very strong. Types and tests are different ways of specifying behaviour: tests are existential guarantees (output of the cod
107.
by sold 14y ago
To supplement "it's a matter of how much you put into the type system": This error can be caught if you put units of measure into type system. F# can do this, and addition function will have type int<a> -> int<a> ->
108.
by sold 14y ago
> not even accurate. What is not accurate in that post?
109.
by sold 14y ago
Indeed it is.
110.
by sold 14y ago
Reminds me of this story (JPEG and ZIP as one file): http://www.reddit.com/comments/arc79/reddit_i_got_the_best_p...
111.
by sold 14y ago
> It's a programming language. The only thing that matters is the person using it. No! Please see "Beating the Averages" [ http://paulgraham.com/avg.html ] (skip to "The Blub paradox" for tldr) It it true that a lot of discussion here i
112.
by sold 14y ago
Problem 1: The old versions do not get security patches. For example, entering the number 2.2250738585072011e-308 hangs the interpreter in old versions, as far as I know this is unpatched in PHP <=5.1. This allows a very effective denia
113.
by sold 14y ago
It's dailymail... does it really belong here?
114.
by sold 14y ago
This is not reddit.
115.
by sold 14y ago
Please read the post! It clearly states this is a futuristic 2016 scenario. (of course it is complete fantasy, but that's not the point)
116.
by sold 14y ago
Think what if YT automatically deleted videos with 90% dislikes. They would only "host your content" then, even though users would have some kind of "administrative privileges". On Wikipedia, it is not that automatic, yet administrators are
117.
by sold 14y ago
Yes, it was removed in the Haskell 2010 standard, which is the default from GHC 7.0. http://hackage.haskell.org/trac/haskell-prime/wiki/RemoveNPl...
118.
by sold 14y ago
I think intuitive understanding gained by practice is enough for every programmer, not just me. Learning by programming is easier than reading research papers and digging the theory. What more, it was a prerequisite for me: I could not unde
119.
by sold 14y ago
I agree that using Haskell is like flying a helicopter when others use cars. However, I still strongly disagree with the choice you wrote earlier: > If you want to use these languages, you have a choice between (a) learning the theory,
120.
by sold 14y ago
I think "special relativity is a few formulas" is an underestimation, but this is not important. > By "debugging" I didn't just mean tracing. I meant one of the most basic tasks of the programmer - interpreting and responding to error m

More ›