{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":203819021,"defaultBranch":"main","name":"busy-beaver","ownerLogin":"sligocki","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-08-22T15:07:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2762072?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1645124116.4564748","currentOid":""},"activityList":{"items":[{"before":"9e2ecb753a1018f231d68d62260685f48b0d3b7a","after":"009dcfbec1b3796f63a9b4be9dbb8b3de4678c50","ref":"refs/heads/main","pushedAt":"2024-08-19T18:36:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add 2x3 champs","shortMessageHtmlLink":"Add 2x3 champs"}},{"before":"fd9e8e25819ebf9606bc07058d751f0240aeb6aa","after":"9e2ecb753a1018f231d68d62260685f48b0d3b7a","ref":"refs/heads/main","pushedAt":"2024-08-19T18:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add 2x4 leaders.","shortMessageHtmlLink":"Add 2x4 leaders."}},{"before":"1e361557bb5525fcb83a84f938b6e5d717ae8764","after":"fd9e8e25819ebf9606bc07058d751f0240aeb6aa","ref":"refs/heads/main","pushedAt":"2024-07-30T18:40:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Normalize to standard halting Cryptid and add second standard variation.","shortMessageHtmlLink":"Normalize to standard halting Cryptid and add second standard variation."}},{"before":"87e3915724fe762076de3636cb5a89c1a180d43b","after":"1e361557bb5525fcb83a84f938b6e5d717ae8764","ref":"refs/heads/main","pushedAt":"2024-07-30T05:58:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add first probviously halting cryptid 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC.","shortMessageHtmlLink":"Add first probviously halting cryptid 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA…"}},{"before":"5660d4dca8c5eff690ab86e27bec77d863577abf","after":"87e3915724fe762076de3636cb5a89c1a180d43b","ref":"refs/heads/main","pushedAt":"2024-07-17T03:33:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add simple bouncer proof.","shortMessageHtmlLink":"Add simple bouncer proof."}},{"before":"094686459c7b46fc7e374dd7bad5ca8a0ecced60","after":"5660d4dca8c5eff690ab86e27bec77d863577abf","ref":"refs/heads/main","pushedAt":"2024-07-12T03:50:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Update 4x2 champions.","shortMessageHtmlLink":"Update 4x2 champions."}},{"before":"e2ee58eafc14fc1734b0430bada9f6504c6b1e35","after":"094686459c7b46fc7e374dd7bad5ca8a0ecced60","ref":"refs/heads/main","pushedAt":"2024-07-12T03:44:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Update halting TM champions lists.","shortMessageHtmlLink":"Update halting TM champions lists."}},{"before":"bba8d6470bf9cd9666ce03e8a31b94b954acccdd","after":"e2ee58eafc14fc1734b0430bada9f6504c6b1e35","ref":"refs/heads/main","pushedAt":"2024-07-09T23:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Fix big_int_approx_str() for Expressions and keep track of min steps as well in TM_Analyze.","shortMessageHtmlLink":"Fix big_int_approx_str() for Expressions and keep track of min steps …"}},{"before":"3189833014f1b2442d4ffe91c6e1d7fdb574675a","after":"bba8d6470bf9cd9666ce03e8a31b94b954acccdd","ref":"refs/heads/main","pushedAt":"2024-07-06T14:59:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add antihydra validation.","shortMessageHtmlLink":"Add antihydra validation."}},{"before":"8e01bb2d3a060a680a777e0c47b35c6868341c53","after":"3189833014f1b2442d4ffe91c6e1d7fdb574675a","ref":"refs/heads/main","pushedAt":"2024-06-25T04:01:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add start of dyuan's new potential champion. Not sure if I'll be able to apply the counter logic effectively ...","shortMessageHtmlLink":"Add start of dyuan's new potential champion. Not sure if I'll be able…"}},{"before":"42b7ef6e550cedcc3e3fad8a0e8e25afbbeb56b2","after":"8e01bb2d3a060a680a777e0c47b35c6868341c53","ref":"refs/heads/main","pushedAt":"2024-06-25T02:47:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Fix up a few halting_lib issues.","shortMessageHtmlLink":"Fix up a few halting_lib issues."}},{"before":"2743db22ac0dce3f9cf7261880855a399f671723","after":"42b7ef6e550cedcc3e3fad8a0e8e25afbbeb56b2","ref":"refs/heads/main","pushedAt":"2024-06-15T20:56:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjligocki","name":"Terry J. Ligocki","path":"/tjligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/103017513?s=80&v=4"},"commit":{"message":"Added some new halting TMs as a result of looking at the current holdout\nlist...","shortMessageHtmlLink":"Added some new halting TMs as a result of looking at the current holdout"}},{"before":"cdd21b03d5d0945f3ebfca34925fe923dbfeda98","after":"2743db22ac0dce3f9cf7261880855a399f671723","ref":"refs/heads/main","pushedAt":"2024-06-13T19:54:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Fix some is_const stuff.","shortMessageHtmlLink":"Fix some is_const stuff."}},{"before":"706a4c414ed56837e6df3e0a9d04603015a46010","after":"cdd21b03d5d0945f3ebfca34925fe923dbfeda98","ref":"refs/heads/main","pushedAt":"2024-06-13T19:06:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjligocki","name":"Terry J. Ligocki","path":"/tjligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/103017513?s=80&v=4"},"commit":{"message":"Change scripts to have executable permissions...","shortMessageHtmlLink":"Change scripts to have executable permissions..."}},{"before":"d5549320aa3d10aa978c357841efe98432514ce2","after":"706a4c414ed56837e6df3e0a9d04603015a46010","ref":"refs/heads/main","pushedAt":"2024-06-13T18:58:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add basic IO Sort tool. Right now it only sorts by halt score, but it would be nice to allow it to sort by other things too.","shortMessageHtmlLink":"Add basic IO Sort tool. Right now it only sorts by halt score, but it…"}},{"before":"6b9970f882fdcf1a1ee32fc7ae1f38b423d68425","after":"d5549320aa3d10aa978c357841efe98432514ce2","ref":"refs/heads/main","pushedAt":"2024-06-13T04:22:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tjligocki","name":"Terry J. Ligocki","path":"/tjligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/103017513?s=80&v=4"},"commit":{"message":"Make is possible to run \"Tools/filter.sh\" in any directory:\n\nGet location of \"Tools\" into \"TOOLS_DIR\" variable and use \"${TOOL_DIR}/..\" as\nthe overall \"busy-beaver\" directory to get to other executables run that are\nin the \"Code\" directory.","shortMessageHtmlLink":"Make is possible to run \"Tools/filter.sh\" in any directory:"}},{"before":"f14b89f57f266b2739c0cc73b75f53e7083d1ba6","after":"6b9970f882fdcf1a1ee32fc7ae1f38b423d68425","ref":"refs/heads/main","pushedAt":"2024-06-10T21:05:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add IO_Find.py to find specific TM in pb file.","shortMessageHtmlLink":"Add IO_Find.py to find specific TM in pb file."}},{"before":"8589151e3751ee086989cb4b64665ccea1092958","after":"f14b89f57f266b2739c0cc73b75f53e7083d1ba6","ref":"refs/heads/main","pushedAt":"2024-06-10T16:13:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Update 5x2 top champs to use std text format. And update StdText output to avoid using _ in numbers so that they can be sorted with `sort`.","shortMessageHtmlLink":"Update 5x2 top champs to use std text format. And update StdText outp…"}},{"before":"648562ac44151032ac7dc2b233b34db210935938","after":"8589151e3751ee086989cb4b64665ccea1092958","ref":"refs/heads/main","pushedAt":"2024-06-04T16:00:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Clarify TNF.py doesn't remove unreachable transitions.","shortMessageHtmlLink":"Clarify TNF.py doesn't remove unreachable transitions."}},{"before":"b4d5d3b8ee030e82bc63ea2aaf105413a9f5d040","after":"648562ac44151032ac7dc2b233b34db210935938","ref":"refs/heads/main","pushedAt":"2024-06-04T15:57:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Fix Enumerate and upgrade TNF to take TM literal from command line.","shortMessageHtmlLink":"Fix Enumerate and upgrade TNF to take TM literal from command line."}},{"before":"341787ee87cdf7f4d3a342f848721a5966e35014","after":"b4d5d3b8ee030e82bc63ea2aaf105413a9f5d040","ref":"refs/heads/main","pushedAt":"2024-06-04T15:48:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add start for Bigfoot validation.","shortMessageHtmlLink":"Add start for Bigfoot validation."}},{"before":"56e196df60197c4f7f5c7040e073482c0e101283","after":"341787ee87cdf7f4d3a342f848721a5966e35014","ref":"refs/heads/main","pushedAt":"2024-06-04T15:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Modify Hydra proof to 2-state version.","shortMessageHtmlLink":"Modify Hydra proof to 2-state version."}},{"before":"fd9339be5d4a65aa5c12e43c16db997b756a9af5","after":"56e196df60197c4f7f5c7040e073482c0e101283","ref":"refs/heads/main","pushedAt":"2024-05-31T20:35:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add MIT LICENSE","shortMessageHtmlLink":"Add MIT LICENSE"}},{"before":"7310937c49f3f354451279f755e7f4bb93703519","after":"fd9339be5d4a65aa5c12e43c16db997b756a9af5","ref":"refs/heads/main","pushedAt":"2024-05-31T01:14:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add validation of Hydra.","shortMessageHtmlLink":"Add validation of Hydra."}},{"before":"e5c3649763090cda12928402d9609e7d5ff6ae8a","after":"7310937c49f3f354451279f755e7f4bb93703519","ref":"refs/heads/main","pushedAt":"2024-05-31T00:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add partial analysis of one of Pavel's new 4x3 TMs.","shortMessageHtmlLink":"Add partial analysis of one of Pavel's new 4x3 TMs."}},{"before":"41ef5681626c0b4d4ce5708842f982ba1d20e2ae","after":"e5c3649763090cda12928402d9609e7d5ff6ae8a","ref":"refs/heads/main","pushedAt":"2024-05-23T17:36:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add permutation proof.","shortMessageHtmlLink":"Add permutation proof."}},{"before":"73075a0386fd686ecf79f2e2a761966529dbabd9","after":"41ef5681626c0b4d4ce5708842f982ba1d20e2ae","ref":"refs/heads/main","pushedAt":"2024-05-23T16:37:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Prove 1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB","shortMessageHtmlLink":"Prove 1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB"}},{"before":"526d0d1b9bd35bbe12ddbbf3c8a9adedcf206ef3","after":"73075a0386fd686ecf79f2e2a761966529dbabd9","ref":"refs/heads/main","pushedAt":"2024-05-22T19:56:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Add and remove some TMs.","shortMessageHtmlLink":"Add and remove some TMs."}},{"before":"49864afd99263b6f18bec0dee028a3b56aa70936","after":"526d0d1b9bd35bbe12ddbbf3c8a9adedcf206ef3","ref":"refs/heads/main","pushedAt":"2024-05-22T19:28:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Fix URL.","shortMessageHtmlLink":"Fix URL."}},{"before":"12f724ab2b8bf4504205fa6e7ba7da0c7f7959db","after":"49864afd99263b6f18bec0dee028a3b56aa70936","ref":"refs/heads/main","pushedAt":"2024-05-22T19:23:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sligocki","name":"Shawn Ligocki","path":"/sligocki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2762072?s=80&v=4"},"commit":{"message":"Update comments around test_34_a14_uni based upon blog post I'm working on.","shortMessageHtmlLink":"Update comments around test_34_a14_uni based upon blog post I'm worki…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEnlbMAgA","startCursor":null,"endCursor":null}},"title":"Activity · sligocki/busy-beaver"}