mlitchard

12 ms·

1. 61.▲
   by mlitchard 11y ago

   I guess you'd need to define what you mean by functional language. That term gets thrown around a lot, to the point of meaninglessness. If you mean referentially transparent then neither Scala nor F# are referentially transparent.
2. 62.▲
   by mlitchard 11y ago

   Sometimes, when I read the state-of-the-art cs articles, can't hardly understand anything. But then there's the "lol startup ruby app lol javascript framework!" type articles that convinces me to stay in the deep end of
3. 63.▲
   by mlitchard 11y ago

   Mention? The title led me to believe that was the topic.
4. 64.▲
   by mlitchard 11y ago

   Expressing numerical calculations as code,specifically. I was hoping for something to do with category theory.
5. 65.▲
   by mlitchard 11y ago

   Wow, talking about controlling the narrative. They forgot one possible answer "He loved Big Brother."
6. 66.▲
   by mlitchard 11y ago

   I was being married, writing poetry and discovering the bohemian life. Oh yeah also scholarship student at local college, involved with running the mac lab in the humanities department, and generally making a nuisance of myself.
7. 67.▲
   by mlitchard 11y ago

   What is your basis for claiming consciousness is an illusion?
8. 68.▲
   by mlitchard 11y ago

   1) How do you know animals don't have conscious awareness. What about Coco the gorilla? What about dolphins? 2) Humans are animals. Humans have conscious awareness. So, some animals have conscious awareness. Which ones?
9. 69.▲
   by mlitchard 11y ago

   https://hackage.haskell.org/package/atom Imagine atom, written in idris, and compiling to rust. Things like that.
10. 70.▲
    by mlitchard 11y ago

    What I like about rust is how I think it will go together really well with a language like idris. The idea is, whatever rust cannot guarantee an idris-to-rust transpiler can. People should have a much easier time making solid low-level code
11. 71.▲
    by mlitchard 11y ago

    T.S. Eliot was my first window into the horror of modern warfare. From him, I learned about other poets and writers of his generation. If I did some analysis, I'd wager I'd find his influence on my own poetry. Wouldn't surpri
12. 72.▲
    by mlitchard 11y ago

    At first I was thinking "For the love of bog why?", but then I started reading, and couldn't stop reading.
13. 73.▲
    by mlitchard 11y ago

    Yes, and if he even comes close to getting the nomination it will signal a huge change in American politics.
14. 74.▲
    by mlitchard 11y ago

    I'm now imagining the Monsanto approach getting more and more constrained at each stage. Meaning, phone screen is subject to least scrutiny and one becomes more and more scrutinized as the interview proceeds. This doesn't sound ba
15. 75.▲
    by mlitchard 11y ago

    Well, Nixon was pretty annoyed with him. But that makes him the exact opposite of a terrible person.
16. 76.▲
    by mlitchard 11y ago

    I love frag. Have you seen Nikki and The Robots? https://github.com/nikki-and-the-robots/nikki
17. 77.▲
    by mlitchard 11y ago

    Eugene, I'm going to pass along advice that was given to me years ago. Do the hard thing.
18. 78.▲
    by mlitchard 11y ago

    I imagine the burden will be mitigated by not requiring everyone to have the same level of expertise. The model I see is an architect using the type and proof system to make a language that describes the problem domain at hand. It is this l
19. 79.▲
    by mlitchard 11y ago

    All forgiven. This is great news.
20. 80.▲
    by mlitchard 11y ago

    The power of Haskell goes beyond the particular language. It encodes powerful ideas of value in and of themselves. When we've got better than Haskell (say, production-ready Idris), the investment made in understanding these ideas will
21. 81.▲
    by mlitchard 12y ago

    Thanks for the heads up. I just googled.
22. 82.▲
    by mlitchard 12y ago

    I think it will do just fine as an industrial language, when you have the senior architect being the idris expert. His job will be to write the DSL for the engineers to code in. Idris already has hooks into C and Java and who knows what els
23. 83.▲
    by mlitchard 12y ago

    I can't wait for a mature idris+mature rust. It will be a better world then.
24. 84.▲
    by mlitchard 12y ago

    In the case of "the things you don't know you don't know", I find following certain developers to be priceless. Can't go looking for a reference for something you don't know exists, after all.
25. 85.▲
    by mlitchard 12y ago

    In no particular order Dan Piponi http://blog.sigfpe.com/ The ever awesome oleg http://okmij.org/ftp/ Chris Done http://chrisdone.com/ Gabriel Gonzalez http://www.haskellfor
26. 86.▲
    by mlitchard 12y ago

    http://www.brainpickings.org/2013/07/12/buckminster-fuller-e...
27. 87.▲
    by mlitchard 12y ago

    First, when I say education, I mean Liberal Arts education. In this, I would include the humanities, and pure maths. The difference could be found in the approach to technical skills. For example, when I was a student of Attic Greek, our te
28. 88.▲
    by mlitchard 12y ago

    What we need to do is to discern between education and training. Once we do that, we can begin to elevate the vocational back to a place where it's valued, and institutions dedicated to education can get back to it and not have it&#x27
29. 89.▲
    by mlitchard 12y ago

    Would it be reasonable to have an invitation from a person with x reputation bump someone up to the required rep to ask questions? One could spend time in meta, and the chat room where people could get to know them. For the well-intended bu
30. 90.▲
    by mlitchard 12y ago

    My experience has been nothing but useful. When I ask a bad question, instead of crying about it, I figure out how to ask a better one. The community on stackoverflow helps me do this. On more than one occassion, it has saved my bacon when