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
    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.
    It's the same for Front-End architectures, we must decide how to factor the code, nothing is arbitrary. Just like React which is slightly out of phase because of some of the choices they have made.
    The object of my discussion with @brucou was to say be careful, you can't throw up any formalism in the air and say that one works too, or why not use that formalism as XYZ (he was pointed at extended state machines).
    Jean-Jacques Dubray
    @jdubray
    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. I cannot define something below TLA+
    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.
    ah ok
    weepy
    @weepy
    You'll love the name
    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