{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":432697850,"defaultBranch":"main","name":"lambda-ski","ownerLogin":"thma","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-28T11:50:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11872995?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702608565.0","currentOid":""},"activityList":{"items":[{"before":"619a7028d900e0937edb3fe04210c153f98a9512","after":"0ff715c1e7a4b42754a95cbeee0b827ca2110fd6","ref":"refs/heads/renovate/configure","pushedAt":"2023-12-15T02:49:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"},"commit":{"message":"Add renovate.json","shortMessageHtmlLink":"Add renovate.json"}},{"before":"81892141d3897026d9c5cf81f6acfe36484b097c","after":"7c91e47c07cbe8178e88de13e374aabee91e18a7","ref":"refs/heads/main","pushedAt":"2023-10-25T18:56:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"is a termreducer really worse than graph-reduction?","shortMessageHtmlLink":"is a termreducer really worse than graph-reduction?"}},{"before":"190151f6f3833a72494377f857a22e9f90a4cecb","after":"81892141d3897026d9c5cf81f6acfe36484b097c","ref":"refs/heads/main","pushedAt":"2023-10-08T12:55:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"almost there","shortMessageHtmlLink":"almost there"}},{"before":"353a9ecf8e8d175e48b521e1cafd12cc310a8970","after":"190151f6f3833a72494377f857a22e9f90a4cecb","ref":"refs/heads/main","pushedAt":"2023-10-07T10:17:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"more figures","shortMessageHtmlLink":"more figures"}},{"before":"4c5e7435d3485491bd23cc9446da6bcf4521cff4","after":"353a9ecf8e8d175e48b521e1cafd12cc310a8970","ref":"refs/heads/main","pushedAt":"2023-10-07T09:43:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"showing first figures","shortMessageHtmlLink":"showing first figures"}},{"before":"54fc0839bd1c75fc01766be686cbd08500e27188","after":"4c5e7435d3485491bd23cc9446da6bcf4521cff4","ref":"refs/heads/main","pushedAt":"2023-10-05T20:13:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"on the way","shortMessageHtmlLink":"on the way"}},{"before":"1952cdbf2174281556fbb037bf95a2630e7581a7","after":"54fc0839bd1c75fc01766be686cbd08500e27188","ref":"refs/heads/main","pushedAt":"2023-10-03T19:31:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"some progress","shortMessageHtmlLink":"some progress"}},{"before":"d64d84a5379ddac27336529103b16661c1a3f80d","after":"1952cdbf2174281556fbb037bf95a2630e7581a7","ref":"refs/heads/main","pushedAt":"2023-10-03T13:06:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"on the way","shortMessageHtmlLink":"on the way"}},{"before":"fc4b7f8c8705d3d24e600ea3b13aedb5fbf66ed7","after":"d64d84a5379ddac27336529103b16661c1a3f80d","ref":"refs/heads/main","pushedAt":"2023-10-03T12:40:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"making progress","shortMessageHtmlLink":"making progress"}},{"before":"b6a4537b6734560e8bc3a9a93ef0a868628c0d61","after":"fc4b7f8c8705d3d24e600ea3b13aedb5fbf66ed7","ref":"refs/heads/main","pushedAt":"2023-10-02T19:01:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"on the way","shortMessageHtmlLink":"on the way"}},{"before":"405c3fc973814018bd57ab986b2db36459ad52c1","after":"b6a4537b6734560e8bc3a9a93ef0a868628c0d61","ref":"refs/heads/main","pushedAt":"2023-09-30T19:12:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"de bruijn & co...","shortMessageHtmlLink":"de bruijn & co..."}},{"before":"9ddf210ed758e33fac4c5b85163149a645c51699","after":"405c3fc973814018bd57ab986b2db36459ad52c1","ref":"refs/heads/main","pushedAt":"2023-09-30T11:50:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"making Kiselyov-Eta work with graph reduction.","shortMessageHtmlLink":"making Kiselyov-Eta work with graph reduction."}},{"before":"cab99b76a78efc2dd5fa9f0987fc0d454d8434c0","after":"9ddf210ed758e33fac4c5b85163149a645c51699","ref":"refs/heads/main","pushedAt":"2023-09-27T20:15:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"making some progress","shortMessageHtmlLink":"making some progress"}},{"before":"f2d52209d26b17a2a86cb07b30526735b5d09b00","after":"cab99b76a78efc2dd5fa9f0987fc0d454d8434c0","ref":"refs/heads/main","pushedAt":"2023-09-26T18:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"start writing","shortMessageHtmlLink":"start writing"}},{"before":"ba94efd6736f3a6d7f08996bfbf39f72b3dd624d","after":"f2d52209d26b17a2a86cb07b30526735b5d09b00","ref":"refs/heads/main","pushedAt":"2023-09-17T18:53:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"start writing the blog","shortMessageHtmlLink":"start writing the blog"}},{"before":"4cef0e1cc406f06a26a168d26828167e0b54b338","after":"ba94efd6736f3a6d7f08996bfbf39f72b3dd624d","ref":"refs/heads/main","pushedAt":"2023-09-17T09:15:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"print out all optimizations","shortMessageHtmlLink":"print out all optimizations"}},{"before":"b517546e4098682f5e793bcbcd92fbbc4c0c4aca","after":"4cef0e1cc406f06a26a168d26828167e0b54b338","ref":"refs/heads/main","pushedAt":"2023-09-17T08:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"adding testcases for the logarithmic resolution of BulkCombinators","shortMessageHtmlLink":"adding testcases for the logarithmic resolution of BulkCombinators"}},{"before":"151268519e2b9860d0aa8173f8da542c41c58207","after":"b517546e4098682f5e793bcbcd92fbbc4c0c4aca","ref":"refs/heads/main","pushedAt":"2023-09-16T19:36:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"BreakBulkLog im HHIReducer implementiert","shortMessageHtmlLink":"BreakBulkLog im HHIReducer implementiert"}},{"before":"a5e091010949193aa56d4ae947158e14a94ce848","after":"151268519e2b9860d0aa8173f8da542c41c58207","ref":"refs/heads/main","pushedAt":"2023-09-16T16:20:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"clean up a bit","shortMessageHtmlLink":"clean up a bit"}},{"before":"60d9b8089f651f3c72ef61e447789d0ac53c3cd1","after":"a5e091010949193aa56d4ae947158e14a94ce848","ref":"refs/heads/main","pushedAt":"2023-09-16T08:23:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"fix translink","shortMessageHtmlLink":"fix translink"}},{"before":"6266e818c8cb7fb1e901842d21f34a31e1429066","after":"60d9b8089f651f3c72ef61e447789d0ac53c3cd1","ref":"refs/heads/main","pushedAt":"2023-09-16T08:01:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"try to enforce new computations for each benchmark run","shortMessageHtmlLink":"try to enforce new computations for each benchmark run"}},{"before":"73525023fe97957562d5aa5b445474f38908eba5","after":"6266e818c8cb7fb1e901842d21f34a31e1429066","ref":"refs/heads/main","pushedAt":"2023-09-15T19:51:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"using sourcecode from static file to have more control","shortMessageHtmlLink":"using sourcecode from static file to have more control"}},{"before":"21f2d4504be090bd8dbcfe83db453b66b82bc135","after":"73525023fe97957562d5aa5b445474f38908eba5","ref":"refs/heads/main","pushedAt":"2023-09-15T09:43:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"using quasiquotes","shortMessageHtmlLink":"using quasiquotes"}},{"before":"c3dfa453b4109cf5ebc4dd0c62bf37d0c255ebea","after":"21f2d4504be090bd8dbcfe83db453b66b82bc135","ref":"refs/heads/main","pushedAt":"2023-09-14T13:43:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"better have embedded Testcases....","shortMessageHtmlLink":"better have embedded Testcases...."}},{"before":"330f90c828476bd52753fbe620a4875911632b47","after":"c3dfa453b4109cf5ebc4dd0c62bf37d0c255ebea","ref":"refs/heads/main","pushedAt":"2023-09-14T11:30:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"Fixed Monadfail issue","shortMessageHtmlLink":"Fixed Monadfail issue"}},{"before":"4eec5ccdc462c87183aa95ecbe6adfdca4b5316a","after":"330f90c828476bd52753fbe620a4875911632b47","ref":"refs/heads/main","pushedAt":"2023-09-13T18:39:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"Interpretation of Bulk Combinators works like charm!","shortMessageHtmlLink":"Interpretation of Bulk Combinators works like charm!"}},{"before":"631e12810220f6084705429c180858da8fd8cefe","after":"4eec5ccdc462c87183aa95ecbe6adfdca4b5316a","ref":"refs/heads/main","pushedAt":"2023-09-10T15:16:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"get Bulk Optimization to work !","shortMessageHtmlLink":"get Bulk Optimization to work !"}},{"before":"e0b2d7fa908c401d80243145aa1791b9deed5e66","after":"631e12810220f6084705429c180858da8fd8cefe","ref":"refs/heads/main","pushedAt":"2023-09-10T13:45:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"bulkOpt finally compiles !","shortMessageHtmlLink":"bulkOpt finally compiles !"}},{"before":"d5e3d1b3cc9577ec259affe4e528193fbf89c76e","after":"e0b2d7fa908c401d80243145aa1791b9deed5e66","ref":"refs/heads/main","pushedAt":"2023-09-07T20:10:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"print CL terms","shortMessageHtmlLink":"print CL terms"}},{"before":"a5c7b69a79e9046a7becef166a21faab798ed9c6","after":"d5e3d1b3cc9577ec259affe4e528193fbf89c76e","ref":"refs/heads/main","pushedAt":"2023-09-03T20:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"thma","name":"Thomas Mahler","path":"/thma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11872995?s=80&v=4"},"commit":{"message":"add benchmark tests for kiselyov bracket abstracation","shortMessageHtmlLink":"add benchmark tests for kiselyov bracket abstracation"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADyuBnHQA","startCursor":null,"endCursor":null}},"title":"Activity · thma/lambda-ski"}