{"action":"created","issue":{"url":"https://api.github.com/repos/dhardy/pippin/issues/45","repository_url":"https://api.github.com/repos/dhardy/pippin","labels_url":"https://api.github.com/repos/dhardy/pippin/issues/45/labels{/name}","comments_url":"https://api.github.com/repos/dhardy/pippin/issues/45/comments","events_url":"https://api.github.com/repos/dhardy/pippin/issues/45/events","html_url":"https://github.com/dhardy/pippin/issues/45","id":167400277,"number":45,"title":"Replicability/determinicity","user":{"login":"dhardy","id":134893,"avatar_url":"https://avatars.githubusercontent.com/u/134893?v=3","gravatar_id":"","url":"https://api.github.com/users/dhardy","html_url":"https://github.com/dhardy","followers_url":"https://api.github.com/users/dhardy/followers","following_url":"https://api.github.com/users/dhardy/following{/other_user}","gists_url":"https://api.github.com/users/dhardy/gists{/gist_id}","starred_url":"https://api.github.com/users/dhardy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dhardy/subscriptions","organizations_url":"https://api.github.com/users/dhardy/orgs","repos_url":"https://api.github.com/users/dhardy/repos","events_url":"https://api.github.com/users/dhardy/events{/privacy}","received_events_url":"https://api.github.com/users/dhardy/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/dhardy/pippin/labels/has%20milestone","name":"has milestone","color":"bfe5bf"},{"url":"https://api.github.com/repos/dhardy/pippin/labels/priority","name":"priority","color":"5319e7"},{"url":"https://api.github.com/repos/dhardy/pippin/labels/question","name":"question","color":"cc317c"},{"url":"https://api.github.com/repos/dhardy/pippin/labels/Tracker","name":"Tracker","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/dhardy/pippin/milestones/4","html_url":"https://github.com/dhardy/pippin/milestones/Alpha%20release","labels_url":"https://api.github.com/repos/dhardy/pippin/milestones/4/labels","id":1700947,"number":4,"title":"Alpha release","description":"Alpha release does not require API stability. It does require these core features to work:\r\n\r\n*   data insertion, retrieval (by key or exhaustive search), replacement\r\n*   basic classification\r\n*   partitioning: initial partition, splitting, moving elements\r\n\r\nAfter this point, file formats should be backwards compatible (loading of old files should work).","creator":{"login":"dhardy","id":134893,"avatar_url":"https://avatars.githubusercontent.com/u/134893?v=3","gravatar_id":"","url":"https://api.github.com/users/dhardy","html_url":"https://github.com/dhardy","followers_url":"https://api.github.com/users/dhardy/followers","following_url":"https://api.github.com/users/dhardy/following{/other_user}","gists_url":"https://api.github.com/users/dhardy/gists{/gist_id}","starred_url":"https://api.github.com/users/dhardy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dhardy/subscriptions","organizations_url":"https://api.github.com/users/dhardy/orgs","repos_url":"https://api.github.com/users/dhardy/repos","events_url":"https://api.github.com/users/dhardy/events{/privacy}","received_events_url":"https://api.github.com/users/dhardy/received_events","type":"User","site_admin":false},"open_issues":5,"closed_issues":1,"state":"open","created_at":"2016-04-12T10:28:28Z","updated_at":"2016-07-27T10:54:32Z","due_on":"2016-04-29T23:00:00Z","closed_at":null},"comments":1,"created_at":"2016-07-25T15:50:58Z","updated_at":"2016-07-27T16:47:31Z","closed_at":null,"body":"Currently unsure whether this should be pursued (so that doing the same operations with forced timestamps generates identical files every time). Issues:\r\n\r\n- [x] The order in which elements are written in a snapshot is determined by hashmap order, which is randomised each session. Easy to fix.\r\n- [ ] The order of parents in a merge commit is not fixed, nor is the order in which stuff gets merged when there are more than two heads. This is entirely due to how heads get selected in a partition; the merge machinery itself should be deterministic.\r\n- [x] The order of the changes in a commit is written depends on hashmap ordering\r\n- [x] Element identifiers are generated randomly. Does this require synchronising random number streams?"},"comment":{"url":"https://api.github.com/repos/dhardy/pippin/issues/comments/235646946","html_url":"https://github.com/dhardy/pippin/issues/45#issuecomment-235646946","issue_url":"https://api.github.com/repos/dhardy/pippin/issues/45","id":235646946,"user":{"login":"dhardy","id":134893,"avatar_url":"https://avatars.githubusercontent.com/u/134893?v=3","gravatar_id":"","url":"https://api.github.com/users/dhardy","html_url":"https://github.com/dhardy","followers_url":"https://api.github.com/users/dhardy/followers","following_url":"https://api.github.com/users/dhardy/following{/other_user}","gists_url":"https://api.github.com/users/dhardy/gists{/gist_id}","starred_url":"https://api.github.com/users/dhardy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dhardy/subscriptions","organizations_url":"https://api.github.com/users/dhardy/orgs","repos_url":"https://api.github.com/users/dhardy/repos","events_url":"https://api.github.com/users/dhardy/events{/privacy}","received_events_url":"https://api.github.com/users/dhardy/received_events","type":"User","site_admin":false},"created_at":"2016-07-27T16:47:31Z","updated_at":"2016-07-27T16:47:31Z","body":"`MutStateT::insert_initial(...)` allows use of an external source of randomness. Related changes may occur (#49) but the change fixes part of this issue."}}
{"actor":{"display_login":"dhardy"}}