These are chat archives for jdubray/sam

Feb 2017
Jean-Jacques Dubray
Feb 15 2017 03:33
I am preparing a talk on SAM, quite a bit of new slides showing the connection to state machines and TLA+ and I hope illustrating more clearly what is different about TLA+
Happy to discuss the slides if there is any interest
Vincent Jo
Feb 15 2017 19:24
hey JJ, that was great.. as always I like reading about SAM even though I know the concepts around it well enough to make an app
made me want to experiment on Angular 2.. I also wondered if it can be used in Machine Learning