quchen

23 ms·

271.
by quchen 13y ago
I think merijn got the highscore in the conversation though :-P
272.
by quchen 13y ago
And this is why there is crumbled up paper in the MOMA.
273.
by quchen 13y ago
North Korea is best Korea!
274.
by quchen 13y ago
Many astronomers don't have to use or deal with telescopes, just like not all particle physicists have to know much about accelerators.
275.
by quchen 13y ago
A Turing machine is not a computer, it's much closer to a mathematician writing down a proof: read a couple of symbols, scratch head, write down symbol, go back again. It's a mathematical model for following a sequence of steps an
276.
by quchen 13y ago
Also Scheme. :-)
277.
by quchen 13y ago
() is not null, it's the type that has only one value (think of it like Bool that's always True). Null (or C-void, which it is also often compared to) on the other hand stands for a lack of information and is more of a makeshift p
278.
by quchen 13y ago
I guess shadowing produces warnings instead of errors is because sometimes it can be a good thing: you can use it to create the illusion of mutability. In GHC's source I've seen a couple of longer functions (say ~50 lines) that re
279.
by quchen 13y ago
An abstract or the context might be useful, otherwise it's just some guy going ad hominem on some old mailing list.
280.
by quchen 13y ago
I think there is a large transitional zone between veganism and, well, non-veganism. I don't see anything wrong with my neighbour's hobby chicken farm (of 4) for example. It's the industrialized setting, designed to be opaque
281.
by quchen 13y ago
It can also mean that when the system is broken it's more profitable to use that for something other than collecting the prize money.
282.
by quchen 13y ago
It would an interesting experiment to compare the reactions to this article to the ones it would have gotten had it been written by a man.
283.
by quchen 13y ago
Computers are good at verifying things, but bad at coming up with them. (An example for something computers can come up with is free theorems, but in this case that wouldn't have helped.)
284.
by quchen 13y ago
> One thing to note is that this walks the list 'backward' No, foldr walks through the list forward, and exactly once. Your example is evaluated as foldr (+) 0 [1, 2, 3, 4] = 1 + foldr (+) 0 [2,3,4] = 1 + (2 + fol
285.
by quchen 13y ago
Calling it "self-documenting" might be a bit of a stretch, but I can assure you that having type information in the absence of comments helps a lot -- the base level of no documentation is much easier to work with.
286.
by quchen 13y ago
There's always someone who takes it seriously. (And I don't mean the parent comment.)
287.
9 months in Antarctica, and the reverse culture shock afterwards(nautil.us)
2 points by quchen 13y ago|0 comments
288.
by quchen 13y ago
Which makes me wonder: how do you filter these? In physics it's common practice to ignore papers about Perpetuum Mobiles (excuse the probably incorrect plural), but here we have a topic that is somewhat easy to write good and bad about
289.
by quchen 13y ago
> A simple implementation that solves any of the NP problems in polynomial time is a much better proof than any article. That completely misses the point of P vs. NP, which is not about programmability but a problem entirely of theoret
290.
by quchen 13y ago
Right, if you use a short domain name "because why not" for something new that's alright. It was just the "it adds up" part that I was commenting on. Do you have (well, you're moot, so -- want to share) some mo
291.
by quchen 13y ago
My point was that "saving 25 GiB" is way below anything they can possibly care about. How much traffic does 4chan handle in a single hour? I think it's pretty safe to assume that 25 GiB is significantly lower than one standar
292.
by quchen 13y ago
> 50 bytes may not seem like a lot, but when you’re serving 500 million pageviews per month, it adds up. That's a void argument in the article. If they were serving pages with 500 bytes each this would indeed be a huge improvement,
293.
by quchen 13y ago
I sincerely doubt the "small effort" part.
294.
by quchen 13y ago
Or use the RSS feed. https://news.ycombinator.com/rss
295.
by quchen 13y ago
The authors probably know about that, and I think it's part of the experiment. It's much harder to make giant drawings here though, because the entire thing is divided up in little patches; Drawball is only limited by your screen
296.
by quchen 13y ago
The Mathematica language is usually simply referred to as "Mathematica", at least from what I can tell from my experience on mathematica.stackoverflow.com. Probably because the only frontend that allows doing actual work is the Ma
297.
by quchen 13y ago
No, that would happily evaluate "(sequence_ ((display 'a) nothing))".
298.
by quchen 13y ago
You can picture functions with the IO type as something to compose a program out of. This program is then run by runtime system of your implementation, and that's "when the byte is written". Here's a nice explanation of
299.
by quchen 13y ago
> Different languages have different strengths. On the other hand, some things are better in all important respects than something else. Merely stating that among similar things "different ones have different strengths" is not
300.
by quchen 13y ago
The laziness-vs-non-strictness part pretty much nailed one problem beginners may have with the Haskell community. On the other hand, I don't think your 99.something are a feature of humanity, they are the result of the last decades of

More ›