{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":9061832,"defaultBranch":"master","name":"AIT","ownerLogin":"tromp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-03-27T19:27:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2347227?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1636099259.244124","currentOid":""},"activityList":{"items":[{"before":"f9b28461637bf966721827fcbb880b61a69b44e7","after":"82e933691a10b77c5bdd21764997f7253a5780b2","ref":"refs/heads/master","pushedAt":"2024-09-21T15:53:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize from 1917 to 1894 bits","shortMessageHtmlLink":"optimize from 1917 to 1894 bits"}},{"before":"3be33cb27b529c453e5d340be0a88ff3903feba9","after":"f9b28461637bf966721827fcbb880b61a69b44e7","ref":"refs/heads/master","pushedAt":"2024-09-19T18:00:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"change CoC.hs / loader.lam to HOAS saving many bits","shortMessageHtmlLink":"change CoC.hs / loader.lam to HOAS saving many bits"}},{"before":"0c684d976dccfdb90bb397f1f28259b4af7ad66d","after":"3be33cb27b529c453e5d340be0a88ff3903feba9","ref":"refs/heads/master","pushedAt":"2024-09-10T21:42:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize nf.lam some more","shortMessageHtmlLink":"optimize nf.lam some more"}},{"before":"02ca18118dab124b8f75ec28cf4eae7a568c363e","after":"0c684d976dccfdb90bb397f1f28259b4af7ad66d","ref":"refs/heads/master","pushedAt":"2024-09-10T21:23:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix uni bugs","shortMessageHtmlLink":"fix uni bugs"}},{"before":"df01ce3f3f3d09a34e0bc2520b53f39082a981cc","after":"02ca18118dab124b8f75ec28cf4eae7a568c363e","ref":"refs/heads/master","pushedAt":"2024-09-09T15:58:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"much more efficient nf.lam; loader's eqb can be 29 bits; document uni crash","shortMessageHtmlLink":"much more efficient nf.lam; loader's eqb can be 29 bits; document uni…"}},{"before":"9fe4eca2c22ecd28ca6bb1b7837411a1cd0c214d","after":"df01ce3f3f3d09a34e0bc2520b53f39082a981cc","ref":"refs/heads/master","pushedAt":"2024-09-06T20:20:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"add initial version of nf.lam for normal forms","shortMessageHtmlLink":"add initial version of nf.lam for normal forms"}},{"before":"79c4afdd17ff57e93826f05cbfb201eef4465fc8","after":"9fe4eca2c22ecd28ca6bb1b7837411a1cd0c214d","ref":"refs/heads/master","pushedAt":"2024-08-24T14:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"save 14 bits by flipping ser arguments and pre-applying to nil)","shortMessageHtmlLink":"save 14 bits by flipping ser arguments and pre-applying to nil)"}},{"before":"dea81c62c6144dccb11d0b107d0f86ccc56b0fcb","after":"79c4afdd17ff57e93826f05cbfb201eef4465fc8","ref":"refs/heads/master","pushedAt":"2024-08-23T21:03:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"flip fold arguments to save 6 bits","shortMessageHtmlLink":"flip fold arguments to save 6 bits"}},{"before":"87b2fad5d36aeaa2a239ef5015d72abf3b333e31","after":"dea81c62c6144dccb11d0b107d0f86ccc56b0fcb","ref":"refs/heads/master","pushedAt":"2024-08-13T21:06:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"stop on initial 0 in array rather than empty array","shortMessageHtmlLink":"stop on initial 0 in array rather than empty array"}},{"before":"e51673184fa3f5be54732907ec7e73f10085aa3a","after":"87b2fad5d36aeaa2a239ef5015d72abf3b333e31","ref":"refs/heads/master","pushedAt":"2024-08-13T15:33:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"calling with rows instead of pred rows is ok","shortMessageHtmlLink":"calling with rows instead of pred rows is ok"}},{"before":"42101cbd6f18faba3728a08216b370269d66af1e","after":"e51673184fa3f5be54732907ec7e73f10085aa3a","ref":"refs/heads/master","pushedAt":"2024-08-12T22:20:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix size comment","shortMessageHtmlLink":"fix size comment"}},{"before":"d3c50e7cf7744ad0040bdbed54f37846a960e4cd","after":"42101cbd6f18faba3728a08216b370269d66af1e","ref":"refs/heads/master","pushedAt":"2024-08-10T14:03:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"another great patcail optimization + haskell source","shortMessageHtmlLink":"another great patcail optimization + haskell source"}},{"before":"cf164db646a8fa4f5a49fd236dd9b4ce8a1b79fe","after":"d3c50e7cf7744ad0040bdbed54f37846a960e4cd","ref":"refs/heads/master","pushedAt":"2024-08-09T17:46:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"more optimizations also courtesy of patcail","shortMessageHtmlLink":"more optimizations also courtesy of patcail"}},{"before":"1e9085d2747af92ed72a914fbf0977e6bd95e2e6","after":"cf164db646a8fa4f5a49fd236dd9b4ce8a1b79fe","ref":"refs/heads/master","pushedAt":"2024-08-07T12:36:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"65.5 -> 64.5 bytes","shortMessageHtmlLink":"65.5 -> 64.5 bytes"}},{"before":"6f804218073670d51bd4659ac30aae5aaec5444e","after":"1e9085d2747af92ed72a914fbf0977e6bd95e2e6","ref":"refs/heads/master","pushedAt":"2024-08-06T14:17:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"clean up loader.lam","shortMessageHtmlLink":"clean up loader.lam"}},{"before":"91c1ccd9c8f3cf7d45a256a5e1c4c1c519ff6506","after":"6f804218073670d51bd4659ac30aae5aaec5444e","ref":"refs/heads/master","pushedAt":"2024-08-06T13:33:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"derive down to 2219 bits, exceed Loader's number in 2256","shortMessageHtmlLink":"derive down to 2219 bits, exceed Loader's number in 2256"}},{"before":"e5d55d87051e13da73df6e3eda0a58bfd22c673c","after":"91c1ccd9c8f3cf7d45a256a5e1c4c1c519ff6506","ref":"refs/heads/master","pushedAt":"2024-08-04T21:59:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"succ length to save 2 bits","shortMessageHtmlLink":"succ length to save 2 bits"}},{"before":"e36dc78009fb1847297664324b21dec48f5c4d04","after":"e5d55d87051e13da73df6e3eda0a58bfd22c673c","ref":"refs/heads/master","pushedAt":"2024-08-04T20:04:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"combine lampi and app for 2332 bits","shortMessageHtmlLink":"combine lampi and app for 2332 bits"}},{"before":"8e9313b64e756bf7fd929e4d7c0e12e25471ca96","after":"e36dc78009fb1847297664324b21dec48f5c4d04","ref":"refs/heads/master","pushedAt":"2024-08-03T12:37:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize apply in loader","shortMessageHtmlLink":"optimize apply in loader"}},{"before":"ac9af25ffc4cc53462281fa2d2dde6bb43979c24","after":"8e9313b64e756bf7fd929e4d7c0e12e25471ca96","ref":"refs/heads/master","pushedAt":"2024-08-03T10:39:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"shorten loader's derive to 2366 bits","shortMessageHtmlLink":"shorten loader's derive to 2366 bits"}},{"before":"f6b844a9615531962857590f6894b4cfaed1363a","after":"ac9af25ffc4cc53462281fa2d2dde6bb43979c24","ref":"refs/heads/master","pushedAt":"2024-08-02T15:55:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix bug; tested for up to 6 rules (3224 judgements found as in CoC.hs)","shortMessageHtmlLink":"fix bug; tested for up to 6 rules (3224 judgements found as in CoC.hs)"}},{"before":"ae703c3af9930ba5bc4a6f691a71679cfe7c4669","after":"f6b844a9615531962857590f6894b4cfaed1363a","ref":"refs/heads/master","pushedAt":"2024-08-02T14:31:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix expand bug","shortMessageHtmlLink":"fix expand bug"}},{"before":"17980d0efd6039b19f5b03f854dcad10eaca8b9f","after":"ae703c3af9930ba5bc4a6f691a71679cfe7c4669","ref":"refs/heads/master","pushedAt":"2024-08-02T12:53:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"compare and size by serialize","shortMessageHtmlLink":"compare and size by serialize"}},{"before":"4fa67c4bb002078ff5dfcc153f94ea4587e73a57","after":"17980d0efd6039b19f5b03f854dcad10eaca8b9f","ref":"refs/heads/master","pushedAt":"2024-08-02T11:15:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"add Loader's number in BLC","shortMessageHtmlLink":"add Loader's number in BLC"}},{"before":"0202bf70a6b0a9dbcf289d42641150ba89a16705","after":"4fa67c4bb002078ff5dfcc153f94ea4587e73a57","ref":"refs/heads/master","pushedAt":"2024-07-24T21:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix rules and speedup gen","shortMessageHtmlLink":"fix rules and speedup gen"}},{"before":"c4423db370320179342b8dd2ea8a484b7a127246","after":"0202bf70a6b0a9dbcf289d42641150ba89a16705","ref":"refs/heads/master","pushedAt":"2024-07-22T20:49:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"play with Haskell version of loader.c","shortMessageHtmlLink":"play with Haskell version of loader.c"}},{"before":"5f80d972dce6d12483decc2b4da3cbb554b27ac9","after":"c4423db370320179342b8dd2ea8a484b7a127246","ref":"refs/heads/master","pushedAt":"2024-07-12T19:52:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize BMS by another 15 bits","shortMessageHtmlLink":"optimize BMS by another 15 bits"}},{"before":"344fbcbb35ab51e564bae43c072548030872eebc","after":"5f80d972dce6d12483decc2b4da3cbb554b27ac9","ref":"refs/heads/master","pushedAt":"2024-07-12T16:34:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize BMS by another nibble","shortMessageHtmlLink":"optimize BMS by another nibble"}},{"before":"82162e396aa5d28c016bf8f4cb1ecb4261ed8722","after":"344fbcbb35ab51e564bae43c072548030872eebc","ref":"refs/heads/master","pushedAt":"2024-07-12T12:44:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"optimize w1ck ordinals; add BMS","shortMessageHtmlLink":"optimize w1ck ordinals; add BMS"}},{"before":"b2781d454c08309a72cecc350b9ee9d7309f0e78","after":"82162e396aa5d28c016bf8f4cb1ecb4261ed8722","ref":"refs/heads/master","pushedAt":"2024-06-27T14:31:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tromp","name":"John Tromp","path":"/tromp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2347227?s=80&v=4"},"commit":{"message":"fix sizes and w1CK FS","shortMessageHtmlLink":"fix sizes and w1CK FS"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxNTo1Mzo1Ny4wMDAwMDBazwAAAAS8xik4","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxNTo1Mzo1Ny4wMDAwMDBazwAAAAS8xik4","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yN1QxNDozMToxOC4wMDAwMDBazwAAAARw8Acu"}},"title":"Activity · tromp/AIT"}