Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This paper describes the reasons why we chose TLA+ instead of other methods, and areas in which we would welcome further progress.

The authors were asked by the Editors of ACS Chemical Biology to write an article titled "Why Nature Chose Selenium" for the occasion of the upcoming bicentennial of the discovery of selenium by the Swedish chemist Jöns Jacob Berzelius in 1817 and styled after the famous work of Frank Westheimer on the biological chemistry of phosphate [Westheimer, F. H. (1987) Why Nature Chose Phosphates, Scie...

In the last editorial (‘plus ça change’—[1]), we briefly looked at some of the major changes in scholarly communication, and how some things hadn’t changed at all. This lack of change has frustrated all of those progressives who feel we’ve not even begun to take advantage of all the opportunities offered. It’s easy to sympathise, when you think of all the things we can now do with electronic sy...