ionfish

10 ms·

61.
by ionfish 15y ago
The really key underlying point here is that to make a web service that expands its audience beyond people would be likely to read Hacker News, one must consider the needs of other groups, especially those who will find the service useful w
62.
by ionfish 15y ago
Ed Nelson has now withdrawn his claim. http://www.cs.nyu.edu/pipermail/fom/2011-October/015832.html Terrence Tao, at http://golem.ph.utexas.edu/category/2011/09/ and independently Daniel Tausk (private communication) ha
63.
by ionfish 15y ago
One consequence of the second incompleteness theorem is that no consistent arithmetic theory of sufficient strength can express its own consistency. One way of proving such a theory inconsistent is therefore to find a proof within that theo
64.
by ionfish 15y ago
Flags are a binary mechanism just like voting, and as such are vulnerable to precisely the same epistemic problems. As you say, comments offer a way of demonstrating expertise, not merely asserting it. For this reason someone interested in
65.
by ionfish 15y ago
Then don't read them; the community will figure out over the next few months whether Nelson's proved what he's claimed. The Peano axioms have stood for 120 years, it's probably not imperative that you find out whether they've been shown to
66.
by ionfish 15y ago
Gentzen's proof relies on transfinite induction up to epsilon_0, which is not a principle liable to be accepted by someone with Nelson's foundational views. A good primer on these can be found in his book Predicative Arithmetic. http://www
67.
by ionfish 15y ago
ML's first-class modules let you achieve many of the same things as type classes. In fact, a lot of people in the Haskell community would like something a bit closer to ML (in other words, more powerful) in this regard. Monads can be formul
68.
by ionfish 15y ago
What, like Jon Harrop?
69.
by ionfish 15y ago
Standard Chartered use Haskell. Don Stewart, Neil Mitchell and Lennart Augustsson all work there. Tsuru Capital do FP and have advertised jobs on the haskell-cafe mailing list before.
70.
by ionfish 15y ago
The missing # key is annoying, although it's not the kind of thing that would make me change operating systems. Apple's chosen shortcut for the '#' character is Alt+3 which is frustrating for terminal users who use Alt as the meta key—for
71.
by ionfish 15y ago
Ahh, nominative determinism! http://en.wikipedia.org/wiki/Nominative_determinism
72.
by ionfish 15y ago
iBooks? PowerBooks? There was nothing called a "MacBook" when 10.1 came out in 2001. The first Apple laptop with that name was released in 2006.
73.
by ionfish 15y ago
Unfortunately most people who frequent that section tend to forget the second half of the quote.
74.
by ionfish 15y ago
> Is bob a value, because it takes no parameter? Is it a function because f happens to be a function? Functions are values. But not all values are functions. Functions are values with abstract type a -> a. That's what a function i
75.
by ionfish 15y ago
He was, and I was trying to make the point that he was wrong. :)
76.
by ionfish 15y ago
Great points! That we can treat infinite streams as having the same semantics as lists is of course dependent on Haskell's non-strictness—it's not the same in ML, for example. For me one of the more convincing arguments that article puts fo
77.
by ionfish 15y ago
Arguments of this kind are both wrong and dangerous. Becoming a good Haskell programmer isn't easy, but then neither is becoming a good programmer simpliciter . The language itself is conceptually novel compared to imperative languages, bu
78.
by ionfish 15y ago
There are a few missteps in this article. To begin with, the author claims that a variable of type Double is "a function with no arguments". This is not the case [1]; not everything in Haskell is a function. A Double is just that: an instan
79.
by ionfish 15y ago
Haskell syntax is actually pretty straightforward, once you know what you're looking at. It's difficult at first blush because of the weird infix operator symbols ($, ., <> etc.) but once you get used to them there's nothing too sca
80.
Markets are Efficient if and Only if P = NP(papers.ssrn.com)
154 points by ionfish 15y ago|83 comments
81.
by ionfish 15y ago
I don't think it's by any means uninteresting , and I agree that complexity theory has a role to play in enriching epistemology. That's why I said elsewhere in this discussion that I think this kind of work is important. However, it's not
82.
by ionfish 15y ago
I think that's a bit unfair to the compatibilist position. Ultimately an account of free will should include a definition of the concept, and an explanation of how it figures into our intuitions about particular cases. In particular it shou
83.
by ionfish 15y ago
Your suggestion confuses an epistemic limitation with a metaphysical one. Just because no one knows what we're going to do next doesn't mean there isn't a fact of the matter about it. While the idea of God looking down on us from on high is
84.
by ionfish 15y ago
This looks fascinating, and in yours truly is guaranteed at least one reader, once I have some time to devote to it. I think there's a lot of room for interesting work in this area.
85.
by ionfish 15y ago
Haskell could also fit easily into that table, especially since people already [1] have Haskell projects running on Heroku's Cedar platform. Dependency management: Cabal, Hackage. REPL: GHCi. Embedded webservers: Snap, Warp, Happstack Serve
86.
by ionfish 15y ago
Please don't give out advice like this. I'm really fed up with having to deprogramme people who've written too much jQuery and don't actually know JavaScript, or worse, barely realise that there is such a language. I appreciate that your su
87.
by ionfish 15y ago
There's a bit of sleight of hand on their Thunderbolt Display page [1]. The first image is of a MacBook Air hooked up to one of the new displays, but when they talk about "The ultimate docking station" they show a MacBook Pro. This is becau
88.
by ionfish 15y ago
They have. http://www.apple.com/macbookair/features.html#backlit
89.
by ionfish 15y ago
Aside from the fact that it's basically blogspam which does a poor job of explaining common JavaScript idioms, articles like this are dangerous because of what they don't say. In (2), for example, they suggest using the short-circuit feat
90.
"Industry-Driven" Computer Science Education(cdsmith.wordpress.com)
4 points by ionfish 15y ago|0 comments

More ›