Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Jean-Jacques Dubray
    @jdubray
    I understand that maybe controversial, or perhaps difficult to agree.
    weepy
    @weepy
    i see
    i get the point
    i suspect most people dont know much about TLA+
    it's got a rather unfriendly name toboot
    I'm a Physicist as well wtb
    btw
    Jean-Jacques Dubray
    @jdubray
    It's all right, happy to answer any question you have.
    weepy
    @weepy
    have you considered making the ubiquitous TodoList in SAM ?
    It's obviously kind of lame
    Jean-Jacques Dubray
    @jdubray
    Yes it already
    weepy
    @weepy
    but the canonical one
    not just any todolist
    there's a github project i think
    that has the same app for lots of different architectures
    it's the kind of thing that makes a lot of people take notice and consider it seriously.
    Jean-Jacques Dubray
    @jdubray
    https://bitbucket.org/snippets/jdubray/zr9r6/item-list
    ah ok
    weepy
    @weepy
    You'll love the name
    https://github.com/tastejs/todomvc
    http://todomvc.com/
    Jean-Jacques Dubray
    @jdubray
    Ah ah
    There is also the SAM Blog sample that was recently published with React
    https://github.com/jdubray/sam-samples/tree/master/crud-blog
    yes makes sense, will look at it
    weepy
    @weepy
    also another point
    about positioning
    you write alot about computer science stuff, f = V(m), TLA+
    etc
    Jean-Jacques Dubray
    @jdubray
    well, that's just functional programming
    weepy
    @weepy
    yeps
    i know this
    im a mathematition
    who cant spell
    Jean-Jacques Dubray
    @jdubray
    then you should love TLA+
    weepy
    @weepy
    yes
    Jean-Jacques Dubray
    @jdubray
    the funny part of the TLA+ story is that Dr. Lamport connected programming and mathematics
    weepy
    @weepy
    im thinking about how to get your message across
    Jean-Jacques Dubray
    @jdubray
    then he went back to mathematicians and told them they could write mathematical proofs in code
    and they politely say "we are not interested"
    weepy
    @weepy
    "oh thats interesting, now what was i doing. .."
    Jean-Jacques Dubray
    @jdubray
    it's not that funny, but it's interesting to see so much conservatism
    weepy
    @weepy
    i worry a little that the maths angle will put off of confuse 50%+ of the the programmers you are trying to connect with.
    Jean-Jacques Dubray
    @jdubray
    even in one of the smartest, most innovative branch of science
    weepy
    @weepy
    b/c they don't really understand it
    Jean-Jacques Dubray
    @jdubray
    Well the code samples can't be simpler
    weepy
    @weepy
    the code sampler are good
    perfect way to show it off
    Jean-Jacques Dubray
    @jdubray
    Most people laugh at my code samples and that's ok
    weepy
    @weepy
    why do they laugh
    Jean-Jacques Dubray
    @jdubray
    They feel it's too basic