stiff

60 ms·

481.
by stiff 14y ago
This is explained here nicely: http://philosophy.stackexchange.com/questions/1890/what-is-t...
482.
by stiff 14y ago
This is interesting but not completely accurate. What is most mind-blowing, is that Turing machines were Turings approach to formalizing proofs as a means towards solving the Entscheidungsproblem. In fact he was successful in "solving" the
483.
by stiff 14y ago
He basically says that Hilbert relied on the law of the excluded middle by using proofs by contradiction, which is valid, because if you do not accept the law of excluded middle than proof by contradiction ceases to be a valid proof method.
484.
by stiff 14y ago
Courant said much more much better in much less words: There seems to be a great danger in the prevailing overemphasis on the deductive-postulational character of mathematics. True, the element of constructive invention, of directing and m
485.
by stiff 14y ago
I don't like the aggressive rhetoric of the likes of Harris either, but on the other hand "here are the numbers" has unfortunately a rather poor conversion rate.
486.
by stiff 14y ago
I am not a physicist, maybe one would elaborate on this, but it seems to be rather straightforward mathematics for a physicist to use (fancied-up calculus), and I don't know how a computer would help here at the level of development compute
487.
by stiff 14y ago
Mirror: http://web.archive.org/web/20121112213332/http://www.pitt.ed...
488.
by stiff 14y ago
In the "Unix Programming Environment" book from 1984 there is an "overwrite" shell script depicted that does exactly this. I wonder why this never made it into the standard UNIX toolkit.
489.
by stiff 14y ago
...in Walt Disney movies.
490.
by stiff 14y ago
The first artificial neural networks were actually done in hardware, here is Frank Rosenblatt with his Perceptron: http://www.enzyklopaedie-der-wirtschaftsinformatik.de/wi-enz... As said, it is an interesting thing to consider as an alter
491.
by stiff 14y ago
(Poor) local minima can be sometimes reached in back propagation due to a bad setting of the learning rate and RProp does help with that. You can also repeat the learning process using one of those algorithms many times with different initi
492.
by stiff 14y ago
I had once attempted to build a genetic algorithm for manipulating the synapse weights, specifically because of the problems of traditional back-propagation falling into local minima (unfortunately, some serious shit at work made it drop b
493.
by stiff 14y ago
I just think that with your first brief comment you unintentionally scared a lot of people away from Rails, possibly indicating a new release was done but some serious security issues were simply ignored. I had trouble understanding what yo
494.
by stiff 14y ago
Ok, this one is a genuine problem in that the method is expected to only deal with column names and is not supposed to accept full SQL, but you made it sound like the page was a list of security issues that Rails should deal with but isn't,
495.
by stiff 14y ago
The examples here do not include SQL injection from known CVEs and are not vulnerabilites themselves, only potential misuses of the methods. What would you like to have changed here? The methods work fine as long as you do not explicitly
496.
by stiff 14y ago
Don't feed the troll, please...
497.
by stiff 14y ago
I was thinking about this lately a lot as I started doing some Python after almost 10 years of Ruby, I think it boils down to the simplicty vs. elegance tradeoff. If you want to have elegant, very high-level APIs that hide a lot of details,
498.
by stiff 14y ago
There was a previous submission with the initial announcement, I would understand the criticism then, but now they actually shipped something, it's really interesting, and not a single person commented on anything of merit. I remember my st
499.
by stiff 14y ago
Man up HN, whatever they will accomplish in the end, the content is pretty great so far, no need to bitch and whine. Sad to see most of the derogatory comments here, when someone out there is actually doing a really cool project.
500.
by stiff 14y ago
Yeah, because citing a lot of papers increases your credibility and you can go ahead with promoting whatever agenda you had in the first place ("evidence-based approach", as they call it). In the long term, protein has a strong association
501.
by stiff 14y ago
What would the benefits of using a virtualized server for a relatively small (in terms of server needs) site like HN be? The way I see it so far, is that virtualization is mostly beneficial for hosting companies that can provide cheaper hos
502.
by stiff 14y ago
I understand this, see my comment above, but when you speak of "the programming language Lisp", the way you speak about Python or Ruby, it most commonly refers to Common Lisp, that is and was the most popular implementation and its common u
503.
by stiff 14y ago
You are also not getting the point you complain about completely clear, it is not that "Lisp isn't really that functional", Lisp != Common Lisp and being a Lisp and being functional is to some extent orthogonal those days - Clojure is a ver
504.
by stiff 14y ago
Being a "Lisp" is a very broad category and I always wondered about people calling Lisp a functional language. I would love to see a list of things that are today considered functional that originated in Lisp, I think there is not that many
505.
by stiff 14y ago
> There is a vast world of mathematical understanding available to programmers who don't like proofs. Mathematics is a deep net of knowledge, you can not just somehow study "interesting functions" in isolation, only by systematically ex
506.
by stiff 14y ago
Majority of mathematics isn't at all concerned with calculation techniques, this is a fundamental misunderstanding many people get from school, mathematics is the study of concepts and relationships between them. If you do not understand th
507.
by stiff 14y ago
One thing I miss is more very productive people like this sharing the way they work with the world. There are some nice screencasts at destroy-all-software[1], and there was a great screencast some time ago about writing a ray tracer in Com
508.
by stiff 14y ago
For all those thinking like I did this would be something about Nikola, I raise you some real Tesla's ingenious strategy: http://en.wikipedia.org/wiki/File:Tesla_colorado_adjusted.jp... :)
509.
by stiff 14y ago
Douglas Engelbart predicted the whole modern computing world, including cloud services, in 1970s. It still took hard work of thousands of people to realize it in a way useful to a wide population. http://en.wikipedia.org/wiki/Douglas_Engel
510.
by stiff 14y ago
A programming argument that can be convincingly shown to be only a matter of personal preference is irrelevant, but I strongly disagree those are that common. Various programming language constructs have various properties and if you had th

More ›