Dn_Ab

35 ms·

241.
by Dn_Ab 14y ago
Many of the computing and math courses are enough in my comfort zone that I can readily pick them up on my own. That, coupled with my belief in the future of quantative biology has made me sign up and take a number of chemistry, anatomy, me
242.
by Dn_Ab 14y ago
http://en.wikipedia.org/wiki/History_of_the_battery suggests that basic knowledge and early experimentation with the known concept of electricity and a disagreement about whether a dead frog's leg can generate electricity inspired the bat
243.
by Dn_Ab 14y ago
Excellent! Thank you, yes I am clearer, the concept is even more awesome than I thought . >I think active patterns do not constitute first-class patterns. I agree, but like I said, they are the closest thing in active use, they extend t
244.
by Dn_Ab 14y ago
This is the first time I've encountered this and what you wrote packs a lot of ideas in a small space so forgive me if I have misunderstood. What you write seems like an even more powerful version of the Active Patterns in F#, which are alr
245.
by Dn_Ab 14y ago
I very much agree with you. Even in Genetic programming, any language that has Algebraic Types and parser combinators gets only a very small additive constant with respect to lisp. But if you want the best model for the GP language so that
246.
by Dn_Ab 14y ago
When you realize how easy it is to write Lisp programs that recursively define other valid Lisp programs, it's not hard to see why it's such a favorite of the AI community! I don't know what counts as "AI" anymore but in the Machine Learn
247.
by Dn_Ab 14y ago
It's worth noting that the Google "MapReduce" is not type equivalent to the map (roughly 'a list -> 'b list) and reduce ('a list -> 'b) found in Lisp and functional languages. It is actually in a way, an opposite. That is, the ma
248.
by Dn_Ab 14y ago
Hey, you are right. the method I was thinking of does require model theory to justify its axioms (IST). It had been waved away as you put it, so that the core could be focused on. But you don't really need to understand why the axioms are j
249.
by Dn_Ab 14y ago
To the contrary, I am extremely encouraged by his complaints. Because his problems basically boil down to Hard Engineering problems - nothing he said was a lack that required basic science (hard). If you will recall it was only 10 years ag
250.
by Dn_Ab 14y ago
I do not agree. This is because the text treats infinitesimals and epsilon-delta at the same time (or after). By that time the material is familiar enough that epsilon delta is not so difficult. Kind of like learning python before assembly.
251.
by Dn_Ab 14y ago
Indeed, I agree. Those all fall under the umbrella I gave. But those are all particular subject areas that many people can go through their career without touching.
252.
by Dn_Ab 14y ago
The standard is Nelson's Radically elementary probability. Vovks and Shafer's game-theoretic approach is interesting in that related approaches like bandit models and online learning have recently picked up in popularity.
253.
by Dn_Ab 14y ago
Perhaps you are more familiar with Robinson's derivation but Keisler has an axiomatic approach that makes calculus easier for students than regular calculus (besides by the time you are doing continuous differentiation you are already calli
254.
by Dn_Ab 14y ago
You argument is solid and it would be great if math was taught more as a connected whole but many do not have that luxury. Key though, is the author never went into much detail as to his or her intentions and motivations so not much can be
255.
by Dn_Ab 14y ago
I thought of games and linear programming but didn't really count them as theoretical CS. The graphics and compilers groups don't really mix but I guess Graphics researchers are doing theoretical CS. But what's more, I didnt consider that t
256.
by Dn_Ab 14y ago
I think the surprising commonality is conditional. So you won't see it unless you are focusing on physics or signal processing.
257.
by Dn_Ab 14y ago
I agree. ten's list is excellent but the OP wanted to learn topics that would help with CS and algorithms. To that end graph theory, combinatorics and basic calculus should have been given more weight. But for theoretical CS I can't think o
258.
by Dn_Ab 14y ago
To be honest I have never found any functional language that gives anything near helpful error messages. I have found that the best way is not to read the error messages but to pattern match on the phrases. Sounds like a downside but the be
259.
by Dn_Ab 14y ago
While I do not disagree with you, implicit in your post is an assumption that humans can solve these NP-hard problems. More likely, most examples are either not NP-hard, the average case is easy, easily approximated or we simply don't do we
260.
by Dn_Ab 14y ago
Ideally raw images and audio with a few categories. This is because 1) categorization/labeling like you are suggesting does not scale and 2) feature building and detection is the most important part really, building in features like you are
261.
by Dn_Ab 14y ago
I don't know. I think this will spur innovation that facebook couldn't possibly buy all of. People will be more likely to avoid building a core experience around a free service and instead either; innovate on their own and learn what is nee
262.
by Dn_Ab 14y ago
Thanks, that clarified things. Unfortunately I too know little about actually writing compilers so my depth is limited. But I will offer some thoughts anyways. The slow down in dynamic languages is in more than type checks though. The slow
263.
by Dn_Ab 14y ago
You make excellent and carefully argued points. It is important to me that I say that even though I do not agree with your opinion on static type systems, I enjoyed reading all of your argument. Although, one thing is not clear to me. It r
264.
by Dn_Ab 14y ago
If you have say two networks that are based on different choices of perspective in coding a MDL with wildly differing lengths and better performance of the larger one, I would be highly suspicious as to whether the the poor performer is pro
265.
by Dn_Ab 14y ago
Actually this topic has moved beyond philosophy. There is a beautiful and simple mathematical argument and formulation of Occams Razor in terms of the universal prior of Solomonoff induction. For more, see http://en.wikipedia.org/wiki/Indu
266.
by Dn_Ab 14y ago
So the profit mechanism is through taking a percentage of bank transfers. So not going after banks. Also did you mean shopping card or shopping cart? I can't resolve either from context and shopping card is not commonly used.
267.
by Dn_Ab 14y ago
It is still widely dismissed. And while coherence seems to be relevant for a particular stage of energy conversion in photosynthesis and also in allowing sensitivity to magnetic fields, the mechanisms for leveraging these are incidental. Th
268.
by Dn_Ab 14y ago
This is a great point. I also think it is worth noting that by the third or fourth time, even if they were peniless, the person would be starting from a far better position than a first timer. Networks and Reputation are a powerful form of
269.
by Dn_Ab 14y ago
The problem of HFT is two. First, HFT is very difficult. It requires the talents of extremely intelligent individuals. These individuals are a scarce resource. Now, being as they are near the generation and handling of money, HFT firms are
270.
by Dn_Ab 14y ago
I am outside academia but I read a lot of papers. For most people outside I suspect the biggest problem is paywalls and not format. If you don't read a paper because it is a PDF and not HTML then you weren't really interested. With chrome,

More ›