stiff

94 ms·

631.
by stiff 15y ago
There is a really nice book trying to teach exactly this (among other things) called "The Haskell Road To Logic, Maths and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...
632.
by stiff 15y ago
Einstein had a day job as a patent clerk when working on relativity. Leibniz did manage to invent calculus, including the notation used to this day, even though he picked up mathematics relatively late in life and even though he also had a
633.
by stiff 15y ago
For me, the only way to meaningfully assign meaning to a program being "beautiful" or "elegant", is to interpret it as the program possessing a significant part of all the possible pragmatic advantages a computer program can possess, so on
634.
by stiff 15y ago
This looks like a draft version of the book: http://www.amazon.com/Think-About-Algorithms-Jeff-Edmonds/dp... Because of this, I wonder a bit what's the legal status of this .pdf, but maybe I'm overreacting...
635.
by stiff 15y ago
Well, the article says for example: Yoga is for people in good physical condition. Or it can be used therapeutically. It’s controversial to say, but it really shouldn’t be used for a general class. That's strange to me, because from what
636.
by stiff 15y ago
Most of the problems described have more to do with human nature then with yoga in particular. If you are 100 pounds overweight and live a sedentary lifestyle, then one day try to run a marathon just like that, there are high chances you wi
637.
by stiff 15y ago
In the first sentence I think you are nitpicking. After all I pointed to those tools as an aid for understanding how things work "under the hood", which is what the OP is after as far as I understand. Even if you take "ping", (which I could
638.
by stiff 15y ago
From my experience what people working as web developers most commonly lack theory-wise besides simply software engineering skills is in-depth knowledge of HTTP and it's guiding architectural principles (REST), so I would recommend: http:/
639.
by stiff 15y ago
This is old news, and gets much more publicity in the media that it probably deserves, but the vision of a "brain-like" computer certainly appeals to a majority of readers. Previously: http://news.ycombinator.com/item?id=2898229 http://n
640.
by stiff 15y ago
There are some more serious issues with Haml, Sass etc. that I wonder aren't brought up more frequently. One is simply tool support, in Firebug or Chrome developer tools I see HTML/CSS/Javascript not Haml/Sass/CoffeeScript. As soon as I sta
641.
by stiff 15y ago
Who would have thought...
642.
by stiff 15y ago
Turing's work was almost always purely theoretical and his genius very much lied in his ability to think at a level of abstraction way higher then most of us can handle; the idea that he might have jump-started a new industrial revolution o
643.
by stiff 15y ago
It's not only that they have changed texts to icons, but also that the icons are really ugly, they do not communicate well the purpose of the buttons and that they are all grey blobs that are hardly distinguishable, I actually find it hard
644.
by stiff 15y ago
While I still share the sentiment, it works just fine on Linux and Firefox with a recent version of Moonlight ( http://www.go-mono.com/moonlight/ ).
645.
by stiff 15y ago
There is a video of the talk as well: http://www.dailymotion.com/video/x8qsc4_richard-hamming-talk... http://www.dailymotion.com/video/x8qsg7_richard-hamming-talk... http://www.dailymotion.com/video/x8qsk0_richard-hamming-talk...
646.
by stiff 15y ago
If people would simply advocate building applications which follow the semantics of HTTP instead of advocating "REST", many more people would understand the benefits and conform; there would be no need to write a thousand and one posts expl
647.
by stiff 15y ago
That sounds rather confused, an Abstract Syntax Tree by definition can't be a graph. What you are referring to is a some kind of an intermediate form used by a compiler, the details may very greatly, but for example directed acyclic graphs
648.
by stiff 15y ago
Context: http://en.wikipedia.org/wiki/OpenDoc#Cancellation This guy is not necessary a troll, of course this is just speculation, but if a project he was working on for a few years got cancelled, I could pretty well understand his frustra
649.
by stiff 15y ago
Calculus is a major prerequisite for both a reasonably serious statistics course, and for a reasonably serious AI/ML course. Furthermore, at least for ML it is multi-variable calculus based on linear algebra, I doubt you could learn this in
650.
by stiff 15y ago
Lots of buzzwords in the article and in the video, lots of "completely new", "revolutionary" etc., yet it's hard to see what's exactly new about their approach. It's certainly interesting to investigate computers with a neural-network-like
651.
by stiff 15y ago
You're prematurely optimizing. Someone asked for activities good for computer people. You didn't answer "any activity", but "cycling". Now when I say cycling is actually bad for many computer people, you say I'm prematurely optimizing? Be
652.
by stiff 15y ago
And bench presses won't give you rounded shoulders. Healthy shoulders are a result of a balance between the static tension of the upper back muscles and the chest muscles. If you already have rounded shoulders, it means that the chest mus
653.
by stiff 15y ago
Even if you don't sit, you still have to be bent over to some degree, both in the hips and in the shoulders (to reach out for the handlebar), which is a position physiologically similar to sitting in front of a computer (sitting in a chair
654.
by stiff 15y ago
There is hardly any knowledge of human physiology behind most of the answers, just like the question was "what exercises do you like" and not "exercises for someone sitting by the PC all day". Sitting at a desk for 8+ hours tends to cause
655.
by stiff 15y ago
I found this: http://research.microsoft.com/apps/pubs/default.aspx?id=6862... http://www.unifyingtheories.org/
656.
by stiff 15y ago
What do you mean precisely? Normally you prevent code injection by not allowing user-supplied strings to be interpreted as JavaScript in the first place, not by trying to catch all the possible ways in which one can construct a script doing
657.
by stiff 15y ago
Just knowing how to write a binary tree, or linked list, or singleton, or whatever, doesn't make one capable of writing a program that users want to use. Yes, maybe it makes one capable of writing a perfect program even, in the sense that
658.
by stiff 15y ago
The question is not really what does the computer depend on, but what does _the program_ depend on. The boolean algebra that computers are an implementation of is very simple and can be implemented in a wide variety of ways and regardless w
659.
by stiff 15y ago
Also, human DNA is unique from that of close mammals on a set of base pairs of size the order of 1-5 percent of our genome. So that means 10-50 MB. That's actually a pretty substantial size: it can even store a small operating system kerne
660.
by stiff 15y ago
The topics that are just computer science are not very good, and the topics that are good are not really computer science and are covered poorly in the book. You know that after reading only the table of contents? One way and another, fo

More ›