These are chat archives for jdubray/sam

Jan 2017
Jean-Jacques Dubray
Jan 19 2017 03:02
yes, I thought so too, but it looks like he does not buy into the formalism of TLA+. I guess that's the part that I don't get, someone spends 20 years cooking something rather incredible, he gets a Turing award for it and people like Dan or Michel who aspire to the thought leaders of our industry don't even take a peek at it.
Someone on a React discussion just left that comment:
Fred Daoud
Jan 19 2017 03:45
@jdubray nice! would be interested in the link to that discussion.
Fred Daoud
Jan 19 2017 15:42