{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":540932498,"defaultBranch":"trunk","name":"turing","ownerLogin":"dolio","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-24T18:43:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/750648?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1664045073.194166","currentOid":""},"activityList":{"items":[{"before":"c83eadd89407356e4f546c32303bc71d6b552861","after":"6e9f321a093c517ae3be470cf516ada778a16ab6","ref":"refs/heads/trunk","pushedAt":"2023-10-17T06:43:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dolio","name":null,"path":"/dolio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/750648?s=80&v=4"},"commit":{"message":"Generalize machine traces, add universal halting\n\nTraces can now track states, tapes or both.\n\nThe universal halting proof is based on a universal Turing machine and\nhalting deciders that indicate their result via the symbol focused on\nthe final tape.","shortMessageHtmlLink":"Generalize machine traces, add universal halting"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADmLAJOgA","startCursor":null,"endCursor":null}},"title":"Activity · dolio/turing"}