はじめに 今回は、昨年のACM PODC (Principle of Distributed Computing)でDijkstra賞を受賞した、以下の発表について解説します。 B. Alpern, F. B.Schneider, "Defining liveness," in proceedings of published in Information Processing Letters, vol. …

背景 APIの仕様をRAMLで記述する際に、api-designerを使っていますが、そのContribution guideに以下のような記述がありました。 Before submitting a pull request, you need to execute squash commits. Submit the pull request afterwards to have them …