The incontrovertible fact that the two of them had been thinking about the same problem in the identical phrases, at the similar time, was not a coincidence. They had both simply seen the same outstanding speak, given to a gaggle of software program-engineering students in a Montreal hotel by a pc researcher named Bret Victor. The discuss, which went viral when it was posted online in February 2012, appeared to be making two bold claims.
Newcombe and his colleagues at Amazon would go on to use TLA+ to seek out refined, crucial bugs in major systems, together with bugs within the core algorithms behind S3, thought to be maybe probably the most reliable storage engine in the world. In the tiny universe of people that had ever used TLA+, their success was not so uncommon. An intern at Microsoft used TLA+ to catch a bug that would have caused each … Read More