{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":632980708,"defaultBranch":"main","name":"CEKF","ownerLogin":"billhails","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-26T14:21:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1942669?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724509072.0","currentOid":""},"activityList":{"items":[{"before":"eae3b1c96ba178fbccbbe061e54ff762eebf34cb","after":"8748fad716216687e46163dabda51a8bbb4c6ecb","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-26T16:24:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"simplify","shortMessageHtmlLink":"simplify"}},{"before":"a4a27a95d1a1da45c833e1d7427b750b328a8d9f","after":"eae3b1c96ba178fbccbbe061e54ff762eebf34cb","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-26T13:13:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"prep for simplification","shortMessageHtmlLink":"prep for simplification"}},{"before":"49750c6a83f04396597e4f1ed2421155295a96a8","after":"a4a27a95d1a1da45c833e1d7427b750b328a8d9f","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-26T08:37:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"more trie improvements","shortMessageHtmlLink":"more trie improvements"}},{"before":"3cfc2a9b9c96c584bd5386d6b6911c0c12e9ce57","after":"49750c6a83f04396597e4f1ed2421155295a96a8","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-25T14:42:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"trie-based operator scanning","shortMessageHtmlLink":"trie-based operator scanning"}},{"before":"af5ae8bbdd82eaacb8f6aee6ec8387a37627bdb3","after":"3cfc2a9b9c96c584bd5386d6b6911c0c12e9ce57","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-24T18:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"table-driven parser","shortMessageHtmlLink":"table-driven parser"}},{"before":null,"after":"af5ae8bbdd82eaacb8f6aee6ec8387a37627bdb3","ref":"refs/heads/pratt-parser","pushedAt":"2024-08-24T14:17:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"minimal test pratt parser","shortMessageHtmlLink":"minimal test pratt parser"}},{"before":"7479bfdb65d3d1c3ff85636a9e626ad8bc2614f4","after":null,"ref":"refs/heads/detour2","pushedAt":"2024-08-17T16:58:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"b3af1d48d27775a833e3b5bec5f10fe40b54175e","after":"5f2ac2c68693a1053512c4288689e29d5610b276","ref":"refs/heads/main","pushedAt":"2024-08-17T16:58:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #116 from billhails/detour2\n\nimproved demo ceskf","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471595256\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/116\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/116/hovercard\" href=\"https://github.com/billhails/CEKF/pull/116\">#116</a> from billhails/detour2"}},{"before":null,"after":"7479bfdb65d3d1c3ff85636a9e626ad8bc2614f4","ref":"refs/heads/detour2","pushedAt":"2024-08-17T16:57:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"improved demo ceskf","shortMessageHtmlLink":"improved demo ceskf"}},{"before":"fba17000c9cf0c976489ab240976fb6b4e2c8bde","after":null,"ref":"refs/heads/detour","pushedAt":"2024-08-17T12:27:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"5950ff8b46c9aa6183b9c63d37af05ab31468c10","after":"b3af1d48d27775a833e3b5bec5f10fe40b54175e","ref":"refs/heads/main","pushedAt":"2024-08-17T12:27:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #115 from billhails/detour\n\nimplemented a ceskf machine in F-Natural","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471501991\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/115\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/115/hovercard\" href=\"https://github.com/billhails/CEKF/pull/115\">#115</a> from billhails/detour"}},{"before":null,"after":"fba17000c9cf0c976489ab240976fb6b4e2c8bde","ref":"refs/heads/detour","pushedAt":"2024-08-17T12:17:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"implemented a ceskf machine in F-Natural\n\nalso renamed builtin `args` to `argv`","shortMessageHtmlLink":"implemented a ceskf machine in F-Natural"}},{"before":"0fa359a3c3a68fedab969c478ad84081727ad6fe","after":null,"ref":"refs/heads/xnor","pushedAt":"2024-08-13T15:29:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"9108c41712e2287d481ef0e0d6e0dafe145083df","after":"5950ff8b46c9aa6183b9c63d37af05ab31468c10","ref":"refs/heads/main","pushedAt":"2024-08-13T15:29:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #114 from billhails/xnor\n\nadded straggler xnor","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463636539\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/114\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/114/hovercard\" href=\"https://github.com/billhails/CEKF/pull/114\">#114</a> from billhails/xnor"}},{"before":null,"after":"0fa359a3c3a68fedab969c478ad84081727ad6fe","ref":"refs/heads/xnor","pushedAt":"2024-08-13T15:28:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"added straggler xnor","shortMessageHtmlLink":"added straggler xnor"}},{"before":"e5bd14bfb6b39e6727bf34bdded7964a86876cfe","after":null,"ref":"refs/heads/desugar-uneg","pushedAt":"2024-08-13T12:05:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"862315ce9bd9f9ad69de825db1cb24cc8f31ad68","after":"9108c41712e2287d481ef0e0d6e0dafe145083df","ref":"refs/heads/main","pushedAt":"2024-08-13T12:05:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #113 from billhails/desugar-uneg\n\ndesugared unary negation to subtraction from zero","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463183531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/113\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/113/hovercard\" href=\"https://github.com/billhails/CEKF/pull/113\">#113</a> from billhails/desugar-uneg"}},{"before":null,"after":"e5bd14bfb6b39e6727bf34bdded7964a86876cfe","ref":"refs/heads/desugar-uneg","pushedAt":"2024-08-13T12:04:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"desugared unary negation to subtraction from zero","shortMessageHtmlLink":"desugared unary negation to subtraction from zero"}},{"before":"2e034140c6242313c981c0e2d4cb8081a85a89ee","after":null,"ref":"refs/heads/kont","pushedAt":"2024-08-13T11:37:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"782a696357897dd870563e455d606f2bc4f74187","after":"862315ce9bd9f9ad69de825db1cb24cc8f31ad68","ref":"refs/heads/main","pushedAt":"2024-08-13T11:37:01.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #112 from billhails/kont\n\nKont","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463124576\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/112\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/112/hovercard\" href=\"https://github.com/billhails/CEKF/pull/112\">#112</a> from billhails/kont"}},{"before":null,"after":"2e034140c6242313c981c0e2d4cb8081a85a89ee","ref":"refs/heads/kont","pushedAt":"2024-08-13T11:28:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"slight optimisation snapshotting stack continuation","shortMessageHtmlLink":"slight optimisation snapshotting stack continuation"}},{"before":"a513a5202d6181bc94dc864c9cf598a07343edc8","after":null,"ref":"refs/heads/cleanup","pushedAt":"2024-08-08T17:53:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"0edf4a63334ba1f12f8d52a54433fec50b343b12","after":"782a696357897dd870563e455d606f2bc4f74187","ref":"refs/heads/main","pushedAt":"2024-08-08T17:53:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #111 from billhails/cleanup\n\nremoved trailing unused definitions for symbols","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2456331149\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/111/hovercard\" href=\"https://github.com/billhails/CEKF/pull/111\">#111</a> from billhails/cleanup"}},{"before":null,"after":"a513a5202d6181bc94dc864c9cf598a07343edc8","ref":"refs/heads/cleanup","pushedAt":"2024-08-08T17:50:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"removed trailing unused definitions for symbols","shortMessageHtmlLink":"removed trailing unused definitions for symbols"}},{"before":"9f714479cec2e5616fdb7c880eb46e90a8deda1c","after":null,"ref":"refs/heads/symbols","pushedAt":"2024-08-08T17:40:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"d1e48fe45fa8e90577dc6f4f4a5adc7b4ff93e56","after":"0edf4a63334ba1f12f8d52a54433fec50b343b12","ref":"refs/heads/main","pushedAt":"2024-08-08T17:40:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #110 from billhails/symbols\n\nno longer memory manage hash symbols","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2456313330\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/110/hovercard\" href=\"https://github.com/billhails/CEKF/pull/110\">#110</a> from billhails/symbols"}},{"before":null,"after":"9f714479cec2e5616fdb7c880eb46e90a8deda1c","ref":"refs/heads/symbols","pushedAt":"2024-08-08T17:39:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"no longer memory manage hash symbols\n\nSince hash symbols are globally unique and persist\nfor the lifetime of the process there is no point in\nmemory-managing them, this means that hash tables\nneed only mark their contents and then only if those\ncontents are memory managed. This results in about\na 15% improvement in performance.","shortMessageHtmlLink":"no longer memory manage hash symbols"}},{"before":"466391b58382063e22552744bb0c5db3ef5dd30f","after":null,"ref":"refs/heads/fixes","pushedAt":"2024-08-08T17:09:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"}},{"before":"e489d0b3a596503b94a8595abfee0479e570849d","after":"d1e48fe45fa8e90577dc6f4f4a5adc7b4ff93e56","ref":"refs/heads/main","pushedAt":"2024-08-08T17:09:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"Merge pull request #109 from billhails/fixes\n\nlittle changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2456265223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/billhails/CEKF/issues/109\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/billhails/CEKF/pull/109/hovercard\" href=\"https://github.com/billhails/CEKF/pull/109\">#109</a> from billhails/fixes"}},{"before":null,"after":"466391b58382063e22552744bb0c5db3ef5dd30f","ref":"refs/heads/fixes","pushedAt":"2024-08-08T17:08:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"billhails","name":"Bill Hails","path":"/billhails","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1942669?s=80&v=4"},"commit":{"message":"little changes","shortMessageHtmlLink":"little changes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpHcMigA","startCursor":null,"endCursor":null}},"title":"Activity · billhails/CEKF"}