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
    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
    I am not using ES6 yet
    weepy
    @weepy
    yeah I would switch that if I were you
    it's better apart from anything else
    but im talking about the mathy stuff.
    Jean-Jacques Dubray
    @jdubray
    sure, just takes a bit of time for an old guy like me
    weepy
    @weepy
    im not saying to get rid off it
    maybe it can be another page
    that you link to "if you're interested in the CS stuff click here"
    how old are you ?!
    Jean-Jacques Dubray
    @jdubray
    mentally or physically?
    my first computer was a TRS-80
    weepy
    @weepy
    mine too
    im 39
    Jean-Jacques Dubray
    @jdubray
    just a bit older...
    weepy
    @weepy
    heh ok
    anyways ---- ofc take or leave my advice
    just saying what i think :D
    Jean-Jacques Dubray
    @jdubray
    makes sense, just so many hours in day
    Interesting, the TODO vanilla JS is just running on the browser.
    weepy
    @weepy
    yeah i think that's the standard
    isomorphic is interesting but i feel it's an advanced thing
    weepy
    @weepy
    looking at your Item List
    I think it's a bit bad practice to mix your model data with the model functions/state ? e.g model.state, model.present etc ...
    what do you think about that
    Jean-Jacques Dubray
    @jdubray

    isomorphic is interesting but i feel it's an advanced thing

    this was advanced until SAM, because that was nearly impossible to achieve
    SAM makes it totally trivial

    I think it's a bit bad practice to mix your model data with the model functions/state

    this is wiring, you can wire the pattern in any way you'd like
    The constraints of the pattern are only:

    • on role and responsibilities of Actions, Model and State
    • Sequence of invocations in the reactive loop as defined by the expression V = S( vm(M...
    • weaving of API calls in the pattern (3rd party APIs and CRUD)
    After that you can distribute and connect the elements of the pattern any way you'd like, that's the whole point of making Isomorphic JavaScript easy to achieve. Here are all the combinations you deploy the pattern as: http://sam.js.org/#iso
    There is no prescription on wiring at all
    brucou
    @brucou
    what do you mean by "only one factoring to computing, it's called TLA+"
    This factoring is "unique", you just can't make it up (IMHO)
    You can define formalisms on top of it, but you cannot decide arbitrarily what the foundation is, it is foundational.
    Computer science is not based on opinion.
    As I mentioned before, there is not only one factoring to computing, and that is just as known as the fact that the earth is round.
    maybe you have to do a little bit more research.
    you can't throw up any formalism in the air and say that one works too,
    That's exactly what you are doing with SAM
    My point is that TLA+ is a formalism which can be used to describe any state machine as we know it, therefore I claim it is foundational.