Dn_Ab

68 ms·

511.
by Dn_Ab 15y ago
F# has had this built in via the notion of first class events. im on my phone so I can't says more than its easy to underestimate how easy this style makes things
512.
by Dn_Ab 15y ago
slight correction,this is about reactive programming not functional reactive programming. the latter deals primarily with continuous time objects. although the way you used it arguably should be the correct way
513.
by Dn_Ab 15y ago
As someone who only does functional programming I do not think their power lies in their erm functionality. I have a hypothesis. I think the key lies in how easy is it to look at your code and trigger the pathways in your brain associated w
514.
by Dn_Ab 15y ago
I disagree in terms of Desktop. writing F# apps targetting .NET, mono or monomac is equivalent to C#. The only cost is some initial time with t < 2 hours to write a dsl to wrap your interface xaml to F# or for forms create a dsl for you
515.
by Dn_Ab 15y ago
I think Scala is a wonderful language, however it is one of many. Data structure and collections support in scala is equivalent to any functional language. I would be interested in hearing where you think Scala offers more. F# is another fu
516.
by Dn_Ab 15y ago
Agree. Can one say Mediumly Typed? To me a strongly typed language is very stern - you trade some slight annoyance for some slight sanity checks. For example strong typing would not let you say 5 + 5.0 because float <> int. >&#6
517.
by Dn_Ab 15y ago
Your coffee cup example - if math were taught more that way rather than a dry list of mechanical actions I think less people would dread it. I have nothing but hatred and horrible memories towards my grade school maths education. I can only
518.
by Dn_Ab 15y ago
Oh right I see. But don't you think introducing matrices as a type of transformation between vector spaces is too much too early? One reason maths is so difficult is that our brain simply has no point of comparison to bootstrap the concepts
519.
by Dn_Ab 15y ago
Hi Colin thank you for making this place so interesting. I struggle to teach myself maths but greatly enjoy it. As I see it the most applicable branch of maths for games falls under the umbrella of Clifford/Geometric Algebra - stuff like qu
520.
by Dn_Ab 15y ago
I would like to share my experience with Scala and Android. Maybe someone can tell me what I am doing wrong. Speed and start up time does not appear to be a problem, even if you are using a good part of the library. The problem with scala i
521.
by Dn_Ab 15y ago
I doubt brandonb thinks anything so simple. His post suggest a strong familiarity with the subject. I believe his emphasis is that previously, much of the structure learning was not discovered by the algorithm but hand tuned and built in ma
522.
by Dn_Ab 15y ago
Mathematics is the tool with which we pierce the veil that our minds place over reality. To compare it with memorizing baseball statistics is, is unjustifiable. I understand your sentiment but I must say I strongly disagree with you. The bl
523.
by Dn_Ab 15y ago
A reason that is theoretical must be backed by experiments. You cannot have one without the other without entering the religious realm. And you cannot have a completely mathematical explanation of reality because your axioms must have exper
524.
by Dn_Ab 15y ago
The new paper purports to deal with those criticisms. To my limited understanding it appears to be an argument against how the Hamiltonian is currently formulated in Verlinde's theory than a proof against entropic gravity.
525.
by Dn_Ab 15y ago
I must sincerely and strongly disagree with you. Technology can help elucidate mathematics beyond plug and chug. Teaching is one of the best ways of learning. a rough paraphrase of something I read someone say is they write a new book every
526.
by Dn_Ab 15y ago
Interesting that you say that. I've skimmed but have been meaning to properly read Nelson's: Radically Elementary probability theory http://www.math.princeton.edu/~nelson/books/rept.pdf and http://www.stat.umn.edu/geyer/nsa/ . They do aw
527.
by Dn_Ab 15y ago
I was not clear enough. This is not a statement on what choice I would make (I would be pro) but an abstract reflection. A reflection based on the idea that the existential framework such a being would operate in would be so diverged from t
528.
by Dn_Ab 15y ago
The obligatory xkcd link to go with this article[1]. But to turn this in a more interesting direction, there are many unimaginable things that can happen in 5,000 years and I can think of a few. And also reasons why people choosing to self
529.
by Dn_Ab 15y ago
I think what the Haskell people are doing is mostly criticizing the way things are. They are saying instead of making do with a fudge that won't be followed nor applied consistently why not mechanize as much as possible into the tools? When
530.
by Dn_Ab 15y ago
As I mentioned in my earlier post I do not think it is the power of the type system that is key but its consistency and the accompanying tools. I am not saying programming in Coq or dependent types are the answer. I am asking, what if progr
531.
by Dn_Ab 15y ago
You are right that many people don't need the results of type theory for their work. But that mainly tells on the type of work you do. For example many people think programming does not need math but if you are writing physics engines, grap
532.
by Dn_Ab 15y ago
If you truly believed and accepted that what you do in life does not matter then you will also believe that whether you live or not does not matter. And you will also believe that whether other people live or not does not matter. Your philo
533.
by Dn_Ab 15y ago
I see that some people are saying that functional programming is more powerful than OOP. I disagree with that. I do not think one is less than the other. Actually there is a mathematical argument why one is not less than the other. To me fu
534.
by Dn_Ab 15y ago
In the UK online grocery shopping is actually pretty sizeable, especially amongst the younger people. All the major brands provide the service. Anecdotal but I know a number of people who bought their car off of eBay. I have no counterexamp
535.
Is Jeopardy in Mathematicians? « Gödel’s Lost Letter and P=NP(rjlipton.wordpress.com)
2 points by Dn_Ab 15y ago|0 comments
536.
by Dn_Ab 15y ago
Was just trying it, appeared down to me too.
537.
Embracing Uncertainty: Applied Machine Learning Comes of Age(techtalks.tv)
4 points by Dn_Ab 15y ago|0 comments
538.
by Dn_Ab 15y ago
The vast majority of People are good yes. The main problem is that most people stop caring too quickly. On a multidimensional empathetic scale they stop caring with a nigh exponential drop off the further away from the this and now the othe
539.
by Dn_Ab 15y ago
Trash talking to hurt and psyche someone out in order to throw them off their game is a strategy employed amongst the aggressively competitive and those competing at a high level usually have counters. It is not a culture that you will find
540.
by Dn_Ab 15y ago
I think you read my post wrong. I too am skeptic of the module system. I highlighted why I think this language will be more likely to be used as a better Java by thinking like the hypothetical target. I also noted a key fact that framing is

More ›