{"push_id":669236520,"size":2,"distinct_size":2,"ref":"refs/heads/dining-philosophers-rephrasing","head":"b032c40c331f33526cff74fbd7797dc286e0caf0","before":"bdb2ffd17786d695226a9fbf3b376315c6d62a2f","commits":[{"sha":"d73f3ff3c65737c2da05cd2567bc4e0013128940","author":{"email":"482fbdf656c5a7b9f6d7767c7ead2574b914aaff@continuation.org","name":"Brian Campbell"},"message":"Rephrase dining philosophers problem\n\nThe dining philosophers problem setup is quoted from C. A. R. Hoare's\n\"Communicating Sequential Processes.\"  This is not the paper in which\nthe problem originated, nor does the example use the solution from\nHoare's paper.  Furthermore, the quoted example uses forks and pasta,\nand it doesn't make much sense to need two forks to eat; the formulation\nof this problem that I am most familiar with uses chopsticks, which\nmakes much more sense.\n\nIn addition, the quoted example uses male pronouns, the rest of the\narticle uses singular \"they\", and refers to the philosophers with just\nnumbers at first, but then goes on to use five Western European male\nphilosophers.\n\nSince the particular quotation is not essential, the use of forks is not\nparticularly sensible, and to increase the diversity of philosophers,\nsimply rewrite the statement of the problem with original text.  Use the\nappropriate pronouns for the philosophers referred to, but continue to\nuse singular \"they\" when talking about an unspecified philosopher.","distinct":true,"url":"https://api.github.com/repos/lambda/rust/commits/d73f3ff3c65737c2da05cd2567bc4e0013128940"},{"sha":"b032c40c331f33526cff74fbd7797dc286e0caf0","author":{"email":"482fbdf656c5a7b9f6d7767c7ead2574b914aaff@continuation.org","name":"Brian Campbell"},"message":"Delete trailing whitespace in dining philosophers example","distinct":true,"url":"https://api.github.com/repos/lambda/rust/commits/b032c40c331f33526cff74fbd7797dc286e0caf0"}]}